CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Small modifications under the control of Nicolas

Browse Source
This commit is contained in:
Denis Merigoux 2020-04-27 15:08:39 +02:00
parent 8740d4787d
commit 50737e3a80
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/catala/ir/ir.ml
View File

@ -67,7 +67,7 @@ end)
module VarMap = Map.Make (Var)
type constructor = Struct of Struct.t | Enum of Enum.t | EnumCase of EnumCase.t
type constructor = Struct of Struct.t | Enum of Enum.t
(* Type *)
@ -87,7 +87,8 @@ type typ = Base of base_typ | Func of func_typ
(* Expressions *)
type match_case_pattern = constructor Pos.marked list * Var.t option
(* The [bool] argument is true if the match case introduces a pattern *)
type match_case_pattern = constructor Pos.marked list * bool
type binop = And | Or | Add | Sub | Mult | Div | Lt | Lte | Gt | Gte | Eq | Neq
@ -133,7 +134,7 @@ and expression =
| Literal of literal
| Inject of constructor Pos.marked * expression Pos.marked option
| Project of expression Pos.marked * constructor Pos.marked
| FuncParameter
| BindingParameter of int (* The integer is the De Bruijn index *)
| Var of Var.t Pos.marked
(* Struct declaration *)