[CakeML-dev] compiler explorer

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Fri Jun 30 06:39:52 UTC 2017

The compiler explorer seems to have been written prior to some changes to
the locations type. Looking at this line in particular, I notice that the
offset field of the locn record is not used. Is this correct?

  (compile_exp t env (Lannot e (Locs st en)) =
    let t' = if t = None then t else (Cons (Cons (Cons (Cons Empty st.row)
st.col) en.row) en.col) in
      compile_exp t' env e)

for reference:

val _ = Datatype `
 locn = <| row : num;  col : num; offset : num |>`;

val _ = Datatype `
  locs = Locs locn locn

Another problematic case, where probably I am not passing along the right
traces in the AallocEmpty case:

  (compile_exp t env (ast$App op es) =
    if op = AallocEmpty then
      FOLDR (Let t NONE) (modLang$App t Aalloc [Lit t (IntLit (&0)); Lit t
(IntLit (&0))])
        (REVERSE (compile_exps t env es))
      modLang$App t (astOp_to_modOp op) (compile_exps t env es))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170630/05afdc5f/attachment.html>

More information about the Developers mailing list