From 47526bb4bdafab59e071bf37d862d22c959a9608 Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Thu, 19 Aug 2021 18:33:24 +0200 Subject: [PATCH] Update the 'add builtin' doc --- CONTRIBUTING.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b8222ed2..b289b030 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -104,9 +104,9 @@ need more, here is how one can be added: for scope parameters, variables or structure fields, since it won't compile anymore. - Add an element to the `builtin_expression` type in `surface/ast.ml(i)` -- Add your builtin in the `builtins` list in `surface/lexer.ml`, and with proper - translations in all of the language-specific modules `surface/lexer_en.ml`, - `surface/lexer_fr.ml`, etc. +- Add your builtin in the `builtins` list in `surface/lexer.cppo.ml`, and with proper + translations in all of the language-specific modules `surface/lexer_en.cppo.ml`, + `surface/lexer_fr.cppo.ml`, etc. - The rest can all be done by following the type errors downstream: - Add a corresponding element to the lower-level AST in `dcalc/ast.ml(i)`, type `unop` - Extend the translation accordingly in `surface/desugaring.ml`