| changeset 55956 | 94d384d621b0 |
| parent 55922 | 710bc66f432c |
| child 56008 | 2897b2a4f7fd |
--- a/src/Pure/type.ML Thu Mar 06 14:38:54 2014 +0100 +++ b/src/Pure/type.ML Thu Mar 06 16:12:26 2014 +0100 @@ -259,7 +259,8 @@ fun lookup_type (TSig {types = (_, types), ...}) = Symtab.lookup types; -fun check_decl context (TSig {types, ...}) = Name_Space.check_reports context types; +fun check_decl context (TSig {types, ...}) (c, pos) = + Name_Space.check_reports context types (c, [pos]); fun the_decl tsig (c, pos) = (case lookup_type tsig c of