[project @ 2002-02-06 15:54:23 by simonpj]

[ghc-hetmet.git] / ghc / compiler / types / TypeRep.lhs

diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs
index bb0a7f0..cf1d440 100644 (file)
--- a/ghc/compiler/types/TypeRep.lhs
+++ b/ghc/compiler/types/TypeRep.lhs
@@ -162,10 +162,6 @@ data Type
   | SourceTy           -- A high level source type 
        SourceType      -- ...can be expanded to a representation type...
 
-  | UsageTy            -- A usage-annotated type
-       Type            --   - Annotation of kind $ (i.e., usage annotation)
-       Type            --   - Annotated type
-
   | NoteTy             -- A type with a note attached
        TyNote
        Type            -- The expanded version
@@ -178,11 +174,6 @@ data TyNote
                        -- The type to which the note is attached is the expanded form.
 \end{code}
 
-INVARIANT: UsageTys are optional, but may *only* appear immediately
-under a FunTy (either argument), or at top-level of a Type permitted
-to be annotated (such as the type of an Id).  NoteTys are transparent
-for the purposes of this rule.
-
 -------------------------------------
                Source types