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.

Douglas Creager's latest activity

Monday, March 02 2009
15 Dotted values was updated in hst
  • Douglas Creager
    Douglas Creager commented at 7:34 PM

    (from [0dcc09f518d1117c73122ed5b0466a3d4fc159bb]) Dotted values in patterns

    Dotted values can occur in a pattern, such as in the parameters to a named function:

    ...
  • Douglas Creager
    • Milestone set to 1.0-α4
    by Douglas Creager at 6:22 PM
  • Douglas Creager
    • State changed from new to open
    by Douglas Creager at 6:21 PM
Dotted values in patterns Dotted val... was committed by Douglas Creager at 7:34 PM
Dotted values in “nametype” statement... was committed by Douglas Creager at 7:34 PM
Dotted values in “nametype” statement... was committed by Douglas Creager at 7:34 PM
Dotted values This patch introduces ... was committed by Douglas Creager at 7:34 PM
Dotted values This patch introduces ... was committed by Douglas Creager at 7:34 PM
21 datatype statements was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 6:26 PM

    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,...
17 nametype definitions was updated in hst
  • Douglas Creager
    • State changed from open to resolved
    • Title changed from Type definitions to nametype definitions
    by Douglas Creager at 6:23 PM

    We've got nametype statements implemented, so I'm going to retroactively focus this ticket on that one feature, and close the ticket.

    I'll open a new ticket for...