swap english -> polish

examples/polish_taxes/Makefile

@@ -1,4 +1,4 @@
-CATALA_LANG=en
-SRC=polish_tax_code.catala_en
+CATALA_LANG=pl
+SRC=polish_tax_code.catala_pl
 
 include ../Makefile.common.mk

examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl

@@ -7,19 +7,19 @@
 
 > Begin metadata
 ```catala
-declaration scope UmowaSprzedazy:
-  context kwota content money
-  context stawka content decimal
-  context podatek content money
-  context inne_prawa_majatkowe condition
+deklaracja zakres UmowaSprzedazy:
+  kontekst kwota zawartosc pieniadze
+  kontekst stawka zawartosc dziesietna
+  kontekst podatek zawartosc pieniadze
+  kontekst inne_prawa_majatkowe condition
 
-scope UmowaSprzedazy:
-  definition podatek equals
+zakres UmowaSprzedazy:
+  definicja podatek wynosi
     kwota *$ stawka
 
-scope UmowaSprzedazy:
-  label a7_u1_p1_ppa
-  definition stawka equals 2%
+zakres UmowaSprzedazy:
+  etykieta a7_u1_p1_ppa
+  definicja stawka wynosi 2%
 ```
 > End metadata
 
@@ -27,11 +27,11 @@ scope UmowaSprzedazy:
 #### b) innych praw majątkowych – 1%;
 > Begin metadata
 ```catala
-scope UmowaSprzedazy:
-  exception a7_u1_p1_ppa
-  definition stawka under condition
+zakres UmowaSprzedazy:
+  wyjatek a7_u1_p1_ppa
+  definicja stawka pod warunkiem
     inne_prawa_majatkowe
-  consequence equals 1%
+  konsekwencja wynosi 1%
 ```
 > End metadata
 
@@ -42,19 +42,19 @@ mieszkalnego, spółdzielczego prawa do lokalu użytkowego oraz wynikających z
 > Begin metadata
 
 ```catala
-declaration scope UmowaZamianyLubDarowizny:
-  context kwota content money
-  context stawka content decimal
-  context podatek content money
-  context inne_prawa_majatkowe condition
+deklaracja zakres UmowaZamianyLubDarowizny:
+  kontekst kwota zawartosc pieniadze
+  kontekst stawka zawartosc dziesietna
+  kontekst podatek zawartosc pieniadze
+  kontekst inne_prawa_majatkowe condition
 
-scope UmowaZamianyLubDarowizny:
-  definition podatek equals
+zakres UmowaZamianyLubDarowizny:
+  definicja podatek wynosi
     kwota *$ stawka
 
-scope UmowaZamianyLubDarowizny:
-  label a7_u1_p2_ppa
-  definition stawka equals 2%
+zakres UmowaZamianyLubDarowizny:
+  etykieta a7_u1_p2_ppa
+  definicja stawka wynosi 2%
 ```
 > End metadata
 
@@ -62,11 +62,11 @@ scope UmowaZamianyLubDarowizny:
 
 >Begin metadata
 ```catala
-scope UmowaZamianyLubDarowizny:
-  exception a7_u1_p2_ppa
-  definition stawka under condition
+zakres UmowaZamianyLubDarowizny:
+  wyjatek a7_u1_p2_ppa
+  definicja stawka pod warunkiem
     inne_prawa_majatkowe
-  consequence equals 1%
+  konsekwencja wynosi 1%
 ```
 >End metadata
 
@@ -74,17 +74,17 @@ scope UmowaZamianyLubDarowizny:
 
 > Begin metadata
 ```catala
-declaration scope OdplatneUzytkowanie:
-  context kwota content money
-  context stawka content decimal
-  context podatek content money
+deklaracja zakres OdplatneUzytkowanie:
+  kontekst kwota zawartosc pieniadze
+  kontekst stawka zawartosc dziesietna
+  kontekst podatek zawartosc pieniadze
 
-scope OdplatneUzytkowanie:
-  definition podatek equals
+zakres OdplatneUzytkowanie:
+  definicja podatek wynosi
     kwota *$ stawka
 
-scope OdplatneUzytkowanie:
-  definition stawka equals 1%
+zakres OdplatneUzytkowanie:
+  definicja stawka wynosi 1%
 ```
 > End metadata
 
