[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[CASHeW-s-engine-auto] haskell/src/Control/Process/CaSE Semantics.hs Syn

From: Simon Foster
Subject: [CASHeW-s-engine-auto] haskell/src/Control/Process/CaSE Semantics.hs Syntax.hs
Date: Sun, 1 May 2005 17:43:25 +0100 (BST)

Update of /share/darwin/darwin4/cvs/haskell/src/Control/Process/CaSE
In directory hazel:/tmp/cvs-serv6294/Process/CaSE

Modified Files:
        Semantics.hs Syntax.hs 
Log Message:
Simon Foster <address@hidden>
  * Seperated clock and action labels into seperate types, I think it's more 
logical and less redundant this way.
  * Added derived syntax for dealing with insistency over a particular clock.
  * Added getExplicitClocks function, which scrapes all mentioned clocks from a 
CaSE process.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]