TODO: update; Debug: note about `printfFake'

diff --git a/Mate/Debug.hs b/Mate/Debug.hs
index 8c1ca63b6b0293a06845f3d307a1fdefa30b7e63..dc8954eb84cb4eb184842209aa46a3c654d5deec 100644 (file)
--- a/Mate/Debug.hs
+++ b/Mate/Debug.hs
@@ -16,6 +16,7 @@ instance VarArgsFake (IO a) where
 instance (Show a, VarArgsFake r) => VarArgsFake (a -> r) where
   varFake _ _ = varFake []
 
+-- note: with -O2 GHC is able to completely optimize away such a `printfFake' call
 printfFake :: String -> (VarArgsFake t) => t
 printfFake _ = varFake []
 

diff --git a/doc/TODO b/doc/TODO
index 2e441d727a8e66133108344a7cc93f8a4240f151..f65d294d46cf90aa4fc9fd664c3307602d2845db 100644 (file)
--- a/doc/TODO
+++ b/doc/TODO
@@ -19,6 +19,12 @@
        -> depends on: exceptions, jni (?)
        -> estimated effort: unknown
 
+(m) hoopl
+       -> for "frontEnd analysis"
+       -> transition to MIR (Mate IR)?
+
+(h) switch statement (basically lookupswitch insn)
+
 (m) testing: hunit? quickcheck? other?
        -> we have `make tests' now, but it should be only considered as
           high-level test. we need something
@@ -70,6 +76,11 @@
 (l) get rid of missingh
        -> huge dependency and we just need one function of it
 
+(l) get more details what takes time
+       -> use Data.Time.Clock
+       -> seperate analysis, jit, execution, ...
+       -> maybe use ghc profiling? (it doesn't measure native execution, but well)
+
 
 (l) ... low priority
 (m) ... medium priority