projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6e0f552)
Fix Trac #3013: multiple constructors in a GADT decl
authorsimonpj@microsoft.com <unknown>
Thu, 28 May 2009 07:53:06 +0000 (07:53 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 28 May 2009 07:53:06 +0000 (07:53 +0000)
Makes GADT syntax consistent by allowing multiple constructors
to be given a single signature
   data T wehre
       A, B :: T
       C :: Int -> t


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)