@@ -92,16 +92,16 @@ scope OdplatneUzytkowanie:
 
 > Begin metadata
 ```catala
-declaration scope PozyczkaLubDepozytNieprawidlowy:
-  context kwota content money
-  context stawka content decimal
-  context podatek content money
+deklaracja zakres PozyczkaLubDepozytNieprawidlowy:
+  kontekst kwota zawartosc pieniadze
+  kontekst stawka zawartosc dziesietna
+  kontekst podatek zawartosc pieniadze
 
-scope PozyczkaLubDepozytNieprawidlowy:
-  definition podatek equals
+zakres PozyczkaLubDepozytNieprawidlowy:
+  definicja podatek wynosi
     kwota *$ stawka # TODO: extract somehow?
 
-scope PozyczkaLubDepozytNieprawidlowy:
-  definition stawka equals 0.5%
+zakres PozyczkaLubDepozytNieprawidlowy:
+  definicja stawka wynosi 0.5%
 ```
 > End metadata

examples/polish_taxes/polish_taxes.catala_en

@@ -1,4 +0,0 @@
-# Master file
-
-> Include: podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_en
-

examples/polish_taxes/tests/test_a7_u1_p1.catala_en

@@ -1,23 +0,0 @@
-> Include: ../podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_en
-
-## [Test - Art. 7 ustęp 1 punkt 1]
-
-```catala
-declaration scope Test_A7_U1_P1_PPa:
-  context sprzedaz scope UmowaSprzedazy
-
-scope Test_A7_U1_P1_PPa:
-  definition sprzedaz.kwota equals $100
-
-  assertion sprzedaz.podatek = $2
-
-
-declaration scope Test_A7_U1_P1_PPb:
-  context sprzedaz scope UmowaSprzedazy
-
-scope Test_A7_U1_P1_PPb:
-  definition sprzedaz.kwota equals $100
-  definition sprzedaz.inne_prawa_majatkowe equals true
-
-  assertion sprzedaz.podatek = $1
-```

examples/polish_taxes/tests/test_a7_u1_p2.catala_pl

@@ -3,8 +3,8 @@
 ## [Test - Art. 7 ustęp 1 punkt 2]
 
 ```catala
-declaration scope Test_A7_U1_P2_PPa:
-  context sprzedaz scope UmowaZamianyLubDarowizny
+deklaracja scope Test_A7_U1_P2_PPa:
+  kontekst sprzedaz scope UmowaZamianyLubDarowizny
 
 scope Test_A7_U1_P2_PPa:
   definition sprzedaz.kwota equals $100
@@ -12,8 +12,8 @@ scope Test_A7_U1_P2_PPa:
   assertion sprzedaz.podatek = $2
 
 
-declaration scope Test_A7_U1_P2_PPb:
-  context sprzedaz scope UmowaZamianyLubDarowizny
+deklaracja scope Test_A7_U1_P2_PPb:
+  kontekst sprzedaz scope UmowaZamianyLubDarowizny
 
 scope Test_A7_U1_P2_PPb:
   definition sprzedaz.kwota equals $100

examples/polish_taxes/tests/test_a7_u1_p3.catala_pl

@@ -3,8 +3,8 @@
 ## [Test - Art. 7 ustęp 1 punkt 3]
 
 ```catala
-declaration scope Test_A7_U1_P3:
-  context sprzedaz scope OdplatneUzytkowanie
+deklaracja scope Test_A7_U1_P3:
+  kontekst sprzedaz scope OdplatneUzytkowanie
 
 scope Test_A7_U1_P3:
   definition sprzedaz.kwota equals $100

examples/polish_taxes/tests/test_a7_u1_p4.catala_pl

