Revision 94518cdb
ID | 94518cdb973cc82d62ef38f970b6498b131b8536 |
Parent | f2374060 |
Child | a583ec5d |
TH: Abstract function for computing constructor names
We'll need this in another place shortly, so let's abstract it and add
proper verification of whether we were passed a type name correctly;
the previous version would have failed with a pattern match failure,
instead of an explicit message.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Agata Murawska <agatamurawska@google.com>
Files
- added
- modified
- copied
- renamed
- deleted