Adam Sampson
2c4ccfbf39
Update all the copyright notices.
...
I've checked these all against the Darcs history using a script
(check-copyright, in my misccode collection). Anything Neil or I did as
part of our PhDs is copyright University of Kent; more recent work
belongs to us, as appropriate.
2011-07-21 11:38:13 +00:00
Neil Brown
fe1ef8f6f5
Tidied up a use of impredicative types
2010-04-10 19:40:54 +00:00
Neil Brown
d12b2178de
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
Neil Brown
f2bac46655
Added a testPatternMatchOneOf function to check that something matches at least one of a list of given patterns
2008-11-16 13:03:28 +00:00
Neil Brown
256ce80ccb
Moved all the testPass* functions into the TestMonad, using unsafePerformIO for running them inside QuickCheck
2008-03-05 16:06:14 +00:00
Neil Brown
4f05f0126f
Made decompN check the constructor, and added a short test accordingly
2008-02-25 13:39:28 +00:00
Neil Brown
d5773ee4e0
Changed two uses of gmapQ (const undefined) to the similar glength function in the SYB library
2008-02-24 12:32:25 +00:00
Neil Brown
e76ab116cb
Simplified the definition of mkPattern slightly
2008-02-15 17:16:20 +00:00
Neil Brown
9dfa1611e0
Added various 4 and 5 parameter versions of the routing functions for building AST-modifying functions
2008-01-26 18:49:36 +00:00
Neil Brown
26dd2fa5c4
Renamed the TestUtil and TreeUtil modules to TestUtils and TreeUtils, to be consistent with the Utils module
2007-12-13 19:05:29 +00:00
