On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@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?
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