Adam Sampson 6ee21f76c9 Initial work on supporting INITIAL and RESULT abbreviations. ... This fixes the AST, parser and typechecker, and adds a pass to transform Result back into Abbrev, but doesn't transform Initial yet. (It actually works for trivial stuff anyway, but it won't do the right thing for complex types or PROC parameters.) It appears (to me) to make sense to support INITIAL/RESULT reshaping and retyping too, so this does. Refs #42.		2008-06-02 20:41:37 +00:00
..
initial-result-1.occ.test	Initial work on supporting INITIAL and RESULT abbreviations.	2008-06-02 20:41:37 +00:00
initial-result-2.occ.test	Initial work on supporting INITIAL and RESULT abbreviations.	2008-06-02 20:41:37 +00:00
unify-types-1.rain.test	Corrected a slight bug in the type tests	2008-05-18 09:34:04 +00:00
usage-check-1.occ.test	Added some more testcases for array usage checking that involve complicated expressions	2008-02-11 14:40:28 +00:00
usage-check-2.occ.test	Added a couple more tests	2008-01-25 11:19:58 +00:00
usage-check-3.occ.test	Tweaked some tests so that they are now correct	2008-02-08 14:03:45 +00:00
usage-check-4.occ.test	Added tests with multi-dimensional arrays	2008-01-25 16:16:16 +00:00
usage-check-5.occ.test	Fix a broken occam test (spotted by the new type checker).	2008-03-26 14:45:51 +00:00