search

solomono / kiama

Automatically exported from code.google.com/p/kiama
GNU Lesser General Public License v3.0
0 stars 0 forks source link

Complete nowhere present checks in uniplate tests #10

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Add 'nowhere present' check, eg for DoubleNeg example, but others too, intadds 
is ok, do that for 
the others, also uniquevars should check for no duplicates in vars, or collect 
in list and check that 
they are sorted "var" ones.

Original issue reported on code.google.com by inkytonik on 14 Jun 2009 at 9:39

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 6 Nov 2009 at 1:29

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 10 Nov 2009 at 5:11

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 26 Jul 2010 at 5:06

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 26 Jul 2010 at 5:07

GoogleCodeExporter commented 9 years ago 
We will probably do this at some stage, but we are clearing the issues of ones 
specifically related to tests, so that they can focus on functional 
enhancements and bugs.

Original comment by inkytonik on 21 Oct 2010 at 3:17