INCOMPLETE! use Info for Peek

Depends on: fthomas/singleton-ops#186
tribbloid · Apr 21, 2021 · 37f1180 · 37f1180
1 parent ed04d93
commit 37f1180
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -92,9 +92,9 @@ allprojects {
 //        compileOnly(kotlin("stdlib"))
 //        compileOnly(kotlin("stdlib-jdk8"))
 
-        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2") // used by all modules
+//        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2") // used by all modules
 
-//        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.0+22-59783019+20200731-1305-SNAPSHOT")
+        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2+50-630137bc-SNAPSHOT")
 
         testImplementation("org.scalatest:scalatest_${vs.scalaBinaryV}:${vs.scalatestV}")
         testImplementation("org.junit.jupiter:junit-jupiter:5.6.2")

diff --git a/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala b/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala
@@ -105,6 +105,7 @@ object InfoCT {
 
   type ErrorMsg[T] = RequireMsg[FALSE.T, T]
   type WarnMsg[T] = RequireMsgSym[FALSE.T, T, singleton.ops.Warn]
+  type InfoMsg[T] = RequireMsgSym[FALSE.T, T, singleton.ops.Info]
 
   val REFUTE =
     Witness("""¯\_(ツ)_/¯ """)

diff --git a/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala b/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala
@@ -47,7 +47,7 @@ class Reporters[
 
   trait PeekReporter[IUB <: CanPeek, TGT <: scope.OUB with CanPeek] extends ProofReporter[IUB, TGT] {
 
-    override type ReportMsg[T] = WarnMsg[T]
+    override type ReportMsg[T] = InfoMsg[T]
   }
 
   trait ErrorReporter[IUB <: CanPeek, TGT <: scope.OUB with CanPeek] extends ProofReporter[IUB, TGT] {