Skip to content

Commit

Permalink
Allow $ reification outside macros
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Sep 1, 2023
1 parent 8878b58 commit a443fd3
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/typing/typer.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1704,6 +1704,9 @@ 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
(* Allow `${...}` reification because it's a noop and happens easily with macros *)
| (Meta.Dollar "",_,p) ->
e()
| (Meta.Dollar s,_,p) ->
display_error ctx.com (Printf.sprintf "Reification $%s is not allowed outside of `macro` expression" s) p;
e()
Expand Down

0 comments on commit a443fd3

Please sign in to comment.