Skip to content
GitLab

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

Closed 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