aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/extraction/TODO
blob: 174be06e55277207c1a1f079346a80ce3591d612 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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.