« Previous | Next » 

Revision 0d78accc

Parent 6c1a9fae
Child 6897a51e

Added by Petr Pudlak about 7 years ago

Refactor OpCodeDescriptor from a tuple to a data type

This greatly enhances code readability.

Also fix monadic types "Q ExpQ" [which is "Q (Q Exp)"] to "Q Exp".

Signed-off-by: Petr Pudlak <>
Reviewed-by: Jose A. Lopes <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences