Joe Politz

This PR can be closed if it's not useful to have the discussion here, but I figured it's an easy way to talk about some of the issues/tests that we'd...

Using include ignores refinement predicates

2

... but import doesn't! `provide-integer.arr`: ``` provide * provide-types * type Integer = Number%(num-is-integer) ``` `importer.arr`: ``` include file("provide-integer.arr") fun foo(n :: Integer): n end foo(10.5) ``` ``` ⤇ make...

Indentation is not enforced

22

Pyret's design explicitly asks for indentation enforcement. It isn't implemented yet.

Better performance measuring infrastructure

6

Opening an issue to track work on measuring performance of Pyret programs and the compiler. This includes three main metrics that I can think of: - Compiled code size -...

Contracts on builtins

7

Many builltins, like `_divide` and `substring`, are partial, and give contract errors for erroneous inputs. We should turn these errors into meaningful Pyret errors somehow, and avoid paying to much...

Output formats for check blocks

6

We should have machine-readable output formats for test results, e.g. --check-json.

Plain HTML+JS page for running Pyret

1

Running Pyret from the CLI misses out on lots of great error infrastructure and the REPL with the most design effort put into it. Firing up a CPO instance locally...

Bad error message for wrong value passed to table filter

2

It came from entering `animals-table.build-column("is-dog",is-dog).filter(is-dog == true)` instead of `animals-table.build-column("is-dog",is-dog).filter(is-dog)`

Something in this text in console/harness/testIntl.js: var numberingSystemDigits = { arab: "٠١٢٣٤٥٦٧٨٩", arabext: "۰۱۲۳۴۵۶۷۸۹", beng: "০১২৩৪৫৬৭৮৯", deva: "०१२३४५६७८९", fullwide: "０１２３４５６７８９", gujr: "૦૧૨૩૪૫૬૭૮૯", guru: "੦੧੨੩੪੫੬੭੮੯", hanidec: "〇一二三四五六七八九", khmr: "០១២៣៤៥៦៧៨៩", knda: "೦೧೨೩೪೫೬೭೮೯",...

js_to_exprjs currently uses specially-named identifiers to transform surface JS into an intermediate form (ExprJS). The transformation looks like: ``` function f(x) { var y = 5; } f = func(this,...