On 04/08/2012, at 5:00 PM, john skaller wrote:
>
> Removing S_expr from the library I now have everything building and working
> including rank! This now prints 5 like it should:
>
Of course ... now this doesn't work:
typedef fun succ (T:TYPE):TYPE => typematch T with
| 0 => 1
| 1 => 2
On 04/08/2012, at 2:46 PM, john skaller wrote:
>
> 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 o
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
