tock-mirror/common
Neil Brown e117422c31 Added a couple more tests for checkUnusedVar which has revealed two bugs
One of these bugs is that array variables are counted as unused when they are used subscripted.  I think that should be solved when we flip back to the listify approach.

The second bug is more interesting, as it is triggered only in a certain arrangement with an IF.  It's either a bug in the flow-graph building or in the varsTouchedAfter code.
2008-11-20 15:06:36 +00:00
..
CommonTest.hs Go back to passing the value to the type-contains function. 2008-04-02 16:11:13 +00:00
Errors.hs Added a set of enabled warnings to CompState 2008-11-20 13:17:05 +00:00
EvalConstants.hs Added a type-class for retrieving the (AST) type of things 2008-05-17 11:41:52 +00:00
EvalLiterals.hs Clean up EvalLiterals. 2008-04-08 00:29:23 +00:00
GenericUtils.hs Fixed the apply function, which (mainly due to having the wrong type signature, but also its use of extTransformRoute) was not as polymorphic as it should have been, which was breaking the traversal (I think it would only work on one Structured type) 2008-11-14 15:30:02 +00:00
Intrinsics.hs Added support for some intrinsic (time-related) functions in Rain 2008-03-22 18:58:10 +00:00
OccamEDSL.hs Added a couple more tests for checkUnusedVar which has revealed two bugs 2008-11-20 15:06:36 +00:00
Pattern.hs Added the -fwarn-missing-signatures option and added all missing type signatures for non-test modules (and most for test modules too) 2008-02-05 23:06:03 +00:00
PrettyShow.hs Initial implementation of the occam-pi preprocessor. 2008-02-28 20:27:30 +00:00
ShowCode.hs Extended the type unification for Rain to support type-checking things that are being poisoned (which could be either end of a channel) 2008-09-12 14:40:04 +00:00
TestFramework.hs Moved all the testPass* functions into the TestMonad, using unsafePerformIO for running them inside QuickCheck 2008-03-05 16:06:14 +00:00
TestHarness.hs Finally merged the list of warnings into CompState rather than having its own StateT monad 2008-11-20 13:35:44 +00:00
TestUtils.hs Finally merged the list of warnings into CompState rather than having its own StateT monad 2008-11-20 13:35:44 +00:00
TreeUtils.hs Added an augmented version of Adam's gmapMFor that uses the same generics techniques, but also gives a route to the node to the transformation function 2008-11-06 18:32:35 +00:00
Types.hs Implement channel direction decorators. 2008-06-09 21:35:20 +00:00
Utils.hs Filled in all the gaps such that the CheckTest tests now run (including some debug output, for now) 2008-11-12 16:54:00 +00:00