Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Complex channels

#22

Currently you can only define “simple” channels — i.e, those that don't take any data:

channel a, b
P = (a -> P) ||| (b -> P)

We also need to support channels that include data values:

channel a: {0..3}
P(0) = STOP
P(_) = a?x -> P(x)

Reported by Douglas Creager · March 4th, 2009 @ 12:09 AM

State: resolved
Milestone: 1.0-α4
Assigned to: Douglas Creager Douglas Creager

Activity

  1. Douglas Creager
    Douglas Creager
    • State changed from new to open

    March 5th, 2009 @ 06:36 PM

  2. Douglas Creager
    Douglas Creager
    • State changed from open to resolved

    (from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels

    This patch introduces support for complex channels — those which carry data values. The “channel” statement now allows you to specify a data type for a channel:

    channel a: {0..2}

    This includes infrastructure for creating event names from these compound channels.

    Lighthouse: [#22 Complex channels state:resolved] http://github.com/hst/hst/commit...

    March 29th, 2009 @ 05:18 PM

  3. Douglas Creager
    Douglas Creager

    (from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels

    This patch introduces support for complex channels — those which carry data values. The “channel” statement now allows you to specify a data type for a channel:

    channel a: {0..2}

    This includes infrastructure for creating event names from these compound channels.

    Lighthouse: [#22 Complex channels state:resolved] http://github.com/hst/hst/commit...

    March 29th, 2009 @ 05:18 PM

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.