cvs commit: fptools/ghc/compiler/types PprType.lhs Type.lhs TypeRep.lhs fptools/ghc/compiler/typecheck TcBinds.lhs TcDeriv.lhs TcExpr.lhs TcForeign.lhs TcGenDeriv.lhs TcMatches.lhs TcMonoType.lhs TcPat.lhs TcTyClsDecls.lhs TcTyDecls.lhs TcType.lhs ...

[Simon Marlow]

simonmar    2001/01/03 03:18:54 PST

  Modified files:
    ghc/compiler/types   PprType.lhs Type.lhs TypeRep.lhs 
    ghc/compiler/typecheck TcBinds.lhs TcDeriv.lhs TcExpr.lhs 
                           TcForeign.lhs TcGenDeriv.lhs 
                           TcMatches.lhs TcMonoType.lhs TcPat.lhs 
                           TcTyClsDecls.lhs TcTyDecls.lhs 
                           TcType.lhs TcUnify.lhs 
    ghc/compiler/rename  ParseIface.y 
    ghc/compiler/prelude PrelNames.lhs TysPrim.lhs TysWiredIn.lhs 
    ghc/compiler/hsSyn   HsTypes.lhs 
  Log:
  s/boxed/lifted/
  
  The typechecker's notion of "boxed" versus "unboxed" kind should
  really have been "unlifted" versus "lifted" instead.  It is illegal to
  unify an unlifted (but boxed) type with a polymorphic type variable,
  since an unlifted/boxed type is always assumed to be a pointer to the
  object itself, never a thunk or indirection.
  
  This commit removes isUnboxedType, and renames a bunch of things that
  were previously boxed/unboxed to unlifted/lifted.
  
  Revision  Changes    Path
  1.51      +2 -2      fptools/ghc/compiler/types/PprType.lhs
  1.78      +10 -13    fptools/ghc/compiler/types/Type.lhs
  1.15      +23 -21    fptools/ghc/compiler/types/TypeRep.lhs
  1.81      +14 -14    fptools/ghc/compiler/typecheck/TcBinds.lhs
  1.77      +4 -3      fptools/ghc/compiler/typecheck/TcDeriv.lhs
  1.91      +7 -7      fptools/ghc/compiler/typecheck/TcExpr.lhs
  1.28      +5 -5      fptools/ghc/compiler/typecheck/TcForeign.lhs
  1.67      +7 -7      fptools/ghc/compiler/typecheck/TcGenDeriv.lhs
  1.38      +4 -4      fptools/ghc/compiler/typecheck/TcMatches.lhs
  1.71      +23 -23    fptools/ghc/compiler/typecheck/TcMonoType.lhs
  1.56      +2 -2      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.70      +3 -3      fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
  1.74      +4 -4      fptools/ghc/compiler/typecheck/TcTyDecls.lhs
  1.43      +7 -7      fptools/ghc/compiler/typecheck/TcType.lhs
  1.21      +6 -6      fptools/ghc/compiler/typecheck/TcUnify.lhs
  1.99      +4 -4      fptools/ghc/compiler/rename/ParseIface.y
  1.21      +4 -4      fptools/ghc/compiler/prelude/PrelNames.lhs
  1.35      +22 -24    fptools/ghc/compiler/prelude/TysPrim.lhs
  1.65      +5 -5      fptools/ghc/compiler/prelude/TysWiredIn.lhs
  1.45      +3 -3      fptools/ghc/compiler/hsSyn/HsTypes.lhs