this is a bit too easy...

cos · cos · commit fe3b9f3f2abf · 2016-01-18T20:31:52.000-06:00
Former-commit-id: a2810ec4d6f86801541f46c4b3873ede9703226e [formerly 0e4335ca13ee67376b9ac5c4a51e23103189dfd9]
Former-commit-id: 71fc79b2bffaa720e594a28a724930d293d8c666
diff --git a/java-backend/src/main/java/org/kframework/backend/java/kil/RuleAutomatonDisjunction.java b/java-backend/src/main/java/org/kframework/backend/java/kil/RuleAutomatonDisjunction.java
@@ -137,7 +137,7 @@ public boolean isExactSort() {
 
     @Override
     public boolean isSymbolic() {
-        throw new UnsupportedOperationException();
+        return true;
     }
 
     @Override
diff --git a/k-distribution/tutorial/2_languages/1_simple/2_typed/1_static/simple-typed-static.k b/k-distribution/tutorial/2_languages/1_simple/2_typed/1_static/simple-typed-static.k
@@ -595,18 +595,17 @@ list of variable declarations. */
 //  syntax LValue ::= Id | Exp "[" Exps "]"
 // but unfortunately that currently generates some ambiguous parsings.
   syntax LValue ::= Id
-////  rule isLValue(_:Exp[_:Exps]) => true
+  rule isLValue(_:Exp[_:Exps]) => true
 
   syntax Exp ::= ltype(Exp)
 // We would like to say:
 //  context ltype(HOLE:LValue)
 // but we currently cannot type the HOLE
 //  context ltype(HOLE) requires isLValue(HOLE)
 
-  context ltype(HOLE:LValue)
+  context ltype(HOLE) requires isLValue(HOLE)
   syntax Exp ::= LValue
 
-
 //@ The function \texttt{getTypes} is the same as in SIMPLE typed dynamic.
 
   syntax Types ::= getTypes(Params)  [function]

Original file line number	Diff line number	Diff line change
`@@ -137,7 +137,7 @@ public boolean isExactSort() {`
`137`	`137`
`138`	`138`	`@Override`
`139`	`139`	`public boolean isSymbolic() {`
`140`		`- throw new UnsupportedOperationException();`
	`140`	`+ return true;`
`141`	`141`	`}`
`142`	`142`
`143`	`143`	`@Override`