[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.
- [CASHeW-s-engine-auto] haskell/src/Control/Process/CaSE Semantics.hs Syntax.hs,
Simon Foster <=