Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/81c25f694c9f246551357aa196862fa73baaf245 >--------------------------------------------------------------- commit 81c25f694c9f246551357aa196862fa73baaf245 Author: Simon Peyton Jones <[email protected]> Date: Tue Aug 21 14:37:45 2012 +0100 Make tc219 a bit more stringent -- require polymorphism >--------------------------------------------------------------- tests/typecheck/should_compile/tc219.hs | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/tests/typecheck/should_compile/tc219.hs b/tests/typecheck/should_compile/tc219.hs index 638f1b6..5c7a6ec 100644 --- a/tests/typecheck/should_compile/tc219.hs +++ b/tests/typecheck/should_compile/tc219.hs @@ -6,4 +6,5 @@ module ShouldCompile where -- Instead, the NoMonomorphismRestriction language bar = show ?c -foo = let { ?c = 'x' } in bar +foo1 = let { ?c = 'x' } in bar +foo2 = let { ?c = True } in bar _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
