Inserted spaces in error messages to improve readability
authorpaulson
Fri Jul 26 12:27:22 1996 +0200 (1996-07-26)
changeset 1890a525e960f2bd
parent 1889 661603db8ee2
child 1891 618f48bd4532
Inserted spaces in error messages to improve readability
src/Pure/sign.ML
     1.1 --- a/src/Pure/sign.ML	Fri Jul 26 12:26:32 1996 +0200
     1.2 +++ b/src/Pure/sign.ML	Fri Jul 26 12:27:22 1996 +0200
     1.3 @@ -229,7 +229,7 @@
     1.4             Some(S') => if S=S' then tvars
     1.5                         else raise_type
     1.6                              ("Type variable "^Syntax.string_of_vname a^
     1.7 -                             "has two distinct sorts") [TVar(a,S'),T] []
     1.8 +                             " has two distinct sorts") [TVar(a,S'),T] []
     1.9           | None => v::tvars));
    1.10  
    1.11  (* check for duplicate Vars with distinct types *)
    1.12 @@ -242,7 +242,7 @@
    1.13                 Some(T') => if T=T' then (vars,nodup_TVars(tvars,T))
    1.14                             else raise_type
    1.15                               ("Variable "^Syntax.string_of_vname ixn^
    1.16 -                              "has two distinct types") [T',T] []
    1.17 +                              " has two distinct types") [T',T] []
    1.18               | None => (v::vars,tvars))
    1.19          | Bound _ => (vars,tvars)
    1.20          | Abs(_,T,t) => nodups vars (nodup_TVars(tvars,T)) t