« Previous | Next » 

Revision 94518cdb

ID94518cdb973cc82d62ef38f970b6498b131b8536
Parent f2374060
Child a583ec5d

Added by Iustin Pop over 11 years ago

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 <>
Reviewed-by: Agata Murawska <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences