Open GuillaumeGomez opened 19 hours ago
It was just because we didn't store the "span" in the PreludeTy variant.
PreludeTy
r? @notriddle
@bors r+
:pushpin: Commit c8399255f3780072d1876ebed56decc7c78f378d has been approved by notriddle
notriddle
It is now in the queue for this repository.
It was just because we didn't store the "span" in the
PreludeTy
variant.r? @notriddle