projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 562ce83) | patch
Fix Trac #2358: 1-tuples in Template Haskell
authorsimonpj@microsoft.com <unknown>
Sat, 14 Jun 2008 12:39:39 +0000 (12:39 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 14 Jun 2008 12:39:39 +0000 (12:39 +0000)
commit0dac952932514c931b00b1fae555ebde79f2b4db
tree2dbbe15af5febd9b500de3ca9c0eab5a830a7e20tree | snapshot
parent562ce83f582f73526c169544dd29b76f3791677fcommit | diff
Fix Trac #2358: 1-tuples in Template Haskell

fons points out that TH was treating 1-tuples inconsistently.  Generally
we make a 1-tuple into a no-op, so that (e) and e are the same.  But
I'd forgotten to do this for types.

It is possible to have a type with an un-saturated 1-tuple type
constructor. That now elicits an error message when converting from
TH syntax to Hs syntax
compiler/hsSyn/Convert.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)