kool typed dynamic

daejunpark · daejunpark · commit 471cc2bf1429 · 2016-01-18T23:28:05.000-06:00
Former-commit-id: 8779c8aa2f49e1a27f3e19a5573404fe06743917 [formerly 95e6e480ac85cdf7bd8c775bb189e3ea1a7bc859]
Former-commit-id: f7197648a0b4976a55de9b77d355673633f3e68c
diff --git a/k-distribution/tutorial/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.k b/k-distribution/tutorial/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.k
@@ -46,7 +46,7 @@ untyped KOOL.  */
                 | Type "[" "]"
                 > Types "->" Type
                 | "(" Type ")"           [bracket]
-  syntax Types ::= List{Type,","}
+  syntax Types ::= List{Type,","}   [klabel(_,_::Types)]
 
 //@ \subsection{Declarations}
 
diff --git a/k-distribution/tutorial/2_languages/2_kool/2_typed/1_dynamic/tests/config.xml b/k-distribution/tutorial/2_languages/2_kool/2_typed/1_dynamic/tests/config.xml
@@ -6,8 +6,8 @@
         programs="../../programs/"
         extension="kool"
         exclude="cycle"
+        skip="pdf"
         results="." >
-        <kompile-option name="--backend" value="java" />
         <all-programs>
           <krun-option name="--output" value="none" />
           <krun-option name="--smt" value="none" />
@@ -19,8 +19,8 @@
         programs="../../programs/"
         extension="kool"
         exclude="cycle"
+        skip="pdf"
         results="." >
-        <kompile-option name="--backend" value="java" />
         <all-programs>
           <krun-option name="--output" value="none" />
         </all-programs>
