[annotate newtypes in more places
John Meacham <john@repetae.net>**20061024021328] hunk ./DataConstructors.hs 404
-        g (Alt l e) = Alt (updateLit dataTable l) e
-    f (ELit l) = emapEGH f f return (ELit (updateLit dataTable l))
+        g (Alt l e) = Alt (gl $ updateLit dataTable l) e
+    f (ELit l) = emapEGH f f return (ELit (gl $ updateLit dataTable l))
hunk ./DataConstructors.hs 407
+    gl lc@LitCons { litAliasFor = Just e }  = lc { litAliasFor = Just $ removeNewtypes dataTable e }
+    gl l = l
hunk ./E/FromHs.hs 153
+    dataTable <- asks ceDataTable
hunk ./E/FromHs.hs 155
-    let ty = tipe t
+    let ty = removeNewtypes dataTable (tipe t)
hunk ./E/FromHs.hs 576
-    tv n = toTVr assumps (toName Name.Val n)
+    tv n = tvr { tvrType = removeNewtypes dataTable (tvrType tvr) } where
+        tvr = toTVr assumps (toName Name.Val n)
hunk ./Main.hs 274
+--    ds <- annotateDs mempty (\_ nfo -> return nfo) (\_ nfo -> return nfo) (\_ nfo -> return nfo) ds
hunk ./Main.hs 277
-    sequence_ [lintCheckE onerrNone fullDataTable v e | (_,v,e) <- ds ]
+ --   sequence_ [lintCheckE onerrNone fullDataTable v e | (_,v,e) <- ds ]
hunk ./Main.hs 305
+    prog <- return $ runIdentity $ annotateProgram mempty (\_ nfo -> return nfo) (\_ nfo -> return nfo)  (\_ nfo -> return nfo) prog