[ ghc-Bugs-1244882 ] Template Haskell: reification of data types w/o constructors

Bugs item #1244882, was opened at 2005-07-26 00:39
Message generated for change (Settings changed) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1244882&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Template Haskell
Group: 6.4
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Wolfgang Thaller (wthaller)
Assigned to: Nobody/Anonymous (nobody)
Summary: Template Haskell: reification of data types w/o constructors

Initial Comment:
Reifying data types without constructors works in --make mode, but 
causes an exception in TcSplice.lhs in one-shot compilation.

----------------------------------------------------------------------

Comment By: Nobody/Anonymous (nobody)
Date: 2005-07-26 08:31

Message:
Logged In: NO 

Thanks. Now fixed.

Simon

----------------------------------------------------------------------

Comment By: Wolfgang Thaller (wthaller)
Date: 2005-07-26 01:02

Message:
Logged In: YES 
user_id=566359

In fact, it happens whenever no constructors are exported for the data 
type.

----------------------------------------------------------------------

Comment By: Wolfgang Thaller (wthaller)
Date: 2005-07-26 00:42

Message:
Logged In: YES 
user_id=566359

A simple test case is attached.
ghc --make Main.hs works as expected.

ghc -c Foo.hs ; ghc -c Main.hs
yields the following error:

Main.hs:1:0:
    Exception when trying to run compile-time code:
      typecheck/TcSplice.lhs:(577,4)-(587,87): Non-exhaustive patterns in 
case

      Code: testReify 'Foo


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1244882&group_id=8032