| changeset 22473 | 753123c89d72 |
| parent 22423 | c1836b14c63a |
| child 22480 | b20bc8029edb |
| 22472:bfd9c0fd70b1 | 22473:753123c89d72 |
|---|---|
73 |
73 |
74 subsection {* Generic code generator setup *} |
74 subsection {* Generic code generator setup *} |
75 |
75 |
76 text {* operational equality for code generation *} |
76 text {* operational equality for code generation *} |
77 |
77 |
78 class eq (attach "op =") = notes reflexive |
78 class eq (attach "op =") = type |
79 |
79 |
80 |
80 |
81 text {* equality for Haskell *} |
81 text {* equality for Haskell *} |
82 |
82 |
83 code_class eq |
83 code_class eq |