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 )
____________________
Racket Users list:
http://lists.racket-lang.org/users
