[project @ 2001-07-12 16:21:22 by simonpj]

[ghc-hetmet.git] / ghc / compiler / hsSyn / HsLit.lhs

diff --git a/ghc/compiler/hsSyn/HsLit.lhs b/ghc/compiler/hsSyn/HsLit.lhs
index f75c0a7..39d737d 100644 (file)
--- a/ghc/compiler/hsSyn/HsLit.lhs
+++ b/ghc/compiler/hsSyn/HsLit.lhs
@@ -8,7 +8,8 @@ module HsLit where
 
 #include "HsVersions.h"
 
-import Type    ( Type )        
+import Type    ( Type )
+import HsTypes ( PostTcType )
 import Outputable
 import Ratio   ( Rational )
 \end{code}
@@ -34,28 +35,39 @@ data HsLit
   | HsRat          Rational Type       -- Genuinely a rational; arises only from TRANSLATION
   | HsFloatPrim            Rational            -- Unboxed Float
   | HsDoublePrim    Rational           -- Unboxed Double
-  | HsLitLit       FAST_STRING Type    -- to pass ``literal literals'' through to C
-                                       -- also: "overloaded" type; but
-                                       -- must resolve to boxed-primitive!
+  | HsLitLit       FAST_STRING PostTcType      -- to pass ``literal literals'' through to C
+                                               -- also: "overloaded" type; but
+                                               -- must resolve to boxed-primitive!
        -- The Type in HsLitLit is needed when desuaring;
        -- before the typechecker it's just an error value
-  deriving( Eq )
 
-data HsOverLit name    -- An overloaded literal
-  = HsIntegral     Integer name        -- Integer-looking literals;
-                                       -- The names is "fromInteger"
-  | HsFractional    Rational name      -- Frac-looking literals
-                                       -- The name is "fromRational"
+instance Eq HsLit where
+  (HsChar x1)      == (HsChar x2)       = x1==x2
+  (HsCharPrim x1)   == (HsCharPrim x2)  = x1==x2
+  (HsString x1)     == (HsString x2)    = x1==x2
+  (HsStringPrim x1) == (HsStringPrim x2) = x1==x2
+  (HsInt x1)       == (HsInt x2)        = x1==x2
+  (HsIntPrim x1)    == (HsIntPrim x2)    = x1==x2
+  (HsInteger x1)    == (HsInteger x2)    = x1==x2
+  (HsRat x1 _)     == (HsRat x2 _)      = x1==x2
+  (HsFloatPrim x1)  == (HsFloatPrim x2)  = x1==x2
+  (HsDoublePrim x1) == (HsDoublePrim x2) = x1==x2
+  (HsLitLit x1 _)   == (HsLitLit x2 _)   = x1==x2
+  lit1             == lit2              = False
 
-instance Eq (HsOverLit name) where
-  (HsIntegral i1 _)   == (HsIntegral i2 _)   = i1 == i2
-  (HsFractional f1 _) == (HsFractional f2 _) = f1 == f2
+data HsOverLit                 -- An overloaded literal
+  = HsIntegral     Integer             -- Integer-looking literals;
+  | HsFractional    Rational           -- Frac-looking literals
 
-instance Ord (HsOverLit name) where
-  compare (HsIntegral i1 _)   (HsIntegral i2 _)   = i1 `compare` i2
-  compare (HsIntegral _ _)    (HsFractional _ _)  = LT
-  compare (HsFractional f1 _) (HsFractional f2 _) = f1 `compare` f2
-  compare (HsFractional f1 _) (HsIntegral _ _)    = GT
+instance Eq HsOverLit where
+  (HsIntegral i1)   == (HsIntegral i2)   = i1 == i2
+  (HsFractional f1) == (HsFractional f2) = f1 == f2
+
+instance Ord HsOverLit where
+  compare (HsIntegral i1)   (HsIntegral i2)   = i1 `compare` i2
+  compare (HsIntegral _)    (HsFractional _)  = LT
+  compare (HsFractional f1) (HsFractional f2) = f1 `compare` f2
+  compare (HsFractional f1) (HsIntegral _)    = GT
 \end{code}
 
 \begin{code}
@@ -73,9 +85,9 @@ instance Outputable HsLit where
     ppr (HsIntPrim i)   = integer i  <> char '#'
     ppr (HsLitLit s _)  = hcat [text "``", ptext s, text "''"]
 
-instance Outputable (HsOverLit name) where
-  ppr (HsIntegral i _)   = integer i
-  ppr (HsFractional f _) = rational f
+instance Outputable HsOverLit where
+  ppr (HsIntegral i)   = integer i
+  ppr (HsFractional f) = rational f
 \end{code}