Add default initial values for all numbers

code/extrinsic/test/test.lisp

@@ -46,3 +46,35 @@
         (loop for i from 1 to 5 and
                   j = i then (+ j i)
               collect j))))
+
+(define-test loop-wth-init.01
+  (is equal
+      (khazern-extrinsic:loop with x t
+                              finally (return x)
+                              until t
+                              return 1)
+      nil))
+
+(define-test loop-wth-init.02
+  (is equal
+      (khazern-extrinsic:loop with x fixnum
+                              finally (return x)
+                              until t
+                              return 1)
+      0))
+
+(define-test loop-wth-init.03
+  (is equal
+      (khazern-extrinsic:loop with x float
+                              finally (return x)
+                              until t
+                              return 1.0)
+      0.0))
+
+(define-test loop-wth-init.04
+  (is equal
+      (khazern-extrinsic:loop with x of-type (unsigned-byte 8)
+                              finally (return x)
+                              until t
+                              return 1)
+      0))

code/with-clause.lisp

@@ -125,10 +125,9 @@
 
 (defmethod wrap-subclause ((subclause with-subclause-no-form) inner-form)
   `(let ,(map-variable-types (lambda (var type)
-                               `(,var ,(case type
-                                         (fixnum 0)
-                                         (float 0.0)
-                                         (t nil))))
+                               `(,var ,(if (subtypep type 'number)
+                                           (coerce 0 type)
+                                           nil)))
                              (var-spec subclause) (type-spec subclause))
      ,inner-form))