101 #> pair (lhs, def)); |
101 #> pair (lhs, def)); |
102 |
102 |
103 fun class_foundation target (((b, U), mx), (b_def, rhs)) params = |
103 fun class_foundation target (((b, U), mx), (b_def, rhs)) params = |
104 Generic_Target.background_foundation (((b, U), NoSyn), (b_def, rhs)) params |
104 Generic_Target.background_foundation (((b, U), NoSyn), (b_def, rhs)) params |
105 #-> (fn (lhs, def) => class_const target Syntax.mode_default (b, lhs) |
105 #-> (fn (lhs, def) => class_const target Syntax.mode_default (b, lhs) |
106 #> Class.const target ((b, mx), (#1 params, #2 params, lhs)) |
106 #> Class.const target ((b, mx), lhs) params |
107 #> pair (lhs, def)); |
107 #> pair (lhs, def)); |
108 |
108 |
109 fun target_foundation (ta as Target {target, is_locale, is_class, ...}) = |
109 fun target_foundation (ta as Target {target, is_locale, is_class, ...}) = |
110 if is_class then class_foundation target |
110 if is_class then class_foundation target |
111 else if is_locale then locale_foundation target |
111 else if is_locale then locale_foundation target |