Joe Politz
Joe Politz
Hopefully @shriram's Duolingo prowess helps me understand the parts I can't get through on my own with translation tools :-)
Agreed this should print `1` in that test. Unfortunately, since scope resolution happens after check blocks are “moved” to the end of the file, I'm not sure the fix for...
@michaelballantyne you are right in nearly all the ways that matter. Unfortunately right now the type checker is relying on one placement of the check blocks, while desugar-checks is relying...
Mm, yeah, maybe worth reopening it. Haven't heard a hue and a cry for it, and thought it was referring to string-dicts.
Full dictionaries supporting e.g. hashing/comparison plus equality on arbitrary keys is, I think, a long journey. I pushed just now a quick sketch of what dictionaries for arbitrary keys might...
Student code might object. Don't make this switch yet. On Tue, Nov 5, 2013 at 6:30 PM, Ben Lerner [email protected] wrote: > At the moment, the _only_ use of foldl...
I think that (and this was likely true even in 2017), we're going to be reluctant to change this on _these_ lists since enough code is already out there that...
That just seems like a bug, plus a bad error message, in the type checker. Thanks for finding that! I don't think the cases arity error has anything to do...
So we don't miss it when closing one or the other: https://github.com/brownplt/pyret-lang/issues/261
We came to a conclusion. It's in email and on Slack. Duplicating here. ``` Shriram: This is only for Pyret, but with an eye to keeping Pyret beginner-friendly for BS:1-like...