please set intellij idea scala2 hightlight to compiler

chester-lang · Oct 24, 2024 · 7b983e6 · 7b983e6
1 parent d6621cc
commit 7b983e6
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala b/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala
@@ -15,6 +15,7 @@ object Scala {
     case StringTerm(s, _) => Lit.String(s)
     case SymbolTerm(s, _) => Lit.Symbol(Symbol(s))
     case BooleanTerm(b, _) => Lit.Boolean(b)
+    case UnitTerm(_) => Lit.Unit()
     case _                => throw new NotImplementedError(s"not implemented ${term.getClass.getName} $term")
   }
 

diff --git a/syntax/src/main/scala/chester/syntax/core/Term.scala b/syntax/src/main/scala/chester/syntax/core/Term.scala
@@ -1230,11 +1230,17 @@ case class Annotation(
   }
 }
 
-// TODO: tuple?
 def UnitType(meta: OptionTermMeta) =
-  ObjectType(Vector.empty, meta = meta)
-def UnitTerm(meta: OptionTermMeta) =
-  ObjectTerm(Vector.empty, meta = meta)
+  TupleType(Vector.empty, meta = meta)
+object UnitTerm {
+  def unapply(x: Any): Option[OptionTermMeta] = x match {
+    case TupleTerm(Vector(), meta) => Some(meta)
+    case _ => None
+  }
+  def apply(meta: OptionTermMeta) =
+    TupleTerm(Vector.empty, meta = meta)
+
+}
 
 case class FieldTerm(
     name: Name,