projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fa448e) | patch
Fix Trac #2597 (first bug): correct type checking for empty list
authorsimonpj@microsoft.com <unknown>
Sat, 20 Sep 2008 21:20:10 +0000 (21:20 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 20 Sep 2008 21:20:10 +0000 (21:20 +0000)
commit5d786b6a2e591628468068265820a447e35e4cc9
treeddb948c3aa920e6d82ce80328a1b570ab27103aftree | snapshot
parent6fa448e4c21d92d50d8a87bdd3c5f61072820c98commit | diff
Fix Trac #2597 (first bug): correct type checking for empty list

The GHC front end never generates (ExplicitList []), but TH can.
This patch makes the typechecker robust to such programs.
compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)