New patches: [The read instance for Maybe has gone away. Lemmih **20080215142554] { hunk ./lib/base/System/IO.hs 41 - deriving(Eq, Ord, Read, Show) + deriving(Eq, Ord, Show) } [Optimize simple type-checking. Lemmih **20080215142652] { hunk ./E/TypeCheck.hs 104 - | typa == Unknown || typb == Unknown = Unknown + | isUnknown typa || isUnknown typb = Unknown hunk ./E/TypeCheck.hs 114 - getType (EAp a b) = if typa == Unknown then Unknown else eAp typa b where typa = getType a + getType (EAp a b) = if isUnknown typa then Unknown else eAp typa b where typa = getType a hunk ./E/TypeCheck.hs 136 -sortSortLike (ESort s) = s == EHashHash || s == EStarStar +sortSortLike (ESort s) = isEHashHash s || isEStarStar s hunk ./E/TypeCheck.hs 139 -sortKindLike (ESort s) = s /= EHashHash && s /= EStarStar +sortKindLike (ESort s) = not (isEHashHash s) && not (isEStarStar s) hunk ./E/Values.hs 242 -isCheap x | isAtomic x = True hunk ./E/Values.hs 246 +isCheap x | isAtomic x = True } Context: [change chos to only build their ho's lazily, so we don't end up with duplicate copies of hos. John Meacham **20080214060556] [rearrange a lot of the library to break more cyclic dependencies John Meacham **20080213072101] [print binding groups again when -dscc-modules is passed to jhc John Meacham **20080213072044] [clean up Atom.hsc some, make the internal name format use pritable characters when creating atoms to aid in debugging. John Meacham **20080213054653] [TAG bygniettucu John Meacham **20080213051714] Patch bundle hash: 12033f2f2bcc528f16b7c35d213fe87174b5f578