Add basic support for unit type

src/Sail-Jib-Interpreter-Tests/JibInterpreterTests.class.st

@@ -284,4 +284,84 @@ fn zmain(zarg) {
 
 
 
+]
+
+{ #category : #tests }
+JibInterpreterTests >> test_09a [
+	| program main interpreter |
+	program := JibParser parse:'
+
+val zmain : () -> %unit
+fn  zmain() {	
+  return = ();
+  end;
+}
+
+'.
+
+	main := program lookupFunction: 'zmain'.
+
+	interpreter := JibInterpreter for: main arguments: {  }.
+
+	interpreter interpret.
+
+	self assert: interpreter retVal isDatatype.
+	self assert: interpreter retVal sort name asString = '%unit'.
+	self assert: interpreter retVal printString = '|()|'.
+
+
+]
+
+{ #category : #tests }
+JibInterpreterTests >> test_09b [
+	| program main interpreter |
+	program := JibParser parse:'
+
+val zmain : () -> %unit
+fn  zmain() {	
+	zz1 : %unit;
+	zz1 = ();
+  return = zz1;
+  end;
+}
+
+'.
+
+	main := program lookupFunction: 'zmain'.
+
+	interpreter := JibInterpreter for: main arguments: {  }.
+
+	interpreter interpret.
+
+	self assert: interpreter retVal isDatatype.
+	self assert: interpreter retVal sort name asString = '%unit'.
+	self assert: interpreter retVal printString = '|()|'.
+
+
+]
+
+{ #category : #tests }
+JibInterpreterTests >> test_09c [
+	| program main interpreter |
+	program := JibParser parse:'
+
+val zmain : () -> %unit
+fn  zmain() {	
+	zz1 : %unit;
+  return = zz1;
+  end;
+}
+
+'.
+
+	main := program lookupFunction: 'zmain'.
+
+	interpreter := JibInterpreter for: main arguments: {  }.
+
+	interpreter interpret.
+
+	self assert: interpreter retVal isDatatype.
+	self assert: interpreter retVal sort name asString = '%unit'.
+
+
 ]

src/Sail-Jib-Interpreter/Exp_Unit.extension.st

@@ -0,0 +1,6 @@
+Extension { #name : #'Exp_Unit' }
+
+{ #category : #'*Sail-Jib-Interpreter' }
+Exp_Unit >> interpretIn: interpreter [
+	^ interpreter interpretUnit: self
+]

src/Sail-Jib-Interpreter/JibInterpreter.class.st

@@ -283,6 +283,17 @@ JibInterpreter >> interpretMonomorphize: insn [
 	self notYetImplemented
 
 
+]
+
+{ #category : #'interpreting - insns' }
+JibInterpreter >> interpretUnit: insn [
+	| sort unit |
+
+	sort := insn environment lookupSortForUnit.
+	unit := (sort constructor: 0) value.
+	^unit
+
+
 ]
 
 { #category : #interpreting }

src/Sail-Jib/JibEnvironment.class.st

@@ -24,6 +24,11 @@ JibEnvironment >> initializeWithNode: aJibProgramNode [
 	node := aJibProgramNode.
 ]
 
+{ #category : #lookup }
+JibEnvironment >> lookupSortForUnit [
+	^self parent lookupSortForUnit
+]
+
 { #category : #accessing }
 JibEnvironment >> node [
 	"Return the Jib program node this environment is associated with."

src/Sail-Jib/JibProgramEnvironment.class.st

@@ -2,7 +2,8 @@ Class {
 	#name : #JibProgramEnvironment,
 	#superclass : #JibEnvironment,
 	#instVars : [
-		'context'
+		'context',
+		'unitSort'
 	],
 	#category : #'Sail-Jib-Environment'
 }
@@ -16,6 +17,15 @@ JibProgramEnvironment >> context [
 JibProgramEnvironment >> initializeWithNode: aJibProgramNode [
 	node := aJibProgramNode.
 	context := Z3Context fromDefault.
+	unitSort := context mkEnumerationSort: '%unit' 
+	                             elements: { '()' }
+	                               consts: Cell new
+	                              testers: Cell new.	
+]
+
+{ #category : #lookup }
+JibProgramEnvironment >> lookupSortForUnit [
+	^ unitSort 
 ]
 
 { #category : #accessing }

src/Sail-Jib/Ty_Unit.class.st

@@ -10,6 +10,11 @@ Ty_Unit class >> inducedParser [
 	==> [ :_ | self new ]
 ]
 
+{ #category : #accessing }
+Ty_Unit >> sort [
+	^ self environment lookupSortForUnit.
+]
+
 { #category : #printing }
 Ty_Unit >> unparseOn: aStream [
 	aStream nextPutAll:'%unit'