Opened 10 years ago

Closed 10 years ago

Last modified 9 years ago

#1392 closed bug (fixed)

GHC fails to recompile base ST.lhs

Reported by: guest Owned by:
Priority: high Milestone:
Component: Compiler Version: 6.7
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


With sources from 2007-05-30, 13:00 BST I did

  make distclean
  sh boot

And I get this message

    A newtype constructor cannot have a strictness annotation,
      but `ST' does
    In the definition of data constructor `ST'
    In the newtype declaration for `ST'

which is untrue, there is no strictness annotation.

-- Lennart

Change History (4)

comment:1 Changed 10 years ago by simonpj

This is my fault -- I misunderstood an invariant, and failed to test properly.

I've committed a fix. Well I hope I have; I got a strange message from Darcs. I'm hoping Simon or Ian will know what is going on. Meanwhile the relevant fix is this:

hunk ./compiler/typecheck/TcTyClsDecls.lhs 1011
-	; checkTc (null (dataConStrictMarks con)) (newtypeStrictError con)
+	; checkTc (not (any isMarkedStrict (dataConStrictMarks con))) [_$_]
+		  (newtypeStrictError con)

Leaving open until we are sure the patch is in the repo.

comment:2 Changed 10 years ago by igloo

Resolution: fixed
Status: newclosed

The patch is indeed in the repo, and the problem behind the strange message fixed.



comment:3 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.