Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed May 20, 2024
2 parents cd3c756 + 9ea795c commit 3e26a6d
Show file tree
Hide file tree
Showing 265 changed files with 209,539 additions and 0 deletions.
1 change: 1 addition & 0 deletions test/input/add-rewrite/input.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortState{}, SortKItem{}}(Lblstate'LParUndsCommUndsRParUnds'ADD-REWRITE-SYNTAX'Unds'State'Unds'Nat'Unds'Nat{}(Lbls'LParUndsRParUnds'ADD-REWRITE-SYNTAX'Unds'Nat'Unds'Nat{}(Lbls'LParUndsRParUnds'ADD-REWRITE-SYNTAX'Unds'Nat'Unds'Nat{}(Lblz'LParRParUnds'ADD-REWRITE-SYNTAX'Unds'Nat{}())),Lblz'LParRParUnds'ADD-REWRITE-SYNTAX'Unds'Nat{}())))))
1 change: 1 addition & 0 deletions test/input/arith/add.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortExp{}, SortKItem{}}(Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("1")),Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("1")),inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("2"))))))))
1 change: 1 addition & 0 deletions test/input/arith/well.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortExp{}, SortKItem{}}(Lblwell'LParUndsCommUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp'Unds'Exp{}(Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("1")),Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("1")),inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("2")))),Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("5")),inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("10"))),Lbladd'LParUndsCommUndsRParUnds'ARITH-SYNTAX'Unds'Exp'Unds'Exp'Unds'Exp{}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("3")),inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("4"))))))))
1 change: 1 addition & 0 deletions test/input/assoc-function/left.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbla'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lblb'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}()),Lblc'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}()),Lbld'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}())))))
1 change: 1 addition & 0 deletions test/input/assoc-function/next-left.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'ASSOC-FUNCTION-SYNTAX'Unds'KItem'Unds'Foo{}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbl'UndsPlus'left'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbla'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lblb'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}()),Lblc'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}()),Lbld'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}())))))
1 change: 1 addition & 0 deletions test/input/assoc-function/next-right.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'ASSOC-FUNCTION-SYNTAX'Unds'KItem'Unds'Foo{}(Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbla'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lblb'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lblc'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbld'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}())))))))
1 change: 1 addition & 0 deletions test/input/assoc-function/right.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lbla'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lblb'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbl'UndsPlus'right'UndsUnds'ASSOC-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo'Unds'Foo{}(Lblc'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}(),Lbld'Unds'ASSOC-FUNCTION-SYNTAX'Unds'Foo{}())))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/abs.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortInt{}, SortKItem{}}(Lblabs'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Int'Unds'Int{}(\dv{SortInt{}}("-5"))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/double.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortInt{}, SortKItem{}}(Lbldouble'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Int'Unds'Int{}(\dv{SortInt{}}("5"))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/head-bytes.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortBytes{}, SortKItem{}}(Lblhead'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Bytes'Unds'Bytes{}(\dv{SortBytes{}}("bytes"))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/head-string.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortString{}, SortKItem{}}(Lblhead'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'String'Unds'String{}(\dv{SortString{}}("string"))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/ispos.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortBool{}, SortKItem{}}(LblisPos'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Bool'Unds'Int{}(\dv{SortInt{}}("0"))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/next-abs.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'KItem'Unds'KItem{}(inj{SortInt{}, SortKItem{}}(Lblabs'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Int'Unds'Int{}(\dv{SortInt{}}("-5")))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/next-double.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'KItem'Unds'KItem{}(inj{SortInt{}, SortKItem{}}(Lbldouble'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Int'Unds'Int{}(\dv{SortInt{}}("5")))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/next-head-bytes.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'KItem'Unds'KItem{}(inj{SortBytes{}, SortKItem{}}(Lblhead'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Bytes'Unds'Bytes{}(\dv{SortBytes{}}("bytes")))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/next-head-string.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'KItem'Unds'KItem{}(inj{SortString{}, SortKItem{}}(Lblhead'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'String'Unds'String{}(\dv{SortString{}}("string")))))))
1 change: 1 addition & 0 deletions test/input/builtin-functions/next-ispos.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'KItem'Unds'KItem{}(inj{SortBool{}, SortKItem{}}(LblisPos'LParUndsRParUnds'BUILTIN-FUNCTIONS-SYNTAX'Unds'Bool'Unds'Int{}(\dv{SortInt{}}("0")))))))
1 change: 1 addition & 0 deletions test/input/builtin-hook-events/program.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lblfoo'LParUndsRParUnds'BUILTIN-HOOK-EVENTS-SYNTAX'Unds'Foo'Unds'Bool{}(\dv{SortBool{}}("true"))))))
1 change: 1 addition & 0 deletions test/input/builtin-int/input.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lblsucc'LParUndsRParUnds'BUILTIN-INT-SYNTAX'Unds'Foo'Unds'Foo{}(Lblfoo'LParUndsRParUnds'BUILTIN-INT-SYNTAX'Unds'Foo'Unds'Int{}(\dv{SortInt{}}("5")))))))
1 change: 1 addition & 0 deletions test/input/builtin-io/read.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortString{}, SortKItem{}}(\dv{SortString{}}("input_file")))))
1 change: 1 addition & 0 deletions test/input/builtin-json/id.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortJSON{}, SortKItem{}}(Lblid'LParUndsRParUnds'BUILTIN-JSON-SYNTAX'Unds'JSON'Unds'JSON{}(LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("key")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("2"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))))
1 change: 1 addition & 0 deletions test/input/builtin-json/next-id.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'next'LParUndsRParUnds'BUILTIN-JSON-SYNTAX'Unds'KItem'Unds'JSON{}(Lblid'LParUndsRParUnds'BUILTIN-JSON-SYNTAX'Unds'JSON'Unds'JSON{}(LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("key")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("2"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))))
1 change: 1 addition & 0 deletions test/input/cast/in.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortExp{}, SortKItem{}}(inj{SortInt{}, SortExp{}}(\dv{SortInt{}}("42"))))))
1 change: 1 addition & 0 deletions test/input/cell-collection/exec.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'exec'Unds'CELL-COLLECTION-SYNTAX'Unds'KItem{}())))
1 change: 1 addition & 0 deletions test/input/cell-value/init.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'init'Unds'CELL-VALUE-SYNTAX'Unds'KItem{}())))
1 change: 1 addition & 0 deletions test/input/concurrent-counters/4.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortState{}, SortKItem{}}(Lblstate'LParUndsCommUndsRParUnds'CONCURRENT-COUNTERS-SYNTAX'Unds'State'Unds'Int'Unds'Int{}(\dv{SortInt{}}("4"),\dv{SortInt{}}("0"))))))
1 change: 1 addition & 0 deletions test/input/conditional-function/3.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lblbar'LParUndsRParUnds'CONDITIONAL-FUNCTION-SYNTAX'Unds'Foo'Unds'Foo{}(Lblfoo'LParUndsRParUnds'CONDITIONAL-FUNCTION-SYNTAX'Unds'Foo'Unds'Int{}(\dv{SortInt{}}("3")))))))
1 change: 1 addition & 0 deletions test/input/custom-klabel-fun/input.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lblbar1'LParUndsRParUnds'CUSTOM-KLABEL-FUN-SYNTAX'Unds'Foo'Unds'Foo{}(Lbla'Unds'CUSTOM-KLABEL-FUN-SYNTAX'Unds'Foo{}())))))
1 change: 1 addition & 0 deletions test/input/decrement-int/2_rewrites.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")))))
1 change: 1 addition & 0 deletions test/input/decrement/0_rewrites.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortNat{}, SortKItem{}}(Lbl0'Unds'DECREMENT-SYNTAX'Unds'Nat{}()))))
1 change: 1 addition & 0 deletions test/input/decrement/1_rewrite.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortNat{}, SortKItem{}}(Lbls'LParUndsRParUnds'DECREMENT-SYNTAX'Unds'Nat'Unds'Nat{}(Lbl0'Unds'DECREMENT-SYNTAX'Unds'Nat{}())))))
1 change: 1 addition & 0 deletions test/input/decrement/2_rewrites.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortNat{}, SortKItem{}}(Lbls'LParUndsRParUnds'DECREMENT-SYNTAX'Unds'Nat'Unds'Nat{}(Lbls'LParUndsRParUnds'DECREMENT-SYNTAX'Unds'Nat'Unds'Nat{}(Lbl0'Unds'DECREMENT-SYNTAX'Unds'Nat{}()))))))
1 change: 1 addition & 0 deletions test/input/double-rewrite/foo-a.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(LblFooA'LParRParUnds'DOUBLE-REWRITE-SYNTAX'Unds'Foo{}()))))
1 change: 1 addition & 0 deletions test/input/dv/five.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortFoo{}, SortKItem{}}(Lblsucc'LParUndsRParUnds'DV'Unds'Foo'Unds'Foo{}(Lblfoo'LParUndsRParUnds'DV'Unds'Foo'Unds'Int{}(\dv{SortInt{}}("5")))))))
1 change: 1 addition & 0 deletions test/input/exit-cell/exec0.output-cell.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'exec'LParUndsRParUnds'EXIT-CELL-SYNTAX'Unds'KItem'Unds'Int{}(\dv{SortInt{}}("0")))))
1 change: 1 addition & 0 deletions test/input/fresh-gen/init.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'init'Unds'FRESH-GEN-SYNTAX'Unds'KItem{}())))
1 change: 1 addition & 0 deletions test/input/fun-context/exec.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lbl'Hash'exec'Unds'FUN-CONTEXT-SYNTAX'Unds'KItem{}())))
1 change: 1 addition & 0 deletions test/input/imp/empty.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortPgm{}, SortKItem{}}(Lblint'UndsSClnUndsUnds'IMP-SYNTAX'Unds'Pgm'Unds'Ids'Unds'Stmt{}(Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids{}(\dv{SortId{}}("a"),Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}()),inj{SortBlock{}, SortStmt{}}(Lbl'LBraRBraUnds'IMP-SYNTAX'Unds'Block{}()))))))
1 change: 1 addition & 0 deletions test/input/imp5-rw-literal/empty.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortPgm{}, SortKItem{}}(inj{SortBlock{}, SortPgm{}}(Lbl'LBraRBraUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Block{}())))))
1 change: 1 addition & 0 deletions test/input/imp5-rw-literal/transfer.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortPgm{}, SortKItem{}}(inj{SortStmtList{}, SortPgm{}}(Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx1'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl12345'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())),Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx2'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl10'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())),Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx3'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl100'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())),Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx4'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl200'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())),inj{SortStmt{}, SortStmtList{}}(Lblif'LParUndsRParUnds'else'UndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'BExp'Unds'Block'Unds'Block{}(Lbl'Unds-GT-UndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'BExp'Unds'AExp'Unds'AExp{}(inj{SortId2{}, SortAExp{}}(Lblx2'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}()),inj{SortId2{}, SortAExp{}}(Lblx3'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}())),Lbl'LBraUndsRBraUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Block'Unds'StmtList{}(inj{SortStmt{}, SortStmtList{}}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblret'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl0'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())))),Lbl'LBraUndsRBraUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Block'Unds'StmtList{}(Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx3'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),Lbl'Unds'-'UndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'AExp'Unds'AExp'Unds'AExp{}(inj{SortId2{}, SortAExp{}}(Lblx3'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}()),inj{SortId2{}, SortAExp{}}(Lblx2'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}()))),Lbl'UndsUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'StmtList'Unds'Stmt'Unds'StmtList{}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblx4'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),Lbl'UndsPlusUndsUnds'IMP5-RW-LITERAL-SYNTAX'Unds'AExp'Unds'AExp'Unds'AExp{}(inj{SortId2{}, SortAExp{}}(Lblx4'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}()),inj{SortId2{}, SortAExp{}}(Lblx2'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}()))),inj{SortStmt{}, SortStmtList{}}(Lbl'UndsEqlsUndsSClnUnds'IMP5-RW-LITERAL-SYNTAX'Unds'Stmt'Unds'Id2'Unds'AExp{}(Lblret'Unds'IMP5-RW-LITERAL-SYNTAX'Unds'Id2{}(),inj{SortIInt{}, SortAExp{}}(Lbl1'Unds'INTERNAL-DOMAIN-SYNTAX'Unds'IInt{}())))))))))))))))))
1 change: 1 addition & 0 deletions test/input/imp5-rw-succ/empty.in
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortPgm{}, SortKItem{}}(inj{SortBlock{}, SortPgm{}}(Lbl'LBraRBraUnds'IMP5-RW-SUCC-SYNTAX'Unds'Block{}())))))
Loading

0 comments on commit 3e26a6d

Please sign in to comment.