Rename Scalc from_lambda to from_lcalc for consistency

This commit is contained in:
Louis Gesbert 2023-02-17 19:47:15 +01:00
parent fced0fff54
commit 03645e6404
3 changed files with 20 additions and 1 deletions

View File

@ -356,7 +356,7 @@ let driver source_file (options : Cli.options) : int =
p.Plugin.apply ~source_file ~output_file ~scope:options.ex_scope p.Plugin.apply ~source_file ~output_file ~scope:options.ex_scope
prgm type_ordering prgm type_ordering
| (`Python | `Scalc | `Plugin (Plugin.Scalc _)) as backend -> ( | (`Python | `Scalc | `Plugin (Plugin.Scalc _)) as backend -> (
let prgm = Scalc.From_lambda.translate_program prgm in let prgm = Scalc.From_lcalc.translate_program prgm in
match backend with match backend with
| `Scalc -> | `Scalc ->
let _output_file, with_output = get_output_format () in let _output_file, with_output = get_output_format () in

View File

@ -0,0 +1,19 @@
(* This file is part of the Catala compiler, a specification language for tax
and social benefits computation rules. Copyright (C) 2021 Inria, contributor:
Louis Gesbert <louis.gesbert@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 Shared_ast
val translate_program : untyped Lcalc.Ast.program -> Ast.program