search

marcoheisig / restricted-functions

Reasoning about functions with restricted argument types.
MIT License
10 stars 0 forks source link

README #'RESTRICT issues #2

Closed phoe closed 5 years ago

phoe commented 5 years ago 
(let ((rf (restrict #'+ 'double-float 'double-float)))
  (compile
   nil
   `(lambda (x y)
      (,(name rf) x y))))
(restrict nil '+ 'double-float '(complex short-float))

The above two snippets call #'RESTRICT with a different number of arguments. It seems that the former call omits the strategy argument while the latter utilizes it.

marcoheisig commented 5 years ago

Fixed, thanks!