Improved printing for type variables to make fixing type errors easier.

mcoblenz · Jan 22, 2020 · 9aeb1e2 · 9aeb1e2
1 parent c21e62f
commit 9aeb1e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/edu/cmu/cs/obsidian/typecheck/ObsidianType.scala b/src/main/scala/edu/cmu/cs/obsidian/typecheck/ObsidianType.scala
@@ -587,7 +587,7 @@ case class GenericVar(isAsset: Boolean, varName: String, permissionVar: Option[S
 
 case class GenericType(gVar: GenericVar, bound: GenericBound) extends NonPrimitiveType {
     override def toString: String =
-        s"$gVar${bound.show(gVar)}"
+        s"${gVar}@${permission}${bound.show(gVar)}"
 
     def hasPermissionVar(stateName: String): Boolean = gVar.hasPermissionVar(stateName)