Fix printing of variant types #56

New Issue

Olivier · 2022-07-28T11:07:32+02:00

Olivier commented

2022-07-28 11:07:32 +02:00

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