File: metaMeta.expected

package info (click to toggle)
maude 2.6-6
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 10,776 kB
  • ctags: 8,613
  • sloc: cpp: 87,637; sh: 3,468; ansic: 3,011; yacc: 1,414; makefile: 1,252; lex: 563
file content (10 lines) | stat: -rw-r--r-- 354 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
Maude> ==========================================
reduce in META-LEVEL : metaRewrite(['FOO], 'a.Foo, 10) .
rewrites: 3
result ResultPair: {'b.Foo,'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(['SELF-REFLECTION], 'r[''a.Foo.Constant],
    10) .
rewrites: 7
result ResultPair: {''b.Foo.Constant,'Constant}
Maude> Bye.