|
@@ -1664,9 +1664,6 @@ and type_meta ?(mode=MGet) ctx m e1 with_type p =
|
|
|
| (EReturn e, p) -> type_return ~implicit:true ctx e with_type p
|
|
|
| _ -> e()
|
|
|
end
|
|
|
- | (Meta.Dollar s,_,p) ->
|
|
|
- display_error ctx.com (Printf.sprintf "Reification $%s is not allowed outside of `macro` expression" s) p;
|
|
|
- e()
|
|
|
| _ -> e()
|
|
|
in
|
|
|
ctx.meta <- old;
|