hazel

hazel copied to clipboard

Hazel lexer

1

I need a Hazel lexer. Maybe someone's already made one?

disconcision

polymorphic equality and inequality

3

@cyrus- are you still okay making the equality operator polymorphic? I've done this on the LLM branch for convenience, so I'll copy-paste some code here to accelerate someone doing it...

disconcision

Let "expects" the correct type when there's nothing to expect

1

  (also shows up in https://github.com/hazelgrove/hazel/issues/1242#issuecomment-2000090219)

Negabinary

`+ X(Int)` should not be a ground type

3

Breaking example on dev:  ``` let x : + B( ) = B(1) in let y : + B(Int) = x in let B(n) = y in n +...

Negabinary

hannahpotter

The simplest example is `([)(`; it will print a messages to the console "WARN: zipper_of_string: Invalid_argument("option is None")" but there is no other feedback. This is a minified version of...

disconcision

Not a total unknown unknown, but this is the shortest example I've found so far of something that triggers an exponential slowdown in the input parser; this takes minutes to...

disconcision

Recursive types that should be the same when unrolled are inconsistent

3


Negabinary

If you edit the text in the Hazel UI while the app is still evaluating, the web worker is re-initialized (which is expected), but performs multiple GET requests for worker.js...

LarWong

This screenshot shows the results of pasting the `"yo"` into `()`. Considering strings will still be special-cased in the new syntax model this may still be an issue.

disconcision