diff --git a/examples/NSW_community_gaming/nsw_art_union.catala_en b/examples/NSW_community_gaming/nsw_art_union.catala_en index e570ac47..e25a9b65 100644 --- a/examples/NSW_community_gaming/nsw_art_union.catala_en +++ b/examples/NSW_community_gaming/nsw_art_union.catala_en @@ -19,13 +19,13 @@ declaration structure ArtUnion: data holdsAuthority content boolean declaration scope GamingAuthorized: - context artUnion content ArtUnion - context authorized condition - context minimumProceeds content boolean - context benefitingOrg content boolean - context valueOfPrizes content boolean - context separatePrizeMaxValue content boolean - context authority content boolean + input artUnion content ArtUnion + internal minimumProceeds content boolean + internal benefitingOrg content boolean + internal valueOfPrizes content boolean + internal separatePrizeMaxValue content boolean + internal authority content boolean + output authorized condition ``` Art union gaming activities diff --git a/examples/NSW_community_gaming/nsw_charity_housie.catala_en b/examples/NSW_community_gaming/nsw_charity_housie.catala_en index ed518d74..2aa4309a 100644 --- a/examples/NSW_community_gaming/nsw_charity_housie.catala_en +++ b/examples/NSW_community_gaming/nsw_charity_housie.catala_en @@ -14,14 +14,14 @@ declaration structure CharityHousie : data proceedsToBenefitingOrganisation content money declaration scope GamingAuthorized: - context charityHousie content CharityHousie - context authorized condition + input charityHousie content CharityHousie + output authorized condition #context benefitingOrg content Charitable - context benefitingOrg content boolean - context minimumProceeds content boolean - context expenses content boolean - context prizesTotal content boolean - context maxTickets content boolean + internal benefitingOrg content boolean + internal minimumProceeds content boolean + internal expenses content boolean + internal prizesTotal content boolean + internal maxTickets content boolean ``` (a) the gaming activity is conducted by or on behalf of a charitable organisation, diff --git a/examples/NSW_community_gaming/nsw_club_bingo.catala_en b/examples/NSW_community_gaming/nsw_club_bingo.catala_en index ff109b02..8a8c43e0 100644 --- a/examples/NSW_community_gaming/nsw_club_bingo.catala_en +++ b/examples/NSW_community_gaming/nsw_club_bingo.catala_en @@ -9,12 +9,12 @@ declaration structure ClubBingo: data prizeContent content boolean declaration scope GamingAuthorized: - context clubBingo content ClubBingo - context authorized condition - context conductor content boolean - context prizeValueIsSmall content boolean - context bonusPrize content boolean - context contentPrize content boolean + input clubBingo content ClubBingo + output authorized condition + internal conductor content boolean + internal prizeValueIsSmall content boolean + internal bonusPrize content boolean + internal contentPrize content boolean ``` (4) Club bingo Club bingo is a permitted gaming activity for the purposes of section 10 of the Act if the following requirements are complied with— diff --git a/examples/NSW_community_gaming/nsw_draw_lottery.catala_en b/examples/NSW_community_gaming/nsw_draw_lottery.catala_en index 259dfd30..aa993d84 100644 --- a/examples/NSW_community_gaming/nsw_draw_lottery.catala_en +++ b/examples/NSW_community_gaming/nsw_draw_lottery.catala_en @@ -15,11 +15,11 @@ declaration structure DrawLottery: data proceedsToBenefitingOrg content money declaration scope GamingAuthorized: - context drawLottery content DrawLottery - context authorized condition - context benefitingOrg content boolean - context minimumProceeds content boolean - context maxValueOfPrizes content boolean + input drawLottery content DrawLottery + output authorized condition + internal benefitingOrg content boolean + internal minimumProceeds content boolean + internal maxValueOfPrizes content boolean ``` diff --git a/examples/NSW_community_gaming/nsw_no_draw_lottery.catala_en b/examples/NSW_community_gaming/nsw_no_draw_lottery.catala_en index 76c903e1..85c06c67 100644 --- a/examples/NSW_community_gaming/nsw_no_draw_lottery.catala_en +++ b/examples/NSW_community_gaming/nsw_no_draw_lottery.catala_en @@ -16,12 +16,12 @@ declaration structure NoDrawLottery: data maxTickets content integer declaration scope GamingAuthorized: - context noDrawLottery content NoDrawLottery - context authorized condition - context benefitingOrg content boolean - context minimumProceeds content boolean - context maxValueOfPrizes content boolean - context maxTicketsProduced content boolean + input noDrawLottery content NoDrawLottery + output authorized condition + internal benefitingOrg content boolean + internal minimumProceeds content boolean + internal maxValueOfPrizes content boolean + internal maxTicketsProduced content boolean ``` A no-draw lottery is a permitted gaming activity for the purposes of section 10 of the diff --git a/examples/NSW_community_gaming/nsw_progressive_lottery.catala_en b/examples/NSW_community_gaming/nsw_progressive_lottery.catala_en index 2319f8c8..1be206f5 100644 --- a/examples/NSW_community_gaming/nsw_progressive_lottery.catala_en +++ b/examples/NSW_community_gaming/nsw_progressive_lottery.catala_en @@ -9,12 +9,12 @@ declaration structure ProgressiveLottery: data holdsAuthority content boolean declaration scope GamingAuthorized: - context progressiveLottery content ProgressiveLottery - context authorized condition - context maxCashPrize content boolean + input progressiveLottery content ProgressiveLottery + output authorized condition + internal maxCashPrize content boolean #context maxValueOfPrizes content boolean #context authority content boolean - context amountOfPrizesGreaterThan30000 content boolean + internal amountOfPrizesGreaterThan30000 content boolean ``` A progressive lottery is a permitted gaming activity for the purposes of section 10 of diff --git a/examples/NSW_community_gaming/nsw_social_housie.catala_en b/examples/NSW_community_gaming/nsw_social_housie.catala_en index 3baf3d2a..1fe7cc83 100644 --- a/examples/NSW_community_gaming/nsw_social_housie.catala_en +++ b/examples/NSW_community_gaming/nsw_social_housie.catala_en @@ -17,13 +17,13 @@ declaration structure SocialHousie: data investmentReturn content boolean declaration scope GamingAuthorized: - context socialHousie content SocialHousie - context authorized condition - context purpose content boolean - context licence content boolean - context prizePrice content boolean - context maxJackpotValue content boolean - context returnInvestment content boolean + input socialHousie content SocialHousie + output authorized condition + internal purpose content boolean + internal licence content boolean + internal prizePrice content boolean + internal maxJackpotValue content boolean + internal returnInvestment content boolean ``` ### 5 Housie or bingo @@ -70,4 +70,4 @@ scope GamingAuthorized : rule authorized under condition purpose and licence and prizePrice and maxJackpotValue and returnInvestment consequence fulfilled -``` \ No newline at end of file +``` diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test1.Interpret index a662d814..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test2.Interpret index a662d814..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test3.Interpret index a662d814..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test4.Interpret index a662d814..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test4.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_art_union.catala_en.Test4.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test1.Interpret index 580cf714..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test2.Interpret index 580cf714..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test3.Interpret index 580cf714..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test4.Interpret index 580cf714..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test4.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_charity_housie.catala_en.Test4.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en - | -12 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test1.Interpret index 37e02d0e..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test2.Interpret index 37e02d0e..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test3.Interpret index 37e02d0e..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test4.Interpret new file mode 100644 index 00000000..330d187f --- /dev/null +++ b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test4.Interpret @@ -0,0 +1 @@ +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test5.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test5.Interpret index 37e02d0e..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test5.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test5.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test6.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test6.Interpret deleted file mode 100644 index 37e02d0e..00000000 --- a/examples/NSW_community_gaming/tests/output/test_nsw_club_bingo.catala_en.Test6.Interpret +++ /dev/null @@ -1,17 +0,0 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en - | -11 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test1.Interpret index eafbb266..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test2.Interpret index eafbb266..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test3.Interpret index eafbb266..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test4.Interpret index eafbb266..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test4.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_draw_lottery.catala_en.Test4.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test1.Interpret index 5aa07860..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test2.Interpret index 5aa07860..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test3.Interpret index 5aa07860..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test4.Interpret index 5aa07860..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test4.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_no_draw_lottery.catala_en.Test4.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test1.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test1.Interpret index 395cc73d..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test1.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test1.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test2.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test2.Interpret index 395cc73d..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test2.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test2.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test3.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test3.Interpret index 395cc73d..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test3.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test3.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test4.Interpret b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test4.Interpret index 395cc73d..330d187f 100644 --- a/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test4.Interpret +++ b/examples/NSW_community_gaming/tests/output/test_nsw_progressive_lottery.catala_en.Test4.Interpret @@ -1,17 +1 @@ -[ERROR] Syntax error at token "scope" -Message: unexpected token -Autosuggestion: did you mean "content", or maybe "condition"? - -Error token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^ - + - -Last good token: - --> examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en - | -10 | context my_gaming scope GamingAuthorized - | ^^^^^^^^^ - + +[RESULT] Computation successful! diff --git a/examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en b/examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en index 443b5e94..3aa7273d 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_art_union.catala_en @@ -7,7 +7,7 @@ ## Test1 ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -31,7 +31,7 @@ catala Interpret -s Test1 ## Test2 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -56,7 +56,7 @@ catala Interpret -s Test2 ## Test3 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -81,7 +81,7 @@ catala Interpret -s Test3 ## Test4 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition diff --git a/examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en b/examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en index 4f32c43b..a96690e3 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_charity_housie.catala_en @@ -9,7 +9,7 @@ ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -35,7 +35,7 @@ catala Interpret -s Test1 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -60,7 +60,7 @@ catala Interpret -s Test2 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -85,7 +85,7 @@ catala Interpret -s Test3 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition diff --git a/examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en b/examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en index 3b7f8b20..d89c0337 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_club_bingo.catala_en @@ -8,7 +8,7 @@ ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -33,7 +33,7 @@ catala Interpret -s Test1 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -58,7 +58,7 @@ catala Interpret -s Test2 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -82,7 +82,7 @@ catala Interpret -s Test3 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition @@ -99,15 +99,15 @@ scope Test4: ``` -```catala-test {id="Test5.Interpret"} -catala Interpret -s Test5 +```catala-test {id="Test4.Interpret"} +catala Interpret -s Test4 ``` ## Test5 ```catala declaration scope Test5: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test5: definition @@ -124,6 +124,6 @@ scope Test5: ``` -```catala-test {id="Test6.Interpret"} -catala Interpret -s Test6 +```catala-test {id="Test5.Interpret"} +catala Interpret -s Test5 ``` diff --git a/examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en b/examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en index 3cc2d942..20795800 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_draw_lottery.catala_en @@ -7,7 +7,7 @@ ## Test1 ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -30,7 +30,7 @@ catala Interpret -s Test1 ## Test2 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -52,7 +52,7 @@ catala Interpret -s Test2 ## Test3 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -74,7 +74,7 @@ catala Interpret -s Test3 ## Test4 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition diff --git a/examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en b/examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en index 4deead66..7c01711b 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_no_draw_lottery.catala_en @@ -7,7 +7,7 @@ ## Test1 ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -31,7 +31,7 @@ catala Interpret -s Test1 ## Test2 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -54,7 +54,7 @@ catala Interpret -s Test2 ## Test3 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -77,7 +77,7 @@ catala Interpret -s Test3 ## Test4 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition diff --git a/examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en b/examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en index ca19af20..c9b165d1 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_progressive_lottery.catala_en @@ -7,7 +7,7 @@ ## Test1 ```catala declaration scope Test1: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test1: definition @@ -29,7 +29,7 @@ catala Interpret -s Test1 ## Test2 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -51,7 +51,7 @@ catala Interpret -s Test2 ## Test3 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -72,7 +72,7 @@ catala Interpret -s Test3 ## Test4 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition diff --git a/examples/NSW_community_gaming/tests/test_nsw_social_housie.catala_en b/examples/NSW_community_gaming/tests/test_nsw_social_housie.catala_en index 7ab4e174..8791f269 100644 --- a/examples/NSW_community_gaming/tests/test_nsw_social_housie.catala_en +++ b/examples/NSW_community_gaming/tests/test_nsw_social_housie.catala_en @@ -35,7 +35,7 @@ catala Interpret -s Test1 ```catala declaration scope Test2: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test2: definition @@ -61,7 +61,7 @@ catala Interpret -s Test2 ```catala declaration scope Test3: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test3: definition @@ -88,7 +88,7 @@ catala Interpret -s Test3 ```catala declaration scope Test4: - context my_gaming scope GamingAuthorized + my_gaming scope GamingAuthorized scope Test4: definition