Stream: beginners

Topic: Understanding cyclic aliases

view this post on Zulip Isaac Van Doren (Sep 30 2023 at 19:34):

Hello,
Given that this is allowed

Program : List Term
Term : [Quote (List Term)]

why isn't this allowed?

Program : List Term
Term : [Quote Program]

view this post on Zulip Brendan Hansknecht (Sep 30 2023 at 20:28):

Old compiler bug that still needs to be fixed.

view this post on Zulip Brendan Hansknecht (Sep 30 2023 at 20:29):

Essentially recursive types need to be defined in a single large definition currently.

Last updated: Jul 06 2025 at 12:14 UTC