I’m running into what look like some bugs in the interactions between typed and
untyped code. Specifically, I’m getting errors that look like this:
ct-error: Message: Record-role: contract violation
expected: Record?
given: (Record "test-class" "masteru...@example.com" (Record 0 "Instructor"
#t))
in: the 1st argument of
(-> Record? any)
contract from:
<pkgs>/admiral-edu-server/admiral-edu-server/database/mysql/role.rkt
blaming: <pkgs>/admiral-edu-server/admiral-edu-server/pages/roster.rkt
(assuming the contract is correct)
at: <pkgs>/admiral-edu-server/admiral-edu-server/database/mysql/role.rkt:42.9
I don’t see this error in 6.5.
Notice that there are *two* different structures here named “Record”, imported
from different TR module.
I haven’t yet tried to minimize this example, but it looks like a
chaperone/contract/TR-ish thing. Before I try to whittle this down to a
manageable size, are there known new bugs in types & contracts since 6.5?
ObResearch: I took a quick look at the bug database and at the github issues
page and didn’t see anything that jumped out at me.
John
--
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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
