[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))
else
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