projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 015675f) | patch
Complete -fmono-pat-binds patch
authorsimonpj@microsoft.com <unknown>
Fri, 11 Aug 2006 14:28:42 +0000 (14:28 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 11 Aug 2006 14:28:42 +0000 (14:28 +0000)
commit176fb356fbbc4cf398fb66440d84a05ad333c881
treea9b8aa90782dac4268d5faf526cdbdec468474d1tree | snapshot
parent015675fcda6dc9b92ff9f17a84162f544a217563commit | diff
Complete -fmono-pat-binds patch

When adding the experimental -fmono-pat-binds, I forgot to check
for type signatures of the now-monomorphic patterns.  This patch
completes the job.

I documented the design too:
   http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/MonomorphicPatternBindings
compiler/typecheck/TcBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)