diff options
| author | Son Ho | 2024-04-04 16:19:08 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 16:19:08 +0200 |
| commit | 57b71cb1bfde1832097163c7169aaf97cf8c7583 (patch) | |
| tree | 00c3fff1c4f79023d352b2aa368e9f58637768da /compiler/Pure.ml | |
| parent | 4828b77847ee981f5c6a1bbad7f8e6ed0e58eb0f (diff) | |
Update the extraction
Diffstat (limited to 'compiler/Pure.ml')
| -rw-r--r-- | compiler/Pure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 7de7e0f4..daf213cf 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -92,7 +92,7 @@ type assumed_ty = (* TODO: we should never directly manipulate [Return] and [Fail], but rather * the monadic functions [return] and [fail] (makes treatment of error and * state-error monads more uniform) *) -let result_return_id = VariantId.of_int 0 +let result_ok_id = VariantId.of_int 0 let result_fail_id = VariantId.of_int 1 let option_some_id = T.option_some_id let option_none_id = T.option_none_id |