[project @ 2004-01-05 14:54:06 by simonmar]

[ghc-hetmet.git] / ghc / compiler / NOTES

diff --git a/ghc/compiler/NOTES b/ghc/compiler/NOTES
index 5acc1f7..4c2b702 100644 (file)
--- a/ghc/compiler/NOTES
+++ b/ghc/compiler/NOTES
@@ -1,3 +1,17 @@
+* Can a scoped type variable denote a type scheme?
+
+* Relation between separate type sigs and pattern type sigs
+f :: forall a. a->a
+f :: b->b = e   -- No: monomorphic
+
+f :: forall a. a->a
+f :: forall a. a->a  -- OK
+
+f :: forall a. [a] -> [a]
+f :: forall b. b->b = e  ???
+
+
+-------------------------------
 NB: all floats are let-binds, but some non-rec lets
     may be unlifted (with RHS ok-for-speculation)