Opened 10 years ago

Last modified 19 months ago

#54 new feature

Support value recursion

Reported by: benl Owned by: steggles
Priority: low Milestone: _|_
Component: Source Semantics Version: 0.4.1
Keywords: Cc:

Description (last modified by benl)

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. The new core language statically rejects such programs, so we'll just leave them unsupported for now.

Change History (9)

comment:1 Changed 9 years ago by erikd

  • Component changed from Build System to Core to Sea Translation

comment:2 Changed 8 years ago by benl

  • Description modified (diff)
  • Milestone set to _|_
  • Summary changed from Allow non-effectful CAFs to be recursive. to Support value recursion
  • Type changed from task to enhancement

comment:3 Changed 8 years ago by benl

  • Summary changed from Support value recursion to No support for value recursion

comment:4 Changed 7 years ago by benl

  • Owner set to steggles

comment:5 Changed 7 years ago by benl

  • Description modified (diff)
  • Priority changed from project to low

comment:6 Changed 6 years ago by benl

  • Version set to 0.4.1

comment:7 Changed 6 years ago by benl

  • Summary changed from No support for value recursion to Support value recursion

comment:8 Changed 19 months ago by benl

  • Type changed from enhancement to feature

comment:9 Changed 19 months ago by benl

  • Component changed from Core to Sea Translation to Source Semantics
Note: See TracTickets for help on using tickets.