Merge pull request #7022 from michaellilltokiwa/base--add-full-qualifier-to-constraints

base: add full qualifier to constraints

Author: michaellilltokiwa

modules/base/src/container/Typed_Sequence.fz

@@ -331,7 +331,7 @@ public Types ref : Sequence Type is
   #
   # In case this `Types` instance is empty, the result is `e`.
   #
-  public type_foldf(E type, A type : type_applicator E, e E, a A) E
+  public type_foldf(E type, A type : container.type_applicator E, e E, a A) E
   =>
     abstract
 

modules/base/src/property/hashable.fz

@@ -26,7 +26,7 @@
 # NYI: the compiler should check that features inheriting from this are
 # actually immutable.
 #
-public hashable : equatable is
+public hashable : property.equatable is
 
 
   # create hash code for this instance

modules/base/src/property/orderable.fz

@@ -31,7 +31,7 @@
 # NYI: the compiler should check that features inheriting from this are
 # actually immutable.
 #
-public orderable : partially_orderable
+public orderable : property.partially_orderable
 
 /* NYI: quantor intrinsics not supported yet:
 

modules/base/src/property/partially_orderable.fz

@@ -30,7 +30,7 @@
 # NYI: the compiler should check that features inheriting from this are
 # actually immutable.
 #
-public partially_orderable : equatable
+public partially_orderable : property.equatable
 
 /* NYI: quantor intrinsics not supported yet:
 

tests/reg_issue6882/reg_issue6882.fz.expected_err_jvm

@@ -1,15 +1,15 @@
 
 error 1: java.lang.Error: No effect of reg_issue6882.lm instated.
-	at fzC__L1505_reg_issue6__all__INTERN_fun1__call__INTERN_fun2__call.fzRoutine(--CURDIR--/reg_issue6882.fz)
+	at fzC__L1500_reg_issue6__all__INTERN_fun1__call__INTERN_fun2__call.fzRoutine(--CURDIR--/reg_issue6882.fz)
 	at fzC_3instate_helper_unit_panic__call_code__call.fzRoutine({base.fum}/effect.fz:439)
 	at fzC_3instate_helper_unit_panic.fzRoutine({base.fum}/effect.fz:434)
 	at fzC_panic_INTERN_type_panic__3instate_unit.fzRoutine({base.fum}/effect.fz:170)
 	at fzC_eff__1try_String_panic_unit__1catch0.fzRoutine({base.fum}/eff/try.fz:63)
 	at fzC_eff__1try_String_panic_unit__1catch__INTERN_fun5__call.fzRoutine({base.fum}/eff/try.fz:50)
-	at fzC__L888_3instate_h___try_String_panic_unit_lm__call_code__call.fzRoutine({base.fum}/effect.fz:439)
+	at fzC__L885_3instate_h___try_String_panic_unit_lm__call_code__call.fzRoutine({base.fum}/effect.fz:439)
 	at fzC_3instate_helper__unit__eff_try_String_panic_unit_lm.fzRoutine({base.fum}/effect.fz:434)
-	at fzC__L863_eff_INTERN__ff_try_String_panic_unit_lm__3instate_unit.fzRoutine({base.fum}/effect.fz:170)
-	at fzC__L852_eff_INTERN__ff_try_String_panic_unit_lm__2instate_unit.fzRoutine({base.fum}/effect.fz:191)
+	at fzC__L860_eff_INTERN__ff_try_String_panic_unit_lm__3instate_unit.fzRoutine({base.fum}/effect.fz:170)
+	at fzC__L849_eff_INTERN__ff_try_String_panic_unit_lm__2instate_unit.fzRoutine({base.fum}/effect.fz:191)
 	at fzC_eff__1try_String_panic_unit__lm__1instate_self_unit.fzRoutine({base.fum}/effect.fz:212)
 	at fzC_eff__1try_String_panic_unit__lm__1infix_not_unit.fzRoutine({base.fum}/effect.fz:229)
 	at fzC_eff__1try_String_panic_unit__1catch.fzRoutine({base.fum}/eff/try.fz:49)