projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d57329) | patch
Tuples cannot contain unboxed types
authorsimonpj@microsoft.com <unknown>
Thu, 15 May 2008 11:53:32 +0000 (11:53 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 15 May 2008 11:53:32 +0000 (11:53 +0000)
commit48565ca88a6b8a9f8b22add0c50d221a2a4a07e9
tree00362bf79eac9981d5a1f4f102244f8371cce780tree | snapshot
parent8d573292181707f0ba70865d125ad51b461dc8a3commit | diff
Tuples cannot contain unboxed types

This bug allowed, for example

  f = let x = ( 1#, 'x' ) in x

which is ill-typed because you can't put an unboxed value in a tuple.
Core Lint fails on this program.

The patch makes the program be rejcted up-front.
compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)