diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
| commit | b97d6abb8190cdcb595b9bf48051cc4a98f01156 (patch) | |
| tree | 744fc14acf55e09812f6e15bab831cd28c1e7187 /testsuite/runtime/eval/Test.gf | |
| parent | c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 (diff) | |
hopefully complete and correct typechecker in PGF
Diffstat (limited to 'testsuite/runtime/eval/Test.gf')
| -rw-r--r-- | testsuite/runtime/eval/Test.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/runtime/eval/Test.gf b/testsuite/runtime/eval/Test.gf index 71a7dc2c2..a0131d767 100644 --- a/testsuite/runtime/eval/Test.gf +++ b/testsuite/runtime/eval/Test.gf @@ -14,7 +14,7 @@ def g0 = g2 ; fun g3 : Int -> (Int -> Int) ;
def g3 3 = g ;
-fun const : Int -> Int -> Int ;
+fun const : Float -> String -> Float ;
def const x _ = x ;
cat Nat ;
|