pyret-lang
pyret-lang copied to clipboard
brownplt
The Pyret language.
Since `method`s are technically expressions, they're allowed to appear in expression positions. It looks like the type checker has no support for them, yielding a `"checking for s-method not implemented"`/`"synthesis...
Simplest example I could find: ``` type Bool = Boolean type Id = T type AlsoBool = Id # Matching a cases branch pattern errored. a :: AlsoBool = 1...
I'd expect the following to typecheck (given that `...` can produce any value), but it instead results in the classic "Missing a cases branch pattern errored."): ``` type Id =...
For the following program: ``` table = table: field1, field2 end table.row-n(-1) ``` Pyret's error message reads: ``` Evaluating this expression errored: table.row-n(-1) It was expected to produce a "NumNonNegative",...
Here's a program: ``` t = table: parent, sub row: "A", table: child row: 1 row: 2 row: 3 row: 4 end row: "B", table: child row: 5 row: 6...
[This is based on a transcript of seeing a student struggle through several iterations of such code.] ``` t = table: a, b row: 1, 2 row: 3, 4 end...
I had a list of strings, and tried to use modes on it (before realizing that modes only works on `List`). I got _Internal errors prevented this error message from...
``` t = table: a, b row: 1, 2 row: 3, 4 end t.build-column("a", lam(r): 4 end) ``` The error comes out as which has a very non-built-in look, and...
I was processing a merge today, and somehow there ended up being a typo where `A.dummy` was used instead of `A.dummy-loc`. This is a well-formedness error, which caused a good...
I looked through the help, and it seems like `pyret -q -k` should just display my program's output, but it doesn't work: ``` $ cat hello.arr print("hello world\n") $ pyret...
