On Monday, 9 December 2019 23:00:37 UTC+1, edu500ac wrote:
>
> A couple of years ago, I was unable to run Racket on my webpage. I
> complained on this forum, and the developers fixed the issue. Things worked
> fine until version 7.3, when the old problem reappeared. Here is what
> happens:
>
Oh! of course. Makes sense.
If I make a pull request, does that mean I get a pass for wasting my time doing
advent of code?
John
> On Dec 15, 2019, at 18:41, Sam Tobin-Hochstadt wrote:
>
> Yes, this is because the contract enforces parametericity, which
> doesn't allow `index-of` to work
Yes, this is because the contract enforces parametericity, which
doesn't allow `index-of` to work the way you'd want.
Instantiating things doesn't help because the contract is based on the
`require/typed`, not on the use site.
Here's a few suggestions:
1. Submit a pull-request to TR to add
It looks like my quick attempt at importing index-of into TR is running into a
problem. Here’s the program I ran:
#lang typed/racket
(require/typed racket/list
[index-of (All (T) ((Listof T) T -> (U False Natural)))])
(index-of '(n s e w) 'n) ;; returns... #f?
In
Hi,
On 15. 12. 19 2:57, Jack Firth wrote:
> I think that documentation fix is a good idea.
I'll submit a PR to appropriate repository later on.
> More broadly, it seems awkward that all of the unsafe ops for
> different data types are combined together into a single module. I
> would instead
5 matches
Mail list logo