I have the same problem on Fedora 27, Racket 6.11. I don't recall the last
time I tried changing fonts so I'm not sure when it happened. I do
distinctly remember font selection used to work once upon a time. And the
same workaround works for me, too. As in, if I just use the scroll wheel on
tha
Of course, it blames the right party only if the party implementing the
contract is the same as the party implementing `bad-h`. This example blames
`third-party` for what we really want to hold `(definition bad-h)`
responsible for:
#lang racket
(module third-party racket
(provide the-contract)
I noticed that this sort of works:
(define/contract h
(parametric->/c
{α}
(->i ([x α]
[P (-> α contract?)]
[f {P} (->d ([x α])
[_ (P x)])])
[_ {P x} (P x)]))
(λ (x P f)
(f x)))
(h 42 (λ _ string?) number->string)
The "sort of" part is i
My guess is that something more subtle has to happen for the "indy"
part of parameteric contracts (but that really is just a guess).
Robby
On Wed, Jan 17, 2018 at 8:49 AM, Phil Nguyen wrote:
> It doesn't seem like an implementation bug to me. I mean if we try to follow
> the usual rule of seali
It doesn't seem like an implementation bug to me. I mean if we try to
follow the usual rule of sealing/unsealing, it makes sense. I just can't
pinpoint which part of the contracts I need to fix to be able to express
the enforcement.
On Wednesday, January 17, 2018 at 9:31:25 AM UTC-5, Robby Find
I am not sure, but my first guess would be that it is a bug in the
contract system (due to a lack of understanding of what to do by me),
not that it is impossible to do this with dynamic sealing.
Robby
On Tue, Jan 16, 2018 at 2:34 PM, Phil Nguyen wrote:
> The following function with its contrac
6 matches
Mail list logo