diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-07 20:03:54 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-07 20:03:54 +0000 |
| commit | 35333385b6564609aa32f301d293ad0c2686303c (patch) | |
| tree | 33a6593ea410d07808d30edc0badef1092063604 /src | |
| parent | e98d61b7b788385d1c934b0208a0669f15c7a91a (diff) | |
bugfix in the byte code compiler
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/GenerateBC.hs | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/compiler/GF/Compile/GenerateBC.hs b/src/compiler/GF/Compile/GenerateBC.hs index 1891f8d58..8e96a54e1 100644 --- a/src/compiler/GF/Compile/GenerateBC.hs +++ b/src/compiler/GF/Compile/GenerateBC.hs @@ -130,17 +130,17 @@ compileFun gr arity st vs (Let (x, (_, e1)) e2) h0 bs args = compileFun gr arity st vs e _ _ _ = error (show e) compileArg gr st vs (Q(m,id)) h0 bs = - let h1 = h0 + 2 - in case lookupAbsDef gr m id of - Ok (_,Just _) -> (h1,bs,GLOBAL (i2i id),[]) - _ -> let Ok ty = lookupFunType gr m id - (ctxt,_,_) = typeForm ty - c_arity = length ctxt - in if c_arity == 0 - then (h1,bs,HEAP h0,[PUT_CONSTR (i2i id)]) - else let is2 = [SET (ARG_VAR (i+1)) | i <- [0..c_arity-1]] - b = CHECK_ARGS c_arity : ALLOC (c_arity+2) : PUT_CONSTR (i2i id) : is2 ++ [EVAL (HEAP h0) (TailCall c_arity (c_arity+1) (c_arity+1))] - in (h1,b:bs,HEAP h0,[PUT_CLOSURE (length bs),SET_PAD]) + case lookupAbsDef gr m id of + Ok (_,Just _) -> (h0,bs,GLOBAL (i2i id),[]) + _ -> let Ok ty = lookupFunType gr m id + (ctxt,_,_) = typeForm ty + c_arity = length ctxt + h1 = h0 + 2 + in if c_arity == 0 + then (h1,bs,HEAP h0,[PUT_CONSTR (i2i id)]) + else let is2 = [SET (ARG_VAR (i+1)) | i <- [0..c_arity-1]] + b = CHECK_ARGS c_arity : ALLOC (c_arity+2) : PUT_CONSTR (i2i id) : is2 ++ [EVAL (HEAP h0) (TailCall c_arity (c_arity+1) (c_arity+1))] + in (h1,b:bs,HEAP h0,[PUT_CLOSURE (length bs),SET_PAD]) compileArg gr st vs (QC qid) h0 bs = compileArg gr st vs (Q qid) h0 bs compileArg gr st vs (Vr x) h0 bs = |