Improved type system checks

src/core/Function.go

@@ -11,19 +11,20 @@ import (
 // Function represents the smallest unit of code.
 type Function struct {
 	register.Machine
-	Package    string
-	Name       string
-	UniqueName string
-	File       *fs.File
-	Body       token.List
-	Input      []*Input
-	Output     []*Output
-	Functions  map[string]*Function
-	Structs    map[string]*types.Struct
-	DLLs       dll.List
-	Err        error
-	deferred   []func()
-	count      counter
+	Package     string
+	Name        string
+	UniqueName  string
+	File        *fs.File
+	Body        token.List
+	Input       []*Input
+	Output      []*Output
+	OutputTypes []types.Type
+	Functions   map[string]*Function
+	Structs     map[string]*types.Struct
+	DLLs        dll.List
+	Err         error
+	deferred    []func()
+	count       counter
 }
 
 // counter stores how often a certain statement appeared so we can generate a unique label from it.