Preparing for migration to the latest K.

denis-bogdanas · denis-bogdanas · commit 6f9f529011df · 2014-09-03T11:34:18.000+03:00
diff --git a/src/exec/var-lookup.k b/src/exec/var-lookup.k
@@ -174,7 +174,7 @@ rule [lvalue-typedLoc]:
   May be wrapped inside lvalue. If lookup is unwrapped, it evaluates to TypedVal - the store value,
   of the type T - the second lookup argument. If lookup is wrapped into lvalue, it evaluates to loc(OL)::T.
 */
-syntax Lookup ::= lookup (
+syntax Exp ::= lookup (
                     Int,  //OL - the store location to lookup
                     Type  // T - the compile-time type of the resulting value
                   )

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@ rule [lvalue-typedLoc]:`
`174`	`174`	`May be wrapped inside lvalue. If lookup is unwrapped, it evaluates to TypedVal - the store value,`
`175`	`175`	`of the type T - the second lookup argument. If lookup is wrapped into lvalue, it evaluates to loc(OL)::T.`
`176`	`176`	`*/`
`177`		`-syntax Lookup ::= lookup (`
	`177`	`+syntax Exp ::= lookup (`
`178`	`178`	`Int, //OL - the store location to lookup`
`179`	`179`	`Type // T - the compile-time type of the resulting value`
`180`	`180`	`)`