Jonathan Coates
Jonathan Coates
While the online documentation is now in a _reasonable_ state, the in-game docs are pretty terrible. I'd really like to have an offline, "book"-style version of the docs, but that's...
I think Kepler and I discussed this when #156 was opened, but I never spun it out into a separate issue. The `window` API is incredibly useful, but I (and...
When a program or input to the Lua REPL errors, we should display the stack trace that caused this error, along with the message itself:  This is something [mbs](https://github.com/SquidDev-CC/mbs#stack-traces),...
## Mod versions - Forge: 14.23.5.2825 (1.12.2) - CodeChickenLib: 1.12.2-3.2.2.353 - ForgeMultipart: 1.12.2-2.6.1.81 - MrTJPCore: 1.12.2-2.1.3.35 - ProjectRed Core, Compat, Integration: 1.12.2-4.9.1.92 ## Details `PropagationRun` calls `Block.neighborChanges` with a neighbour...
Also filed on the ComputerCraft side (https://github.com/cc-tweaked/cc-restitched/issues/90) with a little more technical information. ### Reproduction steps - Create a new world with CC:R and IP installed. - In the spawn...
Consider the following code: ```python from enum import Enum from dataclasses import dataclass from typing import Literal import marshmallow_dataclass class Color(Enum): RED = 0 GREEN = 1 BLUE = 2...
I've been spending some time looking at what the slow bits are of a clean 1lab build: | Name | Count | Total | Average | Max | |------------|-------|--------|---------|-------| |...
We may want to unify a row type `{ foo{%p} | %e }` with some rigid row `{ |f }`. However, this is not currently supported. Ideally we could have...
Consider: ``` var f = id(id); sig g : forall a. (a) -> a fun g(x) { f(x) } ``` Initially f is given the type `(%t) -> %t` (as...
Given `ids : [forall a, e::Row. (a) -e-> a]`, one may currently write `hd(ids)(2)`. However, under FreezeML this should strictly be a type error (one must write `hd(ids)@2`). We should...