Joe Politz

I realized the thing I suggested above is actually a breaking change to make work, since the refinements in the example are expressions that produce booleans, not functions (which they...

Definitely a bug as you say. This is hitting a bad case in object inference somewhere. Dumb workaround so you can make progress if you want: ``` data NeLoN: |...

Also, in case @blerner or someone else picks this up, I can't make this fail at the CLI, it builds fine across several different choices of context.

Actually, it wasn't that. We had never written a test with an inferred `t-bot` that got provided out of a module in typed mode. (Using CPO had an implicit `provide...

Also, someone should probably make it so we can type-check the compiler.

This was so hard to reproduce offline! Here were the steps: ``` ⤇ touch *checks*.arr ⤇ cat checks.arr provide * check: 2 + 2 is 4 end ⤇ cat checks2.arr...

Gah, I thought this was the fix: https://github.com/brownplt/pyret-lang/commit/3e6b258703ab074276b8e1f80df32cdf15fba251 But it clearly messed with some subtle scope thing: https://travis-ci.com/github/brownplt/pyret-lang/builds/214479009

This is roughly a duplicate of https://github.com/brownplt/pyret-lang/issues/1544. The issue is that testing blocks are moved to the end of the program, so it's actually the top `a` that is shadowing...

Thanks for reporting this. I would expect WSL to work. What program are you trying to run? At the moment, some of the libraries on code.pyret.org aren't supported offline, and...

You're welcome! I would love to see your thesis it if you can share it when it is done! On Wed, Apr 21, 2021 at 9:44 PM, lulugo19 < ***@***.***...