Philip Blair

We should replace the existing BigInt multiplication algorithm with Karatsuba multiplication, for performance purposes.

The algorithm we use for `abs` in `runtime/bigint.gr` is perhaps not the most optimal. We should replace it.

Follow-on for #1167: We should have the ability to construct `BigInt` instances which have fixed-width semantics (rather than non-overflowing semantics).

See [this comment](https://github.com/grain-lang/grain/pull/1167/files#r830516877). These allocations should be impure.

With the big integers introduced in #1167, we should improve our optimization pass so that it can pre-execute computations involving big integers. Because this will require some amount of big-integer...

Currently (#1167), we cannot parse rational literals with operands which do not fit into 32-bit integers. We should add the necessary support to allow operands of any size. This will...

Add NaN and Infinity Literal Syntax

4

See title. Open questions: - What syntax should we use? - Should they be F32 or F64? We should probably have both, since F32/F64 NaN comparisons may not work correctly...

Support Links to Usernames

2

JIRA allows comments to reference users in comments using the following special link syntax: ``` - My name is [~belph] ``` Which will render as (for example): - My name...

Probable Typo in desugar.arr

6

[This line](https://github.com/brownplt/pyret-lang/blob/a5d99d0e9a1ace2e6f3504d62e2b913dd97949eb/src/arr/compiler/desugar.arr#L473) in `desugar.arr` refers to `A.s-ann` (where `A` is `ast.arr`), which does not seem to exist. I'm _guessing_ this line was intended to be ``` | s-ref(l, ann) =>...

Fix Compiler Sensitivity to Arguments

5

Currently, the compiler (the one freshly merged from `new-horizons`) is extremely sensitive to where and how you run it in a few ways: This works: ``` pyret-lang$ node build/phaseA/pyret.jarr --builtin-js-dir...