From 7fb99f0225911a8962aaf3493b89f41e791df359 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 19 Sep 2022 21:33:55 +0200 Subject: feat(language): problem desugaring --- subprojects/language-model/problem.aird | 67 +++++++++++++++++++++++---------- 1 file changed, 48 insertions(+), 19 deletions(-) (limited to 'subprojects/language-model/problem.aird') diff --git a/subprojects/language-model/problem.aird b/subprojects/language-model/problem.aird index 60d52cc4..a02adf78 100644 --- a/subprojects/language-model/problem.aird +++ b/subprojects/language-model/problem.aird @@ -7,7 +7,7 @@ build/resources/main/model/problem.genmodel - + @@ -788,7 +788,7 @@ - + @@ -1060,17 +1060,17 @@ - + - + - + @@ -1283,17 +1283,17 @@ - + - + - + - + @@ -1528,11 +1528,11 @@ - + - + @@ -1676,8 +1676,8 @@ - - + + @@ -1842,17 +1842,17 @@ - + - + - + - + @@ -1904,6 +1904,22 @@ + + + + + + + + + + + + + + + + @@ -2431,7 +2447,7 @@ - + KEEP_LOCATION @@ -3140,7 +3156,7 @@ - + KEEP_LOCATION @@ -3825,6 +3841,19 @@ + + + + + + labelSize + + + labelSize + + + + -- cgit v1.2.3-70-g09d2