[GHC] #10178: hs-boot/hsig ambiguity empty data declaration or type with no constructors

#10178: hs-boot/hsig ambiguity empty data declaration or type with no constructors -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When I write in a boot or signature file: {{{ data Foo }}} it is ambiguous whether or not this is a fully-specified empty data declaration, or a data type which has its constructors unspecified. This doesn't matter too much for hs-boot (since you can't use the data constructors in any case) but for signatures we might want to force a data type to be empty. Though I think this case should be rare. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10178 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10178: hs-boot/hsig ambiguity empty data declaration or type with no constructors -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by ezyang): Similarly, when I write: {{{ class C a }}} it is ambiguous whether or not it is a fully-specified empty type class, or an abstract type class. In fact, for this one we don't even distinguish the two cases in an hi file. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10178#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC