projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3d1ba7) | patch
Work around missing type signature in Happy
authorsimonpj@microsoft.com <unknown>
Fri, 30 Jul 2010 12:24:05 +0000 (12:24 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 30 Jul 2010 12:24:05 +0000 (12:24 +0000)
commitc800c1633c97a7ead022a142d015bf8db14f04f6
treeef6c3aa7226e53583e51ff4290ff52d88bd604d0tree | snapshot
parente3d1ba74f7b1ec4ea7463aab783265b4baaf3366commit | diff
Work around missing type signature in Happy

Happy generates

      notHappyAtAll = error "Blah"

without a type signature, and currently the new
typechecker doesn't generalise it.  This patch
says "no monomorphism restriction" which makes it
generalise again.

Better would be to add a type sig to Happy's template
compiler/cmm/CmmParse.y diff | blob | history
compiler/parser/Parser.y.pp diff | blob | history
compiler/parser/ParserCore.y diff | blob | history
utils/hpc/HpcParser.y diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)