Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Move let into failwith in inferencer
- Fix for bootstrap translation, suggested by @xrchz
  • Loading branch information
tanyongkiam committed Aug 5, 2018
1 parent bc72d3f commit b26b176
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions compiler/inference/inferScript.sml
Expand Up @@ -591,8 +591,9 @@ constrain_op l op ts =
return (Infer_Tapp [] Ttup_num)
od
| _ =>
let (ops, args) = op_to_string op in
failwith l (concat [implode "Primitive "; ops; implode " given ";
failwith l (
let (ops, args) = op_to_string op in
concat [implode "Primitive "; ops; implode " given ";
toString (&LENGTH ts); implode " arguments, but expects ";
toString (&args)])`;

Expand Down

0 comments on commit b26b176

Please sign in to comment.