digego / extempore

A cyber-physical programming environment
1.41k stars 127 forks source link

Conflicting type definitions in bind-func and the lambda gives misleading error #227

Closed mrmagooey closed 8 years ago

mrmagooey commented 8 years ago

Evaluating the following bind-func where the type signature and the lambda types conflict gives the following error.

(bind-func test:[i1,i1,i1]*
  (lambda (a:i64 b:i64)
    a))

>> Type Error got NIL, was expecting NIL 
benswift commented 8 years ago

closed in 9f9a518