diff options
| author | Alasdair Armstrong | 2017-10-06 17:56:30 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-06 17:56:30 +0100 |
| commit | d3604c52e19e4e71965b5d96d6fab879bac7effc (patch) | |
| tree | ef79450d7038ae70072d8fb155442a778cfdc14d /src/initial_check.ml | |
| parent | 6e4573f9a1ace7cba38d0cecb95b4dfe95c73c71 (diff) | |
Remove BK_effect constructor
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index efda0da1..36b6478e 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -128,7 +128,6 @@ let to_ast_base_kind (Parse_ast.BK_aux(k,l')) = | Parse_ast.BK_type -> BK_aux(BK_type,l'), { k = K_Typ} | Parse_ast.BK_nat -> BK_aux(BK_nat,l'), { k = K_Nat } | Parse_ast.BK_order -> BK_aux(BK_order,l'), { k = K_Ord } - | Parse_ast.BK_effect -> BK_aux(BK_effect,l'), { k = K_Efct } let to_ast_kind (k_env : kind Envmap.t) (Parse_ast.K_aux(Parse_ast.K_kind(klst),l)) : (Ast.kind * kind) = match klst with |