1 files changed, 31 insertions, 0 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO
new file mode 100644
index 00000000..174be06e
--- /dev/null
+++ b/contrib/extraction/TODO
@@ -0,0 +1,31 @@
+
+ 16. Haskell : 
+     - equivalent of Obj.magic (unsafeCoerce ?) 
+     - look again at the syntax (make it independant of layout ...)  
+     - producing .hi files
+     - modules/modules types/functors in Haskell ?
+
+ 17. Scheme : 
+     - modular Scheme ? 
+
+ 18. Improve speed (profiling)
+
+ 19. Look again at those hugly renamings functions. 
+     Especially get rid of ML clashes like 
+   
+    let t = 0
+    module M = struct 
+       let t = 1 
+       let u = The.External.t (* ?? *)
+    end
+
+ 20. Support the .v-as-internal-module, like in 
+    
+    <file A.v>
+    Definition foo :=O.
+    <End file A.v>
+
+    <at toplevel>
+    Require A.
+    Module M:=A
+    Extraction M.
+\ No newline at end of file