@@ -54,8 +54,8 @@ object Probably:
54
54
// val debug: Expr[Debug[testType]] =
55
55
// Expr.summon[Debug[testType]].getOrElse('{ _.toString.tt })
56
56
57
- // val contrast: Expr[Contrast[ testType]] = '{Contrast .general[testType]}
58
- // //val contrast = Expr.summon[Contrast[ testType]] .getOrElse('{Contrast .general[testType]})
57
+ // val contrast: Expr[testType is Contrastable] = '{Contrastable .general[testType]}
58
+ // //val contrast = Expr.summon[testType is Contrastable] .getOrElse('{Contrastable .general[testType]})
59
59
// '{
60
60
// assertion[testType, TestType, ReportType, ResultType]
61
61
// ($runner, $test, $predicate, $action, $contrast, Some($expr), $inc, $inc2, $debug)
@@ -64,7 +64,7 @@ object Probably:
64
64
case _ =>
65
65
' {
66
66
assertion[TestType , TestType , ReportType , ResultType ]
67
- ($runner, $test, $predicate, $action, Contrast .nothing[TestType ], None , $inc, $inc2,
67
+ ($runner, $test, $predicate, $action, Contrastable .nothing[TestType ], None , $inc, $inc2,
68
68
_.toString.tt)
69
69
}
70
70
@@ -106,7 +106,7 @@ object Probably:
106
106
test : Test [TestType2 ],
107
107
predicate : TestType2 => Boolean ,
108
108
result : TestRun [TestType2 ] => ResultType ,
109
- contrast : Contrast [ TestType ] ,
109
+ contrast : TestType is Contrastable ,
110
110
exp : Option [TestType ],
111
111
inc : Inclusion [ReportType , Outcome ],
112
112
inc2 : Inclusion [ReportType , DebugInfo ],
@@ -127,7 +127,7 @@ object Probably:
127
127
inc2.include(runner.report, test.id, DebugInfo .Compare (display.text(exp),
128
128
display.text(value), contrast(exp, value)))
129
129
case None =>
130
- // inc2.include(runner.report, test.id, DebugInfo.Compare(summon[Contrast[ Any] ].compare(value, 1)))
130
+ // inc2.include(runner.report, test.id, DebugInfo.Compare(summon[Any is Contrastable ].compare(value, 1)))
131
131
132
132
if ! map.isEmpty then inc2.include(runner.report, test.id, DebugInfo .Captures (map))
133
133
0 commit comments