Hello Racket users,
I am trying to understand a contract violation message that I am getting.
Here is the file a.rkt:
#lang racket
(provide f)
(define/contract (f a)
(-> boolean? any/c)
'())
and this is b.rkt:
#lang racket
(require "a.rkt")
(f 3)
I would expect that the caller is blamed for the contract violation, but the
error message that I get is as follows:
f: contract violation
expected: boolean?
given: 3
in: the 1st argument of
(-> boolean? any/c)
contract from: (function f)
blaming: /home/epi/snippets/a.rkt
(assuming the contract is correct)
at: /home/epi/snippets/a.rkt:3.18
context...:
/usr/share/racket/collects/racket/contract/private/blame.rkt:347:0:
raise-blame-error
/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt:379:33
body of "/home/dan/snippets/blameme.rkt"
So, I am a bit surprised that the error message blames the file a.rkt.
What am I missing here?
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/149cfc632cd666ff1a92177dce90296b%40disroot.org.
