From 8c95971f1e33a3b181c22d0fcbf5b3de7a8b04b2 Mon Sep 17 00:00:00 2001 From: vbot Date: Tue, 4 Jun 2024 15:26:47 +0200 Subject: [PATCH] Fix error message typo --- compiler/desugared/linting.ml | 4 +-- tests/func/good/context_func.catala_en | 16 +++++----- tests/name_resolution/good/let_in.catala_en | 2 +- .../good/local-capture-subscope.catala_en | 4 +-- tests/scope/good/scope_call2.catala_en | 4 +-- tests/scope/good/sub_sub_scope.catala_en | 32 +++++++++---------- tests/typing/good/common.catala_en | 4 +-- 7 files changed, 33 insertions(+), 33 deletions(-) diff --git a/compiler/desugared/linting.ml b/compiler/desugared/linting.ml index c4e24dc9..65aeafc4 100644 --- a/compiler/desugared/linting.ml +++ b/compiler/desugared/linting.ml @@ -268,8 +268,8 @@ let detect_dead_code (p : program) : unit = let emit_unused_warning vx = Message.warning ~pos:(Mark.get (Dependency.Vertex.info vx)) - "Unused varible:@ %a@ does@ not@ contribute@ to@ computing@ any@ of@ \ - scope@ %a@ outputs.@ Did you forget something?" + "Unused variable:@ %a@ does@ not@ contribute@ to@ computing@ any@ \ + of@ scope@ %a@ outputs.@ Did you forget something?" Dependency.Vertex.format vx ScopeName.format scope_name in Dependency.ScopeDependencies.iter_vertex diff --git a/tests/func/good/context_func.catala_en b/tests/func/good/context_func.catala_en index 22c5911b..de890bdb 100644 --- a/tests/func/good/context_func.catala_en +++ b/tests/func/good/context_func.catala_en @@ -21,8 +21,8 @@ scope B: $ catala Typecheck --check-invariants ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope B outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope B +│ outputs. Did you forget something? │ ├─➤ tests/func/good/context_func.catala_en:9.3-9.4: │ │ @@ -41,8 +41,8 @@ $ catala Typecheck --check-invariants $ catala Scopelang -s B ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope B outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope B +│ outputs. Did you forget something? │ ├─➤ tests/func/good/context_func.catala_en:9.3-9.4: │ │ @@ -58,8 +58,8 @@ let scope B (b: bool|input) (a: A {f: integer → integer}|internal) = $ catala Dcalc -s A ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope B outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope B +│ outputs. Did you forget something? │ ├─➤ tests/func/good/context_func.catala_en:9.3-9.4: │ │ @@ -83,8 +83,8 @@ let scope A $ catala Dcalc -s B ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope B outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope B +│ outputs. Did you forget something? │ ├─➤ tests/func/good/context_func.catala_en:9.3-9.4: │ │ diff --git a/tests/name_resolution/good/let_in.catala_en b/tests/name_resolution/good/let_in.catala_en index 6628b96e..3649d585 100644 --- a/tests/name_resolution/good/let_in.catala_en +++ b/tests/name_resolution/good/let_in.catala_en @@ -62,7 +62,7 @@ scope S2: $ catala test-scope S2 ┌─[WARNING]─ │ -│ Unused varible: x does not contribute to computing any of scope S2 +│ Unused variable: x does not contribute to computing any of scope S2 │ outputs. Did you forget something? │ ├─➤ tests/name_resolution/good/let_in.catala_en:52.4-52.5: diff --git a/tests/scope/good/local-capture-subscope.catala_en b/tests/scope/good/local-capture-subscope.catala_en index fb18172b..e26b919b 100644 --- a/tests/scope/good/local-capture-subscope.catala_en +++ b/tests/scope/good/local-capture-subscope.catala_en @@ -22,8 +22,8 @@ scope S: $ catala test-scope S ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope S outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope S +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/local-capture-subscope.catala_en:7.3-7.4: │ │ diff --git a/tests/scope/good/scope_call2.catala_en b/tests/scope/good/scope_call2.catala_en index 30d4e157..0d0cc0f4 100644 --- a/tests/scope/good/scope_call2.catala_en +++ b/tests/scope/good/scope_call2.catala_en @@ -24,7 +24,7 @@ scope Titi: $ catala Typecheck --check-invariants ┌─[WARNING]─ │ -│ Unused varible: toto does not contribute to computing any of scope Titi +│ Unused variable: toto does not contribute to computing any of scope Titi │ outputs. Did you forget something? │ ├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7: @@ -44,7 +44,7 @@ $ catala Typecheck --check-invariants $ catala test-scope Titi ┌─[WARNING]─ │ -│ Unused varible: toto does not contribute to computing any of scope Titi +│ Unused variable: toto does not contribute to computing any of scope Titi │ outputs. Did you forget something? │ ├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7: diff --git a/tests/scope/good/sub_sub_scope.catala_en b/tests/scope/good/sub_sub_scope.catala_en index 93836ce1..d61c3aaa 100644 --- a/tests/scope/good/sub_sub_scope.catala_en +++ b/tests/scope/good/sub_sub_scope.catala_en @@ -36,8 +36,8 @@ scope C: $ catala Typecheck --check-invariants ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: │ │ @@ -46,8 +46,8 @@ $ catala Typecheck --check-invariants └─ Article ┌─[WARNING]─ │ -│ Unused varible: b does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: b does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: │ │ @@ -66,8 +66,8 @@ $ catala Typecheck --check-invariants $ catala test-scope A ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: │ │ @@ -76,8 +76,8 @@ $ catala test-scope A └─ Article ┌─[WARNING]─ │ -│ Unused varible: b does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: b does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: │ │ @@ -94,8 +94,8 @@ $ catala test-scope A $ catala test-scope B ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: │ │ @@ -104,8 +104,8 @@ $ catala test-scope B └─ Article ┌─[WARNING]─ │ -│ Unused varible: b does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: b does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: │ │ @@ -121,8 +121,8 @@ $ catala test-scope B $ catala test-scope C ┌─[WARNING]─ │ -│ Unused varible: a does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: a does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: │ │ @@ -131,8 +131,8 @@ $ catala test-scope C └─ Article ┌─[WARNING]─ │ -│ Unused varible: b does not contribute to computing any of scope C outputs. -│ Did you forget something? +│ Unused variable: b does not contribute to computing any of scope C +│ outputs. Did you forget something? │ ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: │ │ diff --git a/tests/typing/good/common.catala_en b/tests/typing/good/common.catala_en index ccdf053d..3d47bc01 100644 --- a/tests/typing/good/common.catala_en +++ b/tests/typing/good/common.catala_en @@ -41,8 +41,8 @@ $ catala Typecheck --check-invariants └─ ┌─[WARNING]─ │ -│ Unused varible: x does not contribute to computing any of scope S outputs. -│ Did you forget something? +│ Unused variable: x does not contribute to computing any of scope S +│ outputs. Did you forget something? │ ├─➤ tests/typing/good/common.catala_en:12.9-12.10: │ │