Enable type casting. Added parsing support for booleans

Author: Sundown

apotheosis/expression.go

@@ -1,6 +1,7 @@
 package apotheosis
 
 import (
+	"github.com/alecthomas/repr"
 	"github.com/sundown/solution/prism"
 
 	"github.com/llir/llvm/ir/value"
@@ -30,7 +31,9 @@ func (env *Environment) newExpression(expr *prism.Expression) value.Value {
 		return env.CurrentFunction.Params[1]
 
 	case prism.Cast, *prism.Cast:
-		panic("Casts don't exist yet")
+		repr.Println(expr)
+		c := env.newCast((*expr).(prism.Cast))
+		return c
 	}
 
 	panic(expr)

palisade/grammar.go

@@ -1,7 +1,8 @@
 package palisade
 
 type Expression struct {
-	Monadic   *Monadic  `parser:"( @@"`
+	Bool      *[]string `parser:"( @( 'true' | 'false' )"`
+	Monadic   *Monadic  `parser:"| @@"`
 	Dyadic    *Dyadic   `parser:"| @@"`
 	Morphemes *Morpheme `parser:"| @@ )"`
 }

prism/dapptype.go

@@ -1,5 +1,7 @@
 package prism
 
+import "fmt"
+
 func DeferMonadicApplicationTypes(function *MonadicFunction, y *Expression) {
 	// Enclose all function-side types in a vector if operand is vector and the function is not a vector-function (auto map)
 	if !function.Attrs().DisallowAutoVector &&
@@ -104,6 +106,7 @@ func DeferDyadicApplicationTypes(function *DyadicFunction, x, y *Expression) {
 // to is the function-side type which contains the sum type.
 func RoundhouseCast(from Expression, otherside Type, to Type) (res *Cast) {
 	if !to.IsAlgebraic() {
+		fmt.Println(QueryCast(from.Type(), to))
 		panic("RoundhouseCast: to is not algebraic")
 	}
 

solutions/algebraic.sol

@@ -1,9 +1,9 @@
 @Package dev;
 
 Main Int → Void {
-	Println Fn 1.5;
+	Println Fn 1;
 }
 
-Fn Int → Int {
+Fn Real → Real {
 	← ω;
 }

subtle/init.go

@@ -66,6 +66,20 @@ func (env Environment) analyseExpression(e *palisade.Expression) prism.Expressio
 		return env.analyseDyadic(e.Dyadic)
 	} else if e.Morphemes != nil {
 		return env.analyseMorphemes(e.Morphemes)
+	} else if e.Bool != nil {
+		if len(*e.Bool) == 1 {
+			return prism.Bool{Value: (*e.Bool)[0] == "true"}
+		}
+
+		vec := make([]prism.Expression, len(*e.Bool))
+		for i, c := range *e.Bool {
+			vec[i] = prism.Bool{Value: c == "true"}
+		}
+
+		return prism.Vector{
+			ElementType: prism.VectorType{Type: prism.BoolType},
+			Body:        &vec,
+		}
 	}
 
 	prism.Panic("unreachable")

subtle/morpheme.go

@@ -96,6 +96,7 @@ func (env Environment) analyseMorpheme(m *palisade.Morpheme) prism.Expression {
 			prism.Panic("Unreachable")
 
 		}
+
 	}
 
 	prism.Panic("Other types not implemented")