Type families: new algorithm to solve equalities

[ghc-hetmet.git] / compiler / main / HscTypes.lhs

diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs
index e4e6697..d5077fe 100644 (file)
--- a/compiler/main/HscTypes.lhs
+++ b/compiler/main/HscTypes.lhs
@@ -255,7 +255,10 @@ hscEPS hsc_env = readIORef (hsc_EPS hsc_env)
 -- module.  If so, use this instead of the file contents (this
 -- is for use in an IDE where the file hasn't been saved by
 -- the user yet).
-data Target = Target TargetId (Maybe (StringBuffer,ClockTime))
+data Target = Target
+      TargetId                          -- module or filename
+      Bool                              -- object code allowed?
+      (Maybe (StringBuffer,ClockTime))  -- in-memory text buffer?
 
 data TargetId
   = TargetModule ModuleName
@@ -268,7 +271,8 @@ data TargetId
   deriving Eq
 
 pprTarget :: Target -> SDoc
-pprTarget (Target id _) = pprTargetId id
+pprTarget (Target id obj _) = 
+   (if obj then char '*' else empty) <> pprTargetId id
 
 instance Outputable Target where
     ppr = pprTarget
@@ -1195,7 +1199,7 @@ data GenAvailInfo name    = Avail name     -- ^ An ordinary identifier in scope
                                         --  2) The available pieces of type or class.
                                         --     NB: If the type or class is itself
                                         --     to be in scope, it must be in this list.
-                                        --     Thus, typically: @AvailTC Eq [Eq, ==, /=]@
+                                        --     Thus, typically: @AvailTC Eq [Eq, ==, \/=]@
                        deriving( Eq )
                        -- Equality used when deciding if the interface has changed