patch applied (generics): TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed)
25 Feb
2008
25 Feb
'08
1:39 p.m.
Mon Feb 25 03:16:45 PST 2008 Alexey Rodriguez <alexey@cs.uu.nl> * TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed) M ./comparison/Spine/RmWeights.lhs -8 +25
6762
Age (days ago)
6762
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev