Richard Feldman

WIP: (do not merge yet!) Incorporate Abilities into builtin docs

2

Blocked on https://github.com/rtfeldman/roc/issues/3207 --- was trying out some syntax to see how it looks: * `isEq : a, a -> Bool | a supports Equating` instead of `isEq : a,...

[WIP] Add some basic file I/O to CLI example

2

(this was blocked on https://github.com/rtfeldman/roc/issues/2365, but now that that's fixed, this is unblocked! I'll probably get back to it in mid-May, but have 3 talks and other things that are...

Builtins to implement

21

# Builtins to implement These are some builtins we haven't yet implemented. When implementing a builtin, please: 1. Make an issue for it and and assign it to yourself so...

First-class opaque types (replacing private tags)

2

## Background [Opaque types](https://en.wikipedia.org/wiki/Opaque_data_type) are a valuable programming language feature. Currently, Roc implements them using private tags, e.g. `@Foo` instead of `Foo` means "a `Foo` tag, except scoped to the...

Unused def is not reported as unused

1

This (correctly) warns about the `Action` type alias being unused, but then (incorrectly) does not report that `button` is unused. ``` app "hello-rust" packages { pf: "platform" } imports []...

Monomorphization reaching `unreachable!` branch

1

In 181fcb97f702b36e839256daae3104ee2a89c135 running `cargo run examples/gui/Hello.roc` triggers an `unreachable!` ``` 'internal error: entered unreachable code: so far', compiler/mono/src/ir.rs:2410:21 ``` Of note, this only started happening after introducing a large recursive...

alias analysis panic involving optional record field annotations

3

To reproduce, replace `examples/hello-world/main.roc` with this and run it. It panics with: > 'Error in alias analysis: error in module ModName("UserApp"), function definition FuncName("\x01\x00\x00\x00\x0e\x00\x00\x00\x04\xabC{&\xb1\xde\xe0"): expected type '(heap_cell,)', found type '((heap_cell,),...

Store messages instead of `model`?

4

Currently if I change `init` or my initial model, those changes will not get hot-loaded because `hmr.js` remembers the last model state. I made a proof of concept back in...

This way when you do `npm run postbuild && npm run start` you can see the 6KB result without any further effort!

`Query.contains` gives unexpected output when using event handlers

3

Originally reported in https://github.com/eeue56/elm-html-test/issues/37 Suppose we write this test code. It should fail because it's requesting an `onInput` handler that isn't there: ```elm import Html exposing (div, li, text, ul)...