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

fix(compiler): use Plugin.extension instead of the hardcoded ".ml" one

Browse Source
This commit is contained in:
Emile Rolley 2022-08-01 10:28:38 +02:00
parent ce47132342
commit 2da94b88c2
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/driver.ml
View File

@ -332,7 +332,9 @@ let driver source_file (options : Cli.options) : int =
(Option.value ~default:"stdout" output_file);
Lcalc.To_ocaml.format_program fmt prgm type_ordering
| `Plugin (Plugin.Lcalc p) ->
let output_file, _ = get_output_format ~ext:".ml" () in
let output_file, _ =
get_output_format ~ext:p.Plugin.extension ()
in
Cli.debug_print "Compiling program through backend \"%s\"..."
p.Plugin.name;
p.Plugin.apply ~source_file ~output_file ~scope:options.ex_scope