Joe Politz

Good question. We should enhance the `satisfies` output to show the LHS when the RHS errors. Then this pattern would work: ``` fun my-fun(x): x + 1 end check: fun...

In your use case are you interested in things that would be raised with `raise`, or in things that are genuine errors, like field-not-found?

Whoa. That’s not good. That’s a generated variable that doesn’t get correctly gensymed. Yikes. The quick workaround is to comment out tests in the files that are imported. We can...

Something more useful should certainly print. Doc strings are a little annoying since they are _just_ strings, with no markup, etc. We could keep annotations around; we'll quickly want very...

I don't think it's surprising that this causes an error outside of strings, right? Pyret source is only intended to be ASCII, except for inside strings. It's a bug if...

Thanks! I added the implication you suggested. Now that `-e` exists, it's silly for `-k` to only mean “elide check blocks during compilation” and not the same thing as `-e...

Something worse – contexts are making `type`s that are just aliases (not constructed types) behave strangely at the REPL (in CPO). There are some small reproductions, like just declaring `type...

(Creating issue so I don't lose it, that should be enough to reproduce, can get a better CPO screenshot to go with it.)

Thanks! Fixed by https://github.com/brownplt/pyret-docs/commit/31e1f748ca9311bc3a8bc3d4bdb07100c03167bf I think ascending/descending were picked because they make a little more sense with data that doesn't represent a quantity but is orderable (like strings). Doesn't mean...

`shadow` is orthogonal to mutability from a semantics POV, and has much different consequences for program behavior than mutability, so it may not be the best point of comparison. Its...