[code cleanups, polymorphic components test
John Meacham <john@repetae.net>**20051205063530] hunk ./FrontEnd/DataConsAssump.hs 33
-import Type                     (assumpToPair, makeAssump, Types (..), quantify)
-import TypeUtils                (aHsTypeToType)
+import Type                     (Types (..), quantify)
hunk ./FrontEnd/DataConsAssump.hs 81
-unitEnv (x,y) = Map.singleton x y
hunk ./FrontEnd/DataConsAssump.hs 84
-   = unitEnv $ assumpToPair $ makeAssump conName $ quantify (tv qualConType) qualConType
+   = Map.singleton conName $ quantify (tv qualConType) qualConType
hunk ./FrontEnd/DataConsAssump.hs 89
-   = unitEnv $ assumpToPair $ makeAssump conName $ quantify (tv qualConType) qualConType
+   = Map.singleton conName $ quantify (tv qualConType) qualConType
hunk ./test/Forall.hs 67
+
+-- polymorphic components
+data Bob  = Bob (forall a . a -> a)
+f (Bob x) = x 'y'
+
hunk ./test/Forall.hs 73
+    putChar $ f (Bob id)