From 01960723de5ca42e28dc8f162d4fe9e24c23c0b8 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 20 Feb 2024 01:27:51 +0100 Subject: feat(language): datatype declarations Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. --- subprojects/language-model/problem.aird | 527 +++++++++++++------------------- 1 file changed, 209 insertions(+), 318 deletions(-) (limited to 'subprojects/language-model/problem.aird') diff --git a/subprojects/language-model/problem.aird b/subprojects/language-model/problem.aird index cbe413cd..37516af1 100644 --- a/subprojects/language-model/problem.aird +++ b/subprojects/language-model/problem.aird @@ -7,7 +7,7 @@ build/resources/main/model/problem.genmodel - + @@ -69,7 +69,7 @@ - + @@ -95,7 +95,7 @@ - + @@ -104,7 +104,7 @@ - + @@ -113,7 +113,7 @@ - + @@ -241,7 +241,7 @@ - + @@ -250,7 +250,7 @@ - + @@ -259,7 +259,7 @@ - + @@ -268,24 +268,24 @@ - + - + - + - + - + - + @@ -293,7 +293,7 @@ - + @@ -310,6 +310,10 @@ + + + + @@ -319,15 +323,11 @@ - - - - - + @@ -336,7 +336,7 @@ - + @@ -345,7 +345,7 @@ - + @@ -354,7 +354,7 @@ - + @@ -363,7 +363,7 @@ - + @@ -372,7 +372,7 @@ - + @@ -381,7 +381,7 @@ - + @@ -392,58 +392,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -495,6 +443,15 @@ + + + + + + + + + @@ -604,7 +561,7 @@ - + @@ -1218,17 +1175,17 @@ - + - + - + - + @@ -1250,17 +1207,17 @@ - + - + - + - + @@ -1279,98 +1236,19 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - + - + @@ -1406,6 +1284,86 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1467,7 +1425,7 @@ - + KEEP_LOCATION @@ -1477,7 +1435,7 @@ - + @@ -1486,7 +1444,7 @@ - + @@ -1635,7 +1593,7 @@ - + KEEP_LOCATION @@ -2120,9 +2078,10 @@ - + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -2130,7 +2089,7 @@ - + @@ -2138,7 +2097,7 @@ - + @@ -2146,7 +2105,7 @@ - + @@ -2154,7 +2113,7 @@ - + @@ -2173,59 +2132,59 @@ - + + + + + + + + + - + - + - + - + - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - - - - - - - + - + italic - + @@ -2404,7 +2363,7 @@ - + KEEP_LOCATION @@ -2428,9 +2387,9 @@ - - - + + + @@ -2467,12 +2426,12 @@ - + - + italic - + @@ -2553,119 +2512,6 @@ - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - italic - - - - - - - - - - - italic - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2782,6 +2628,51 @@ + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + + + + -- cgit v1.2.3-70-g09d2