Add TYPE-OF-CONSTRUCTOR function.

src/lang/compiler/type-of-expression.lisp

@@ -27,6 +27,7 @@
     ((cuda-dimension-p form) (type-of-cuda-dimension form))
     ((reference-p form) (type-of-reference form var-env func-env))
     ((inline-if-p form) (type-of-inline-if form var-env func-env))
+    ((constructor-p form) (type-of-constructor form var-env func-env))
     ((arithmetic-p form) (type-of-arithmetic form var-env func-env))
     ((function-p form) (type-of-function form var-env func-env))
     (t (error "The value ~S is an invalid expression." form))))
@@ -165,6 +166,15 @@
       then-type)))
 
 
+;;;
+;;; Vector constructors
+;;;
+
+(defun type-of-constructor (form var-env func-env)
+  ;; Delegate the logic to TYPE-OF-FUNCTION for historical reasons.
+  (type-of-function form var-env func-env))
+
+
 ;;;
 ;;; Arithmetic operations
 ;;;

t/lang/compiler/type-of-expression.lisp

@@ -18,6 +18,7 @@
                 :type-of-cuda-dimension
                 :type-of-reference
                 :type-of-inline-if
+                :type-of-constructor
                 :type-of-arithmetic
                 :type-of-function))
 (in-package :cl-cuda-test.lang.compiler.type-of-expression)
@@ -155,7 +156,12 @@
 
 
 ;;;
-;;; test TYPE-OF-ARITHMETIC function (not implemented)
+;;; test TYPE-OF-CONSTRUCTOR function
+;;;
+
+
+;;;
+;;; test TYPE-OF-ARITHMETIC function
 ;;;