brief note

darcs-hash:20080414103207-228f4-ddf506792bbf9937ea5dc4c8ab798907dc931d02.gz
avsm · Apr 14, 2008 · 5f7525a · 5f7525a
1 parent 4010d7d
commit 5f7525a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/Idris/Latex.lhs b/Idris/Latex.lhs
@@ -137,7 +137,7 @@ hence the weird bracketing.
 >                            "\\RW{do}\\:\\AR{" ++ 
 >                            concat (map (latex ctxt defs) ds)) ++ "}"
 >                            
->        showP _ x = show x -- need Do notation
+>        showP _ x = show x 
 >        bracket outer inner str | inner>outer = "("++str++")"
 >                                | otherwise = str
 

diff --git a/notes/compiler_plan.txt b/notes/compiler_plan.txt
@@ -0,0 +1,10 @@
+Match compiler
+  * ViewTerm -> Pattern
+  * Pattern Set -> Simple case tree
+  * Simple case tree  -> Epic definitions
+IO tree interpreter, in Epic. Special cases for the various constructors.
+  * [[IODo foo f]] ==> let val = [[foo]]; f val
+    [[IOReturn val]] ==> val
+    [[PutStr v]] ==> do putStr v; PUSH unit. etc.
+
+Simple CGI program?