INCOMPLETE! use Info for Peek

Depends on: fthomas/singleton-ops#186

Author: peng

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")

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("""¯\_(ツ)_/¯ """)

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] {