Skip to content

WIP: rename: Don't allow binding of built-in names as datacons

Ben Gamari requested to merge wip/T16999 into master

This implements a slightly more general approach to !1498 (closed) fixing #16999 (closed).

Edited by Ben Gamari

Merge request reports