Tidy up the treatment of newtypes, refactor, and fix Trac #736
authorsimonpj@microsoft.com <unknown>
Thu, 9 Aug 2007 15:34:37 +0000 (15:34 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 9 Aug 2007 15:34:37 +0000 (15:34 +0000)
commit474b582b68ea9289f3da4355da816164138604b0
tree0016a00210507c96fc7f1e44eaa60c296f25dd39
parent0f556c9933f8214240e3143e5d18b2916b540521
Tidy up the treatment of newtypes, refactor, and fix Trac #736

I've forgotten the precise details already, but this patch
significantly refactors the way newtypes are handled, fixes
the foreign-export problem Trac #736 (which concerned newtypes),
and gets rid of a bogus unsafeCoerce in the foreign export
desugaring.
compiler/basicTypes/DataCon.lhs
compiler/coreSyn/CoreUtils.lhs
compiler/deSugar/DsCCall.lhs
compiler/deSugar/DsForeign.lhs
compiler/typecheck/TcForeign.lhs
compiler/typecheck/TcType.lhs
compiler/types/Coercion.lhs
compiler/types/TyCon.lhs
compiler/types/Type.lhs