Fix printing of variant types #56

Open
opened 2022-07-28 11:07:32 +02:00 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
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#56
No description provided.