equal
deleted
inserted
replaced
1022 |
1022 |
1023 exception PMatch; |
1023 exception PMatch; |
1024 |
1024 |
1025 (** see pattern.ML **) |
1025 (** see pattern.ML **) |
1026 |
1026 |
1027 fun flt (i: int) = List.filter (fn n => n < i); |
1027 fun flt (i: int) = filter (fn n => n < i); |
1028 |
1028 |
1029 fun fomatch Ts tymatch j = |
1029 fun fomatch Ts tymatch j = |
1030 let |
1030 let |
1031 fun mtch (instsp as (tyinsts, insts)) = fn |
1031 fun mtch (instsp as (tyinsts, insts)) = fn |
1032 (Var (ixn, T), t) => |
1032 (Var (ixn, T), t) => |