From: Клочков Роман (kalimehtar at mail.ru) Date: Wed Jun 5 23:23:19 EDT 2013 |
|
http://docs.racket-lang.org/foreign/foreign_procedures.html#%28part._foreign~3acustom-types%29 ( define-fun-syntax _float* ( syntax-id-rules ( _float* ) [ ( _float* ) ( type: _float pre: ( x => ( + 0.0 x ) ) ) ] ) ) ( _fun _float* -> _bool ) doesn't work. Should be ( define-fun-syntax _float* ( syntax-id-rules ( _float* ) [ _float* ( type: _float pre: ( x => ( + 0.0 x ) ) ) ] ) ) ( _fun _float* -> _bool )
Posted on the users mailing list. |
|