Thijs Molendijk

Results 16 issues of Thijs Molendijk

My use case was to tunnel all Eris traffic through a central rate limiter (Twilight's [http-proxy](https://github.com/twilight-rs/http-proxy)), which uses HTTP instead of HTTPS. Given that we can already configure the domain...

enhancement

This PR adds a new configuration option called `righthand_indentation_strategy` (WIP name) that allows configuring of how rustfmt will emit assignment statements if the value does not fit on a single...

p-low
pr-on-hold
pr-merge-conflict

**Bug Description** The summoner 君 on NA (a real account!) cannot be looked up using the by-name endpoint, even though they exist. **Problem Description** There is a summoner named `君`...

Example: ``` data MultiBox: | mbox(ref v1 :: Number, ref v2 :: Number, ref v3 :: Number, v4 :: Number) where: mb = mbox(1, 2, 3, 4) cases(MultiBox) mb block:...

Simple example: ``` check: 1 raises 1 because 1 end ``` This yields the following error: ``` The type checker rejected your program because the object type {check-raises-satisfies :: Bot,...

The following snippet results in a type error where `nothing` is passed to an argument requiring a source location: ``` x = type-let A = Number: 32 end ``` ```...

Simple example: ``` fun one(): 1 where: block: a = 1 one() is 1 end end # Uncommenting this will yield the following error: "The identifier a is unbound" #...

Example: ``` var calls = 0 fun get() block: calls := calls + 1 0 end data A: a(ref x :: Number) end a(1)!{ x: get() } print("Total calls: "...

A simple example: ``` data Foo: | c(ref a :: String) end print(cases(Foo) c("a"): | c(ref x) => x + x end) ``` This prints `"aa"` at runtime, since the...

Running the following script yields an internal error without type checking, or the error `Key atom#NumberT#72 not found` when type checking is enabled: ``` newtype NumberA as NumberT a =...