« Previous | Next » 

Revision 8aab74e9

ID8aab74e912374b7eb1048fdf31c15365408795cc
Parent a8c1f633
Child ffdcc263

Added by Petr Pudlak about 10 years ago

Generalize genConstrToStr to custom monadic functions

This will allow compile-time checks for constructor names.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences