infinite loop....
This commit is contained in:
parent
ebd9544870
commit
814c04c1d0
1 changed files with 3 additions and 2 deletions
|
@ -235,11 +235,12 @@ let translate (p : S.t) env =
|
|||
let bfs, b = expression env b in
|
||||
let cfs, c = expression env c in
|
||||
afs @ bfs @ cfs, T.IfThenElse (a, b, c)
|
||||
| S.Fun (x, e) ->
|
||||
| S.Fun (x, e) as f ->
|
||||
let fname = make_fresh_function_identifier () in
|
||||
let x = List.map identifier x in
|
||||
let efs, e = expression env e in
|
||||
T.DefineFunction (fname, x, e) :: efs, e
|
||||
let ffs, f = expression env f in
|
||||
(T.DefineFunction (fname, x, e) :: efs) @ ffs, f
|
||||
| S.AllocateBlock a ->
|
||||
let afs, a = expression env a in
|
||||
afs, allocate_block a
|
||||
|
|
Reference in a new issue