Printer bug: combine : 'a list -> 'b list -> ('b * 'a) list
Issue #16
resolved
No description provided.
Comments (2)
-
-
- changed status to resolved
fixed
- Log in to comment
This happens when the query is:
combine: 'a list -> 'a list -> 'a list
It seems that the trace creation has a bug.