@@ -3,8 +3,8 @@
 ## [Test - Art. 7 ustęp 1 punkt 4]
 
 ```catala
-declaration scope Test_A7_U1_P4:
-  context sprzedaz scope PozyczkaLubDepozytNieprawidlowy
+deklaracja scope Test_A7_U1_P4:
+  kontekst sprzedaz scope PozyczkaLubDepozytNieprawidlowy
 
 scope Test_A7_U1_P4:
   definition sprzedaz.kwota equals $200

examples/polish_taxes_pl/.gitignore

@@ -1,14 +0,0 @@
-*.aux
-*.dvi
-*.fdb_latexmk
-*.fls
-*.log
-*.out
-*.fls
-*.tex
-*.pdf
-_minted*
-*.toc
-*.pyg
-*.d
-*.ml

examples/polish_taxes_pl/Makefile

@@ -1,4 +0,0 @@
-CATALA_LANG=pl
-SRC=polish_tax_code.catala_pl
-
-include ../Makefile.common.mk

examples/polish_taxes_pl/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl

@@ -1,24 +0,0 @@
-## Rozdzial 3
-
-## Art. 7. 1. Stawki podatku wynoszą:
-
-### 1) od umowy sprzedaży:
-#### a) nieruchomości, rzeczy ruchomych, prawa użytkowania wieczystego, własnościowego spółdzielczego prawa do lokalu mieszkalnego, spółdzielczego prawa do lokalu użytkowego oraz wynikających z przepisów prawa spółdzielczego: prawa do domu jednorodzinnego oraz prawa do lokalu w małym domu mieszkalnym – 2%,
-
-> Begin metadata
-```catala
-deklaracja zakres UmowaSprzedazy:
-  kontekst kwota zawartosc pieniadze
-  kontekst stawka zawartosc dziesietna
-  kontekst podatek zawartosc pieniadze
-
-zakres UmowaSprzedazy:
-  definicja podatek wynosi
-    kwota *$ stawka
-
-zakres UmowaSprzedazy:
-  etykieta a7_u1_p1_ppa
-  definicja stawka wynosi 2%
-```
-> End metadata
-

src/catala/literate/html.ml

@@ -73,7 +73,10 @@ let wrap_html (source_files : string list) (language : Cli.backend_lang) (fmt :
     | `Fr -> "Implémentation de texte législatif"
     | `En -> "Legislative text implementation"
     | `Pl -> "Implementowanie tekstów legislacyjnych")
-    (match language with `Fr -> "Document généré par" | `En -> "Document generated by" | `Pl -> "Dokument wygenerowany przez")
+    (match language with
+    | `Fr -> "Document généré par"
+    | `En -> "Document generated by"
+    | `Pl -> "Dokument wygenerowany przez")
     Utils.Cli.version
     (match language with
     | `Fr -> "Fichiers sources tissés dans ce document"
@@ -107,7 +110,9 @@ let pygmentize_code (c : string Pos.marked) (language : C.backend_lang) : string
   Printf.fprintf oc "%s" (Pos.unmark c);
   close_out oc;
   let pygments = "pygmentize" in
-  let pygments_lexer = match language with `Fr -> "catala_fr" | `En -> "catala_en" | `Pl -> "catala_pl" in
+  let pygments_lexer =
+    match language with `Fr -> "catala_fr" | `En -> "catala_en" | `Pl -> "catala_pl"
+  in
   let pygments_args =
     [|
       "-l";

src/catala/literate/latex.ml

@@ -85,7 +85,10 @@ let wrap_latex (source_files : string list) (language : C.backend_lang) (fmt : F
     | `Fr -> "Implémentation de texte législatif"
     | `En -> "Legislative text implementation"
     | `Pl -> "Implementacja tekstów legislacyjnych")
-    (match language with `Fr -> "Document généré par" | `En -> "Document generated by" | `Pl -> "Dokument wygenerowany przez")
+    (match language with
+    | `Fr -> "Document généré par"
+    | `En -> "Document generated by"
+    | `Pl -> "Dokument wygenerowany przez")
     Utils.Cli.version
     (match language with
     | `Fr -> "Fichiers sources tissés dans ce document"
@@ -174,7 +177,9 @@ let rec law_structure_to_latex (language : C.backend_lang) (fmt : Format.formatt
         (law_article_item_to_latex language)
         fmt children
   | A.MetadataBlock (_, c) ->
-      let metadata_title = match language with `Fr -> "Métadonnées" | `En -> "Metadata" | `Pl -> "Metadane" in
+      let metadata_title =
+        match language with `Fr -> "Métadonnées" | `En -> "Metadata" | `Pl -> "Metadane"
+      in
       Format.fprintf fmt
         "\\begin{tcolorbox}[colframe=OliveGreen, breakable, \
          title=\\textcolor{black}{\\texttt{%s}},title after \

src/catala/utils/cli.ml

@@ -12,7 +12,7 @@
    or implied. See the License for the specific language governing permissions and limitations under
    the License. *)
 
-type frontend_lang = [ `Fr | `En | `NonVerbose | `Pl]
+type frontend_lang = [ `Fr | `En | `NonVerbose | `Pl ]
 
 type backend_lang = [ `Fr | `En | `Pl ]