Soilihi BEN SOILIHI BOINA pushed to branch add-proj at Stefan / Typer
Commits: fd27756b by Soilih BEN SOILIH at 2021-12-02T16:25:21-05:00 eval
- - - - -
1 changed file:
- src/eval.ml
Changes:
===================================== src/eval.ml ===================================== @@ -463,8 +463,16 @@ let rec eval lxp (ctx : Env.runtime_env) (trace : eval_debug_info): (value_type) (eval f ctx trace) (List.map (fun e -> eval e ctx trace) args) (* Proj *) - | Proj (l, e, i) - -> eval' e ctx + | Proj (loc, e, i) + -> let vt = eval' e ctx in + ( + match vt with + | Vcons (symbol, vtl) -> List.nth vtl i + | _ -> error + loc + "Connot find a value in position %d \n" i + ) +
(* Case *) | Case (loc, target, pat, dflt)
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/fd27756b4e6d5c378c070ef5a206a4acbe...