catala/compiler/dcalc/ast.ml

(* This file is part of the Catala compiler, a specification language for tax
   and social benefits computation rules. Copyright (C) 2020 Inria, contributor:
   Denis Merigoux <denis.merigoux@inria.fr>, Alain Delaët-Tixeuil
   <alain.delaet--tixeuil@inria.fr>

   Licensed under the Apache License, Version 2.0 (the "License"); you may not
   use this file except in compliance with the License. You may obtain a copy of
   the License at

   http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
   WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
   License for the specific language governing permissions and limitations under
   the License. *)

open Utils
open Shared_ast

type lit = dcalc glit

type 'm expr = (dcalc, 'm mark) gexpr
and 'm marked_expr = (dcalc, 'm mark) marked_gexpr

type 'm program = 'm expr Shared_ast.program
Implemented type inference for default calculus 2020-11-22 22:56:27 +03:00			`(* This file is part of the Catala compiler, a specification language for tax`
			`and social benefits computation rules. Copyright (C) 2020 Inria, contributor:`
Crediting author of moved code 2022-04-04 19:06:40 +03:00			`Denis Merigoux <denis.merigoux@inria.fr>, Alain Delaët-Tixeuil`
			`<alain.delaet--tixeuil@inria.fr>`
Implemented type inference for default calculus 2020-11-22 22:56:27 +03:00
			`Licensed under the Apache License, Version 2.0 (the "License"); you may not`
			`use this file except in compliance with the License. You may obtain a copy of`
			`the License at`

			`http://www.apache.org/licenses/LICENSE-2.0`

			`Unless required by applicable law or agreed to in writing, software`
			`distributed under the License is distributed on an "AS IS" BASIS, WITHOUT`
			`WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the`
			`License for the specific language governing permissions and limitations under`
			`the License. *)`

Refactoring 2021-01-21 23:33:04 +03:00			`open Utils`
Leverage the shared AST: big cleanup (part I) 2022-08-12 23:42:39 +03:00			`open Shared_ast`
AST simplification: remove redundant annotations The AST structures track annotations (e.g., at the moment, source code position information) in a lot of places. This patch tidies up a bit and removes some duplication, ensuring a single level of annotation wrapping at each AST recursion level. This will be important when adding type information in these annotations, because there will be consitency constraints to be ensured and duplication is a likely source of mistakes. 2022-06-03 17:40:03 +03:00
Pass-specific literals 2022-07-27 13:18:14 +03:00			`type lit = dcalc glit`
More factorisation, in particular for variables 2022-07-28 11:36:36 +03:00
Generalise the expressions between dcalc and lcalc The huge benefit of this approach is that almost no changes are needed and we get compatible types between dcalc and lcalc, allowing to deduplicate a few functions. It might not be the best in the long run: there are still benefits in factorising small parts of the AST as suggested in #157, and this forces a central AST definition that makes the nanopass-like approach a bit less legible. Still, I think it's a step in the right direction and it doesn't really lock us in keeping to use the big GADT (as the minimal cascade of changes show). 2022-07-26 22:58:04 +03:00			`type 'm expr = (dcalc, 'm mark) gexpr`
			`and 'm marked_expr = (dcalc, 'm mark) marked_gexpr`
cleanup dcalc-ast.ml 2022-02-04 14:33:26 +03:00
Simplify some type aliases 2022-08-16 17:54:42 +03:00			`type 'm program = 'm expr Shared_ast.program`