13 Jun
2006
13 Jun
'06
4:58 p.m.
On 2006-06-12, Akim Demaille <akim(a)lrde.epita.fr> wrote:
Well, we only need to include the top-level stuff (PRISM-ModulesFile), which,
in turn, will include its own dependencies (that is: the whole grammar).
We also need to include Layout stuff since it's not included anywhere else.
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll
>>
"SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes:
Index: src/syn/prism/PRISM-Main.sdf
--- src/syn/prism/PRISM-Main.sdf (revision 55)
+++ src/syn/prism/PRISM-Main.sdf (working copy)
@@ -1,20 +1,4 @@
module PRISM-Main
imports
- PRISM-Command
- PRISM-Constant
- PRISM-Declaration
- PRISM-Expression
- PRISM-Formula
- PRISM-Global
- PRISM-Identifier
- PRISM-Init
- PRISM-Label
PRISM-Layout
- PRISM-Literals
- PRISM-Module
PRISM-ModulesFile
- PRISM-ModulesFileType
- PRISM-Reward
- PRISM-SystemComposition
- PRISM-Update
How come they are useless? There were included elsewhere?