up

chester-lang · Dec 4, 2024 · 8ab15b5 · 8ab15b5
1 parent 3fe48ae
commit 8ab15b5
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 5 deletions.
diff --git a/interpreter/shared/src/main/scala/chester/eval/Eval.scala b/interpreter/shared/src/main/scala/chester/eval/Eval.scala
@@ -1,10 +1,14 @@
 package chester.eval
 
 import chester.runtime.Value
-import chester.syntax.core.TermT
+import chester.syntax.core.*
 
 case class EvalContext()
 
-object Eval {
-  def evalNoEffect[T<:TermT[T]](ctx: EvalContext, code: T): Value = ???
+case class Eval[Term<:TermT[Term]]() {
+  type BooleanTerm = BooleanTermC[Term]
+  def evalNoEffect(ctx: EvalContext, code: Term): Value = code match {
+    case b: BooleanTerm => Value(b.value)
+    case _ => ???
+  }
 }
diff --git a/interpreter/shared/src/main/scala/chester/runtime/Value.scala b/interpreter/shared/src/main/scala/chester/runtime/Value.scala
@@ -5,7 +5,11 @@ import spire.math.Rational
 import scala.collection.immutable.HashMap
 import scala.language.implicitConversions
 
-opaque type Value = Vector[Any] | Int | BigInt | String | Symbol | HashMap[Any, Any] | Rational | Double | Function[Any, Any]
-type OpenValue = Vector[Value] | Int | BigInt | String | Symbol | HashMap[Value, Value] | Rational | Double | Function[Vector[Value], Value]
+opaque type Value = Vector[Any] | Boolean | Int | BigInt | String | Symbol | HashMap[Any, Any] | Rational | Double | Function[Any, Any]
+type OpenValue = Vector[Value] |  Boolean |Int | BigInt | String | Symbol | HashMap[Value, Value] | Rational | Double | Function[Vector[Value], Value]
 
 inline implicit def viewValue(x: Value): OpenValue = x.asInstanceOf[OpenValue]
+
+inline implicit def packValue(x: OpenValue): Value = x.asInstanceOf[Value]
+
+inline def Value(x: OpenValue | Value): Value = x.asInstanceOf[Value]