From 20497980b3eceae2f2dc679210a7d57b1bd0d4c2 Mon Sep 17 00:00:00 2001 From: Bernhard Urban Date: Fri, 17 Aug 2012 19:21:45 +0200 Subject: [PATCH] TODO: update; Debug: note about `printfFake' --- Mate/Debug.hs | 1 + doc/TODO | 11 +++++++++++ 2 files changed, 12 insertions(+) diff --git a/Mate/Debug.hs b/Mate/Debug.hs index 8c1ca63..dc8954e 100644 --- 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 2e441d7..f65d294 100644 --- 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 -- 2.25.1