diff options
| author | Brian Campbell | 2017-08-10 16:53:01 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-10 16:53:01 +0100 |
| commit | 5c01bf4c78860b1173b156f99d03f115d08e2175 (patch) | |
| tree | a6149f41ecead71254e8f76ac5caa200be18858f /src/initial_check.ml | |
| parent | 3d574f2dfe688d762976f30661d46f806227ba22 (diff) | |
| parent | 128c1965e58d1527c0619d777b5770ec5825ae22 (diff) | |
Merge branch 'experiments' into mono-experiments
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 728056ab..9d295dda 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -302,7 +302,7 @@ and to_ast_typ_arg (k_env : kind Envmap.t) (def_ord : order) (kind : kind) (arg | K_Nat -> Typ_arg_nexp (to_ast_nexp k_env arg) | K_Ord -> Typ_arg_order (to_ast_order k_env def_ord arg) | K_Efct -> Typ_arg_effect (to_ast_effects k_env arg) - | _ -> raise (Reporting_basic.err_unreachable l "To_ast_typ_arg received Lam kind or infer kind")), + | _ -> raise (Reporting_basic.err_unreachable l ("To_ast_typ_arg received Lam kind or infer kind: " ^ kind_to_string kind))), l) and to_ast_nexp_constraint (k_env : kind Envmap.t) (c : Parse_ast.n_constraint) : n_constraint = |