CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Fix error message typo

Browse Source
This commit is contained in:
vbot 2024-06-04 15:26:47 +02:00
parent a0c982a6c3
commit 8c95971f1e
No known key found for this signature in database
GPG Key ID: A102739F983C6C72
7 changed files with 33 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/desugared/linting.ml
View File

@ -268,8 +268,8 @@ let detect_dead_code (p : program) : unit =
let emit_unused_warning vx = let emit_unused_warning vx =
Message.warning Message.warning
~pos:(Mark.get (Dependency.Vertex.info vx)) ~pos:(Mark.get (Dependency.Vertex.info vx))
"Unused varible:@ %a@ does@ not@ contribute@ to@ computing@ any@ of@ \ "Unused variable:@ %a@ does@ not@ contribute@ to@ computing@ any@ \
scope@ %a@ outputs.@ Did you forget something?" of@ scope@ %a@ outputs.@ Did you forget something?"
Dependency.Vertex.format vx ScopeName.format scope_name Dependency.Vertex.format vx ScopeName.format scope_name
in in
Dependency.ScopeDependencies.iter_vertex Dependency.ScopeDependencies.iter_vertex

16
tests/func/good/context_func.catala_en
View File

@ -21,8 +21,8 @@ scope B:
$ catala Typecheck --check-invariants $ catala Typecheck --check-invariants
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope B outputs. │ Unused variable: a does not contribute to computing any of scope B
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/func/good/context_func.catala_en:9.3-9.4: ├─➤ tests/func/good/context_func.catala_en:9.3-9.4:
│ │ │ │
@ -41,8 +41,8 @@ $ catala Typecheck --check-invariants
$ catala Scopelang -s B $ catala Scopelang -s B
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope B outputs. │ Unused variable: a does not contribute to computing any of scope B
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/func/good/context_func.catala_en:9.3-9.4: ├─➤ 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 $ catala Dcalc -s A
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope B outputs. │ Unused variable: a does not contribute to computing any of scope B
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/func/good/context_func.catala_en:9.3-9.4: ├─➤ tests/func/good/context_func.catala_en:9.3-9.4:
│ │ │ │
@ -83,8 +83,8 @@ let scope A
$ catala Dcalc -s B $ catala Dcalc -s B
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope B outputs. │ Unused variable: a does not contribute to computing any of scope B
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/func/good/context_func.catala_en:9.3-9.4: ├─➤ tests/func/good/context_func.catala_en:9.3-9.4:
│ │ │ │

2
tests/name_resolution/good/let_in.catala_en
View File

@ -62,7 +62,7 @@ scope S2:
$ catala test-scope S2 $ catala test-scope S2
┌─[WARNING]─ ┌─[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? │ outputs. Did you forget something?
│ │
├─➤ tests/name_resolution/good/let_in.catala_en:52.4-52.5: ├─➤ tests/name_resolution/good/let_in.catala_en:52.4-52.5:

4
tests/scope/good/local-capture-subscope.catala_en
View File

@ -22,8 +22,8 @@ scope S:
$ catala test-scope S $ catala test-scope S
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope S outputs. │ Unused variable: a does not contribute to computing any of scope S
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/local-capture-subscope.catala_en:7.3-7.4: ├─➤ tests/scope/good/local-capture-subscope.catala_en:7.3-7.4:
│ │ │ │

4
tests/scope/good/scope_call2.catala_en
View File

@ -24,7 +24,7 @@ scope Titi:
$ catala Typecheck --check-invariants $ catala Typecheck --check-invariants
┌─[WARNING]─ ┌─[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? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7: ├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7:
@ -44,7 +44,7 @@ $ catala Typecheck --check-invariants
$ catala test-scope Titi $ catala test-scope Titi
┌─[WARNING]─ ┌─[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? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7: ├─➤ tests/scope/good/scope_call2.catala_en:13.3-13.7:

32
tests/scope/good/sub_sub_scope.catala_en
View File

@ -36,8 +36,8 @@ scope C:
$ catala Typecheck --check-invariants $ catala Typecheck --check-invariants
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope C outputs. │ Unused variable: a does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4:
│ │ │ │
@ -46,8 +46,8 @@ $ catala Typecheck --check-invariants
└─ Article └─ Article
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: b does not contribute to computing any of scope C outputs. │ Unused variable: b does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4:
│ │ │ │
@ -66,8 +66,8 @@ $ catala Typecheck --check-invariants
$ catala test-scope A $ catala test-scope A
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope C outputs. │ Unused variable: a does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4:
│ │ │ │
@ -76,8 +76,8 @@ $ catala test-scope A
└─ Article └─ Article
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: b does not contribute to computing any of scope C outputs. │ Unused variable: b does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4:
│ │ │ │
@ -94,8 +94,8 @@ $ catala test-scope A
$ catala test-scope B $ catala test-scope B
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope C outputs. │ Unused variable: a does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4:
│ │ │ │
@ -104,8 +104,8 @@ $ catala test-scope B
└─ Article └─ Article
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: b does not contribute to computing any of scope C outputs. │ Unused variable: b does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4:
│ │ │ │
@ -121,8 +121,8 @@ $ catala test-scope B
$ catala test-scope C $ catala test-scope C
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: a does not contribute to computing any of scope C outputs. │ Unused variable: a does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:14.3-14.4:
│ │ │ │
@ -131,8 +131,8 @@ $ catala test-scope C
└─ Article └─ Article
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: b does not contribute to computing any of scope C outputs. │ Unused variable: b does not contribute to computing any of scope C
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4: ├─➤ tests/scope/good/sub_sub_scope.catala_en:15.3-15.4:
│ │ │ │

4
tests/typing/good/common.catala_en
View File

@ -41,8 +41,8 @@ $ catala Typecheck --check-invariants
└─ └─
┌─[WARNING]─ ┌─[WARNING]─
│ │
│ Unused varible: x does not contribute to computing any of scope S outputs. │ Unused variable: x does not contribute to computing any of scope S
│ Did you forget something? │ outputs. Did you forget something?
│ │
├─➤ tests/typing/good/common.catala_en:12.9-12.10: ├─➤ tests/typing/good/common.catala_en:12.9-12.10:
│ │ │ │