diff options
Diffstat (limited to 'compiler/Pure.ml')
| -rw-r--r-- | compiler/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index b90ef60a..551ebf7b 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -64,6 +64,7 @@ type assumed_ty = | Array | Slice | Str + | Range [@@deriving show, ord] (* TODO: we should never directly manipulate [Return] and [Fail], but rather |