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

Corrected typos in ir

Browse Source
This commit is contained in:
Nicolas Chataing 2020-04-28 10:39:28 +02:00 committed by Denis Merigoux
parent 87ee21009c
commit f4cc917dc2
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -98,21 +98,21 @@ type builtin_expression = Cardinal | Now
type aggregate_func = AggregateSum | AggregateCount
type literal_date = {
literal_date_day : int Pos.marked;
literal_date_month : int Pos.marked;
literal_date_year : int Pos.marked;
type litteral_date = {
litteral_date_day : int Pos.marked;
litteral_date_month : int Pos.marked;
litteral_date_year : int Pos.marked;
}
type literal_number = Int of int | Dec of int * int
type litteral_number = Int of int | Dec of int * int
type literal_unit = Percent | Euro | Year | Month | Day
type litteral_unit = Percent | Euro | Year | Month | Day
type collection_op = Exists | Forall | Aggregate of aggregate_func
type literal =
| Number of literal_number Pos.marked * literal_unit Pos.marked option
| Date of literal_date
type litteral =
| Number of litteral_number Pos.marked * litteral_unit Pos.marked option
| Date of litteral_date
type match_case = {
match_case_pattern : match_case_pattern Pos.marked;
@ -131,7 +131,7 @@ and expression =
| TestMatchCase of expression Pos.marked * constructor Pos.marked
| FunCall of expression Pos.marked * expression Pos.marked
| Builtin of builtin_expression
| Literal of literal
| Literal of litteral
| Inject of constructor Pos.marked * expression Pos.marked option
| Project of expression Pos.marked * constructor Pos.marked
| BindingParameter of int (* The integer is the De Bruijn index *)