1 files changed, 0 insertions, 31 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO
deleted file mode 100644
index 174be06e..00000000
--- a/contrib/extraction/TODO
+++ /dev/null
@@ -1,31 +0,0 @@
-
- 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