Neil Brown
|
c61f2ea617
|
Rain: added checks that types match in input and output statements
|
2007-09-16 11:46:01 +00:00 |
|
Neil Brown
|
337ad7fd32
|
Rain: added type-checking tests for if and while conditionals
|
2007-09-16 09:59:30 +00:00 |
|
Neil Brown
|
5354c99a4e
|
Rain: added a function and tests for checking the types involved in assignments
|
2007-09-16 09:18:12 +00:00 |
|
Neil Brown
|
3301207a97
|
Rain: added more type-checkers tests, all of which pass
|
2007-09-15 21:19:16 +00:00 |
|
Neil Brown
|
15ce5fee06
|
Rain: added more type-checker tests and made them pass
|
2007-09-15 21:01:10 +00:00 |
|
Neil Brown
|
eeacaf1de4
|
Rain: added tests for type-checking monadic integer expressions, and made them pass
|
2007-09-15 20:30:41 +00:00 |
|
Neil Brown
|
f9c21dc4c7
|
Rain: fixed a nasty copy-and-paste mistake in RainTypesTest
|
2007-09-15 18:35:13 +00:00 |
|
Neil Brown
|
2bef926238
|
Tidied up and expanded the expression type-checker tests
|
2007-09-15 13:37:53 +00:00 |
|
Neil Brown
|
a5c2dedb24
|
Changed the testPass* functions in TestUtil to return Assertion instead of Test
|
2007-09-15 13:35:51 +00:00 |
|
Neil Brown
|
f9c88cbe90
|
Rain: added tests for a pass that type-checks expressions
|
2007-09-15 13:13:00 +00:00 |
|
Neil Brown
|
97cc82e235
|
Rain: added tests for a pass to fix the types of (folded) integer literals
|
2007-09-15 10:40:00 +00:00 |
|
Neil Brown
|
989f12b051
|
Rain: fixed the constant folding pass to work with constant sub-expressions
|
2007-09-15 10:26:52 +00:00 |
|
Neil Brown
|
e35873f01c
|
Rain: tidied up the tests for the constant folding pass
|
2007-09-15 10:07:48 +00:00 |
|
Neil Brown
|
01f763373d
|
Rain: added a new pass for folding constants
|
2007-09-15 09:36:50 +00:00 |
|