On 04/08/2012, at 11:36 AM, john skaller wrote:
> I am implementing new instantiation rules and have run into a
> nasty bug.
This is the case that caused the problems:
class S_expr
{
union sexpr[T] = | Leaf of T | Tree of list[sexpr[T]];
instance[T with Str[T]] Str[sexpr[T]] {
fun str(x:sexpr[T])=>
match x with
| Leaf ?a => str a
| Tree ?b => str b
;
}
}
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
