HerbiePlugin
HerbiePlugin copied to clipboard
raco command failing
➜ herbie git:(c660f3a) raco exe -o herbie-exe herbie/interface/inout.rkt
>: contract violation
expected: real?
given: '(#<syntax A>)
argument position: 1st
other arguments...:
0
context...:
f76
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/types/resolve.rkt:112:0: resolve-app
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/types/resolve.rkt:131:0: resolve-once
f2195
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/types/subtype.rkt:238:0: subtype*
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/types/subtype.rkt:238:0: subtype*
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/types/subtype.rkt:23:0: subtype
f266
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt:39:0: do-check
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:77:0: tc-expr/check
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt:14:0: core16
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:77:0: tc-expr/check
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:303:5: loop
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:303:5: loop
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:303:5: loop
/home/omer/.racket/snapshot/pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt:303:5: loop
...
Am I using wrong Racket version?
➜ herbie git:(c660f3a) racket -v
Welcome to Racket v6.2.0.3.