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.

datatype statements

#21

We need to add support for datatype statements to the CSPM library. Examples from the FDR manual:

datatype T = A.{0..3} | B.Set({0,1}) | C
-- A.0, B.{0}, B.{0,1}, C are all in T

datatype SimpleColour = Red | Green | Blue

Gun = {0..15}
datatype ComplexColour = RGB.Gun.Gun.Gun | Grey.Gun | Black | White

Reported by Douglas Creager · March 2nd, 2009 @ 06:26 PM

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

Activity

  1. Douglas Creager
    Douglas Creager
    • State changed from new to open
    • Milestone set to 1.0-α4

    March 3rd, 2009 @ 10:22 PM

  2. Douglas Creager
    Douglas Creager

    (from [89f4f7bd2000767025f65ac4aa62769d871a7e8f]) Simple datatypes

    This patch introduces support for “simple” datatype statements — i.e., those whose constructors do not take any data values. So, in the following:

    datatype SimpleColour = Red | Green | Blue datatype T = A.{0..3} | B.{4..7}

    SimpleColour is a simple datatype, whereas T is not.

    The SimpleColour definition creates four bindings: Red, Green, and Blue all resolve to a new “constructor value”, which just records which of the data constructors was used to create a particular value. SimpleColour resolves to a set containing all three constructor values.

    Lighthouse: [#21 datatype statements] http://github.com/hst/hst/commit...

    March 4th, 2009 @ 12:04 AM

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

    (from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

    This patch introduces support for “complex” datatype statements — i.e., those with data values. This includes test cases for most of the examples in section A.3.3 of the FDR manual.

    Lighthouse: [#21 datatype statements state:resolved] http://github.com/hst/hst/commit...

    March 4th, 2009 @ 12:04 AM

  4. Douglas Creager
    Douglas Creager

    (from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

    This patch introduces support for “complex” datatype statements — i.e., those with data values. This includes test cases for most of the examples in section A.3.3 of the FDR manual.

    Lighthouse: [#21 datatype statements state:resolved] http://github.com/hst/hst/commit...

    March 4th, 2009 @ 12:04 AM

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.