equal
deleted
inserted
replaced
130 |
130 |
131 |
131 |
132 (* setup *) |
132 (* setup *) |
133 |
133 |
134 val setup = Context.theory_map |
134 val setup = Context.theory_map |
135 (Syntax_Phases.context_term_check 0 "adhoc_overloading" check |
135 (Syntax_Phases.term_check' 0 "adhoc_overloading" check |
136 #> Syntax_Phases.context_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved |
136 #> Syntax_Phases.term_check' 1 "adhoc_overloading_unresolved_check" reject_unresolved |
137 #> Syntax_Phases.context_term_uncheck 0 "adhoc_overloading" uncheck); |
137 #> Syntax_Phases.term_uncheck' 0 "adhoc_overloading" uncheck); |
138 |
138 |
139 end; |
139 end; |