CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

adding an nicer error message

Browse Source
This commit is contained in:
adelaett 2023-04-14 12:16:09 +02:00
parent 123ae9e4c1
commit 6b6272b0f2
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/lcalc/compile_without_exceptions.ml
View File

@ -236,7 +236,10 @@ let rec trans_typ_keep (tau : typ) : typ =
| TTuple ts -> TTuple (List.map trans_typ_keep ts)
| TStruct s -> TStruct s
| TEnum en -> TEnum en
| TOption _ -> assert false
| TOption _ ->
Errors.raise_internal_error
"The type option should not appear before the dcalc -> lcalc \
translation step."
| TAny -> TAny
| TArray ts ->
TArray (TOption (trans_typ_keep ts), m) (* catala is not polymorphic *)