#11505: Boot file problem -------------------------------------+------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): I can confirm that the error does not occur in 8.0. {{{ rwbarton@morphism:/tmp/boot$ ls Bar.hs Foo.hs Foo.hs-boot rwbarton@morphism:/tmp/boot$ GHC=~/ghc-8.0-install/bin/ghc rwbarton@morphism:/tmp/boot$ $GHC --version The Glorious Glasgow Haskell Compilation System, version 8.0.0.20160123 rwbarton@morphism:/tmp/boot$ $GHC -c Foo.hs-boot; $GHC -c Bar.hs; $GHC -c Foo.hs rwbarton@morphism:/tmp/boot$ rm *.hi* *.o*; ls Bar.hs Foo.hs Foo.hs-boot rwbarton@morphism:/tmp/boot$ GHC=ghc-7.10.1 rwbarton@morphism:/tmp/boot$ $GHC --version The Glorious Glasgow Haskell Compilation System, version 7.10.1 rwbarton@morphism:/tmp/boot$ $GHC -c Foo.hs-boot; $GHC -c Bar.hs; $GHC -c Foo.hs Foo.hs:4:2: Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file Main module: data Foo = Foo {x :: !Int} Boot file: data Foo = Foo {x :: !Int} The constructors do not match: The strictness annotations for ‘Foo’ differ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11505#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler