GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

added test cases for polymorphic and record types in the abstract syntax

Browse Source
This commit is contained in:
krasimir
2010-01-31 22:16:35 +00:00
parent 5eeb41a67f
commit b625b416ee
4 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
testsuite/compiler/typecheck/abstract/PolyTypes.gf Normal file
View File

@@ -0,0 +1,5 @@
abstract PolyTypes = {
fun f : (A : Type) -> A ;
}

5
testsuite/compiler/typecheck/abstract/RecTypes.gf Normal file
View File

@@ -0,0 +1,5 @@
abstract RecTypes = {
fun f : {s:Int} -> Int ;
}

2
testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs Normal file
View File

@@ -0,0 +1,2 @@
i -src testsuite/compiler/typecheck/abstract/PolyTypes.gf
i -src testsuite/compiler/typecheck/abstract/RecTypes.gf

12
testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs.gold Normal file
View File

@@ -0,0 +1,12 @@
checking module PolyTypes
The term Type
is not allowed in the abstract syntax
in type of function f in PolyTypes.gf, line 3