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.
|
