Ticket #54 (new task)

Opened 6 years ago

Allow non-effectful CAFs to be recursive.

Reported by: benl Owned by:
Priority: project Milestone:
Component: Build System Version:
Keywords: Cc:

Description

It'd be nice to support things like:

ones = (:) @ 1 ones

But we currently can't do it because the Sea translation doesn't support recursive CAFs.

Note: See TracTickets for help on using tickets.