search

coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
https://coalton-lang.github.io/
MIT License
1.12k stars 67 forks source link

for sometimes causes a runtime type error #1200

Closed stylewarning closed 1 month ago

stylewarning commented 1 month ago 
   from COMMON-LISP:NIL in
  (COMMON-LISP:THE
 (COMMON-LISP:VALUES (COMMON-LISP:MEMBER COALTON::UNIT/UNIT)
                     COMMON-LISP:&OPTIONAL)
 (COMMON-LISP:PROGN
  (COMMON-LISP:BLOCK GH1197
    (COMMON-LISP:LET ((#1=#:ITER-3 #))
      (COMMON-LISP:DECLARE (COMMON-LISP:IGNORABLE #1#))
      (COMMON-LISP:LOOP :NAMED :COALTON-LOOP-BREAK
                        :FOR MATCH6195 := (COMMON-LISP:THE OPTIONAL #)
                        :WHILE (COMMON-LISP:AND # COMMON-LISP:T)
                        :DO (COMMON-LISP:BLOCK :COALTON-LOOP-CONTINUE #))))))
  is not of type
    (VALUES (MEMBER COALTON::UNIT/UNIT) &OPTIONAL).

probably related to #1197