HerbiePlugin icon indicating copy to clipboard operation
HerbiePlugin copied to clipboard

raco command failing

Open osa1 opened this issue 8 years ago • 0 comments

➜  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.

osa1 avatar Oct 26 '15 15:10 osa1