hazel

hazel copied to clipboard

cyrus-

https://twitter.com/ShriramKMurthi/status/1462607300124979203

cyrus-

See cursorless https://marketplace.visualstudio.com/items?itemName=pokey.cursorless

cyrus-

See CodeTalk

cyrus-

https://i.cs.hku.hk/~bruno/papers/ecoop2021.pdf Would allow us to skip the elaboration phase, or large parts of it, and instead do "casts" directly via type ascriptions.

cyrus-

``` let ? = 2 + 2 in 3 + 3 ``` currently gets stuck because we don't know how the hole will be filled, but perhaps we could speculatively...

cyrus-

Create a new input syntax for function.

3

### Motivation Add a more compact syntax to function, such that ``` let f(x : A, y: B): C = e ``` should behave the same as below: ``` let...

DavidFangWJ

Fix `,-` parsing

8

Current requires a space to separate the `,` and the `-`.

AlienKevin

not sure what happened here, it was working when I reviewed the PR. something must have gone wrong with the automatic merge with `dev`? 

cyrus-

Errors in Polymorphism and Basic Reference examples

1

On build server dev I'm seeing a variety of suspicious-looking errors on both these example sheets:

disconcision