hazel

hazel copied to clipboard

cyrus-

cyrus-

For any binding forms, need to better indicate non-exhaustive pattern match error holes

cyrus-

Run-time errors currently display as just text in the middle of the output.

cyrus-

- holes - cast errors (using blame) - function values - pieces of syntax in indet output (using unique IDs passed down to dhexp?)

cyrus-

like @ in OCaml

cyrus-

Type Hole Inference (post merge)

37

RaefM

Breadcrumb bar

11

Breadcrumb bar of hazel. Now merged the haz3l-module branch. could show the current function/module you are in, and the droppings contains other same level functions/modules. The level is decided by...

xzxzlala

This is an initial design for improving the accessibility of the Hazel programming environment. It will contain a vim mode style query. User moves the cursor and inputs the command...

coned

Integrate menhir parser and elaborator tests

24

7h3kk1d