Fix printing of variant types #56

Open
opened 6 months ago by Olivier · 0 comments
Owner

Currently we use the code

and print_datatype (Datatype.Type tyconstr, tyargs) =
  string tyconstr
  ^//^ separate_map space print_type_atom tyargs

but when the variant doesn't expect argument we print a useless whitespace after the name of the constructor.

Suppose for instance that we define the usual bool variant then we'll have this printing True<bool > instead of True<bool>

Currently we use the code ``` and print_datatype (Datatype.Type tyconstr, tyargs) = string tyconstr ^//^ separate_map space print_type_atom tyargs ``` but when the variant doesn't expect argument we print a useless whitespace after the name of the constructor. Suppose for instance that we define the usual bool variant then we'll have this printing `True<bool >` instead of `True<bool>`
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#56
Loading…
There is no content yet.