Commit a5672181 authored by Andrei Paskevich's avatar Andrei Paskevich

Dexpr: pure symbol in a non-ghost context raises an error

parent f542a3e4
......@@ -1217,7 +1217,7 @@ and try_cexp uloc env ({de_dvty = argl,res} as de0) lpl =
apply c_app tpl (env.ghs || env.lgh || rs_ghost s) s al lpl in
let c_pur ugh s lpl =
let loc = Opt.get_def de0.de_loc uloc in
if not (ugh || env.ghs || env.lgh || env.ugh) then Warning.emit ?loc
if not (ugh || env.ghs || env.lgh || env.ugh) then Loc.errorm ?loc
"Logical symbol %a is used in a non-ghost context" Pretty.print_ls s;
apply c_pur false true s ( Util.ttrue s.ls_args) lpl in
let c_oop s lpl =
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment