save

chester-lang · Dec 19, 2024 · 7daa687 · 7daa687
1 parent 07545a2
commit 7daa687
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/eval/src/main/scala/chester/eval/Eval.scala b/eval/src/main/scala/chester/eval/Eval.scala
@@ -2,7 +2,7 @@ package chester.eval
 
 import chester.runtime.Value
 import chester.syntax.core.*
-import chester.syntax.core.spec.{BooleanTermC, TermT}
+import chester.syntax.core.spec.spec.{BooleanTermC, TermT}
 
 case class EvalContext()
 

diff --git a/syntax/shared/src/main/scala/chester/syntax/core/Term.scala b/syntax/shared/src/main/scala/chester/syntax/core/Term.scala
@@ -1467,6 +1467,12 @@ object spec {
 
     override type ThisTree <: TypeDefinitionT[Term]
   }
+
+   implicit inline def tyaaa[Term <: TermT[Term], ThisTree <: TypeDefinitionT[Term]](x:TypeDefinitionT[Term]):ThisTree = x.asInstanceOf[ThisTree]
+
+  implicit inline def typeDefUniq[Term <: TermT[Term], ThisTree <: TypeDefinitionT[Term]](x: UniqidOf[TypeDefinitionT[Term]]): UniqidOf[ThisTree] = x.asInstanceOf[UniqidOf[ThisTree]]
+
+  implicit inline def typeDefUniq[Term <: TermT[Term], ThisTree <: TypeDefinitionT[Term]](x: (UniqidOf[TypeDefinitionT[Term]],TypeDefinitionT[Term])): (UniqidOf[ThisTree],ThisTree) = x.asInstanceOf[(UniqidOf[ThisTree],ThisTree)]
 
   implicit inline def uniqOb[Term <: TermT[Term], ThisTree <: ObjectStmtTermC[Term]](x:  UniqidOf[ObjectStmtTermC[Term]]): UniqidOf[ThisTree] = x.asInstanceOf[UniqidOf[ThisTree]]
 

diff --git a/tyck-base/src/main/scala/chester/tyck/convertMeta.scala b/tyck-base/src/main/scala/chester/tyck/convertMeta.scala
@@ -1,7 +1,7 @@
 package chester.tyck
 
 import chester.syntax.concrete.ExprMeta
-import chester.syntax.core.spec.TermMeta
+import chester.syntax.core.*
 
 def convertMeta(meta: Option[ExprMeta]): Option[TermMeta] = for {
   m <- meta