Adam Sampson 7525138c96 Defined types for tree traversals, and moved them to their own file. ... We now have three kinds of canned tree traversals, all of which are smart about which types they're applied to: explicit-descent transformations, implicit-descent transformations, and implicit-descent checks. I've only provided depth-first application of the latter two, but we could do breadth-first in the future if necessary.		2008-04-01 12:01:09 +00:00
..
LexOccam.x	Added support for array constructors to the occam parser	2008-03-10 22:58:36 +00:00
LexRain.x	Added support for a not-equals operator in Rain	2008-03-24 23:44:40 +00:00
OccamPasses.hs	Defined types for tree traversals, and moved them to their own file.	2008-04-01 12:01:09 +00:00
OccamPassesTest.hs	Move retypes check into the SpecType checker, and update the pass list.	2008-03-26 14:39:12 +00:00
OccamTypes.hs	Defined types for tree traversals, and moved them to their own file.	2008-04-01 12:01:09 +00:00
OccamTypesTest.hs	Remove the Type/AbbrevMode information from Actual*.	2008-03-26 18:16:09 +00:00
ParseOccam.hs	Remove the Type/AbbrevMode information from Actual*.	2008-03-26 18:16:09 +00:00
ParseRain.hs	Remove the Type/AbbrevMode information from Actual*.	2008-03-26 18:16:09 +00:00
ParseRainTest.hs	Remove the Type/AbbrevMode information from Actual*.	2008-03-26 18:16:09 +00:00
ParseUtils.hs	Added the -fwarn-unused-imports compiler option to warn about unused imports, and then set about pruning and ordering (mostly in my code) the import lists for all the modules	2007-09-27 13:13:46 +00:00
PreprocessOccam.hs	Tidied up the type of handleDirective to make it easier to use	2008-03-05 16:05:21 +00:00
PreprocessOccamTest.hs	Split include file expansion out into a separate pass.	2008-02-29 15:01:19 +00:00
RainPasses.hs	Merged the type-checking on time-related statements in Rain into the pass that checks types in communications	2008-03-24 15:15:28 +00:00
RainPassesTest.hs	Remove the Type/AbbrevMode information from Actual*.	2008-03-26 18:16:09 +00:00
RainTypes.hs	Defined types for tree traversals, and moved them to their own file.	2008-04-01 12:01:09 +00:00
RainTypesTest.hs	Merged the type-checking on time-related statements in Rain into the pass that checks types in communications	2008-03-24 15:15:28 +00:00
StructureOccam.hs	Split include file expansion out into a separate pass.	2008-02-29 15:01:19 +00:00
StructureOccamTest.hs	Split include file expansion out into a separate pass.	2008-02-29 15:01:19 +00:00