Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity

correct error msg

Browse source
This commit is contained in:
Mylloon 2023-12-04 23:50:20 +01:00
parent 6338b05d39
commit 3c30abe0ac
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
flap/src/hopix/hopixTypechecker.ml
View file

@ -102,7 +102,7 @@ and synth_variable
let ty =
try HopixTypes.lookup_type_scheme_of_identifier id.position id.value tenv with
| HopixTypes.Unbound (pos, Identifier (Id i)) ->
HopixTypes.type_error pos (Printf.sprintf "%s unbound" i)
HopixTypes.type_error pos (Printf.sprintf "Unbound identifier `%s'." i)
in
match tlist with
| None -> HopixTypes.instantiate_type_scheme ty []