Commit 33ade927 authored by ross's avatar ross
Browse files

[project @ 2005-05-06 12:13:54 by ross]

Rearrange arrows tests, and move tc120fail to arrowfail003.
parent 0dd8b5d9
TOP=../../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
setTestOpts(only_compiler_types(['ghc']))
test('arrow1', normal, compile_fail, [''])
test('arrow2', normal, compile_fail, [''])
test('arrowapply1', normal, compile, [''])
test('arrowapply2', normal, compile, [''])
test('arrowapply3', normal, compile, [''])
......@@ -15,16 +13,3 @@ test('arrowform1', normal, compile, [''])
test('arrowif1', normal, compile, [''])
test('arrowlet1', normal, compile, [''])
test('arrowrec1', normal, compile, [''])
test('arrowex1', normal, compile_and_run, [''])
test('arrowex2', normal, compile_and_run, [''])
test('arrowex3', normal, compile_and_run, [''])
test('arrowex4', normal, compile_and_run, [''])
# test('mod1', normal, compile_fail, [''])
# test('mod2', normal, compile_fail, [''])
# test('mod3', normal, compile_fail, [''])
# test('mod4', normal, compile_fail, [''])
# test('mod5', normal, compile, [''])
# test('mod6', normal, compile, [''])
# test('mod7', normal, compile_fail, [''])
TOP=../../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
setTestOpts(only_compiler_types(['ghc']))
test('arrowfail001', normal, compile_fail, [''])
test('arrowfail002', normal, compile_fail, [''])
test('arrowfail003', normal, compile_fail, [''])
arrow1.hs:15:35:
arrowfail001.hs:15:35:
Ambiguous type variable `a' in the constraint:
`Foo a' arising from use of `foo' at arrow1.hs:15:35-37
`Foo a' arising from use of `foo' at arrowfail001.hs:15:35-37
Probable fix: add a type signature that fixes these type variable(s)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment