src/Pure/type_infer.ML
changeset 30146 a77fc0209723
parent 29606 fedb8be05f24
child 31977 e03059ae2d82
     1.1 --- a/src/Pure/type_infer.ML	Fri Feb 27 16:33:11 2009 +0100
     1.2 +++ b/src/Pure/type_infer.ML	Fri Feb 27 16:38:52 2009 +0100
     1.3 @@ -369,7 +369,7 @@
     1.4      fun inf _ (PConst (_, T)) = T
     1.5        | inf _ (PFree (_, T)) = T
     1.6        | inf _ (PVar (_, T)) = T
     1.7 -      | inf bs (PBound i) = snd (List.nth (bs, i) handle Subscript => err_loose i)
     1.8 +      | inf bs (PBound i) = snd (nth bs i handle Subscript => err_loose i)
     1.9        | inf bs (PAbs (x, T, t)) = PType ("fun", [T, inf ((x, T) :: bs) t])
    1.10        | inf bs (PAppl (t, u)) =
    1.11            let