<div dir="ltr"><div>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?<br><br>  (compile_exp t env (Lannot e (Locs st en)) =<br>    let t' = if t = None then t else (Cons (Cons (Cons (Cons Empty st.row) st.col) en.row) en.col) in<br>      compile_exp t' env e)<br><br>for reference:<br><br>val _ = Datatype `<br> locn = <| row : num;  col : num; offset : num |>`;<br><br>val _ = Datatype `<br>  locs = Locs locn locn<br>`<br><br></div>Another problematic case, where probably I am not passing along the right traces in the AallocEmpty case:<br><br>  (compile_exp t env (ast$App op es) =<br>    if op = AallocEmpty then<br>      FOLDR (Let t NONE) (modLang$App t Aalloc [Lit t (IntLit (&0)); Lit t (IntLit (&0))])<br>        (REVERSE (compile_exps t env es))<br>    else<br>      modLang$App t (astOp_to_modOp op) (compile_exps t env es))<br><br></div>