Revision 8aab74e9
ID | 8aab74e912374b7eb1048fdf31c15365408795cc |
Parent | a8c1f633 |
Child | ffdcc263 |
Generalize genConstrToStr to custom monadic functions
This will allow compile-time checks for constructor names.
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Jose A. Lopes <jabolopes@google.com>
Files
- added
- modified
- copied
- renamed
- deleted