X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FNOTES;h=4c2b7024d7a7e7113226b2e8812f1210b0415c4e;hb=474955abf3fe4d26171b3ba5ecdbc1784c80cf3a;hp=14725ddbfbcc57b9e7d99e0440e7eda860302916;hpb=2c6d73e2ca9a545c4295c6f532cd3612e7fd3d8d;p=ghc-hetmet.git

diff --git a/ghc/compiler/NOTES b/ghc/compiler/NOTES
index 14725dd..4c2b702 100644
--- 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)
 
@@ -30,7 +44,7 @@ simplNonRecBind:	[was simplBeta]
     else
 	completeLazyBind
 
-simplRecPair:	[binder already simplified, but not its IdInfo]
+simplLazyBind:	[binder already simplified, but not its IdInfo]
 	  	[used for both rec and top-lvl non-rec]
 		[must not be strict/unboxed; case not allowed]
   - check for PreInlineUnconditionally