1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
==========================================
erewrite in TEST : <> < me : User | state: 0 > createInterpreter(
interpreterManager, me, none) .
rewrites: 6
result Configuration: <> < me : User | state: 3 > reducedTerm(me, interpreter(
0), 1, 'c.Foo, 'Foo)
==========================================
reduce in TEST : metaReduce(bar, 'a.Foo) .
rewrites: 3
result ResultPair: {'b.Foo, 'Foo}
==========================================
erewrite in TEST : <> < me : User | state: 0 > createInterpreter(
interpreterManager, me, none) .
rewrites: 6
result Configuration: <> < me : User | state: 3 > reducedTerm(me, interpreter(
0), 1, 'c.Foo, 'Foo)
Bye.
|
