Make forall types be considered for recursion.

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

684 stars 45 forks source link

Make forall types be considered for recursion. #1296

Closed Crazycolorz5 closed 2 months ago

Crazycolorz5 commented 2 months ago

Addresses #1279.

Crazycolorz5 commented 2 months ago

Note that the way this is written, I am explicitly disallowing recursively defined polymorphic constants. I think this is in-line with the current definition which disallows recursively defined (non-polymorphic) constants.

cyrus- commented 2 months ago

Thanks!