X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FNOTES;h=8c6275000813987394a5b8a255f9787b25422595;hb=1187e57fab2b5904a808ac973e5d04b91f880920;hp=5acc1f7a0364ab3f626e3c66e4e48af2b1cb3c82;hpb=6858f7c15fcf9efe9e6fdf22de34d0791b0f0c08;p=ghc-hetmet.git

diff --git a/ghc/compiler/NOTES b/ghc/compiler/NOTES
index 5acc1f7..8c62750 100644
--- a/ghc/compiler/NOTES
+++ b/ghc/compiler/NOTES
@@ -1,3 +1,64 @@
+
+-------------------------
+*** unexpected failure for jtod_circint(opt)
+
+
+	New back end thoughts
+
+-----------------------------------------------------------------------------
+Codegen notes
+
+* jumps to ImpossibleBranch should be removed.
+
+* Profiling:
+	- when updating a closure with an indirection to a function,
+	  we should make a permanent indirection.
+
+	- check that we're bumping the scc count appropriately
+
+* check perf & binary sizes against the HEAD
+
+-----------------------------------------------------------------------------
+C backend notes
+
+* use STGCALL macros for foreign calls (doesn't look like volatile regs
+  are handled properly at the mo).
+
+-----------------------------------------------------------------------------
+Cmm parser notes
+
+* switches
+
+* need to cater for unexported procedures/info tables?
+
+* We should be able to get rid of entry labels, use info labels only.
+  - we need a %ENTRY_LBL(info_lbl) macro, so that instead of
+     JMP_(foo_entry) we can write jump %ENTRY_LBL(foo_info).
+
+-----------------------------------------------------------------------------
+
+* Move arg-descr from LFInfo to ClosureInfo? 
+  But: only needed for functions
+
+* Move all of CgClosure.link_caf into NewCaf, and newDynCaf
+
+* If the case binder is dead, and the constr is nullary,
+  do we need to assign to Node?
+
+
+-------------------------
+* 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)