Search results

Type alias of type paramater does not work

bug

criticalcritical bugcritical bug

Status: Open.

#2002 In hazelgrove/hazel;

·7h3kk1d openedon Nov 4, 2025

Statics crashes with Not_found exception

bug

criticalcritical bugcritical bug

Status: Open.

Bug

#1999 In hazelgrove/hazel;

·7h3kk1d openedon Nov 3, 2025

Inconsistent highlighting of parentheses in errors

bug

Status: Open.

#1997 In hazelgrove/hazel;

·MaxCarroll0 openedon Oct 30, 2025

odd styling for folded functions in explainthis sidebar

bug

Status: Open.

#1996 In hazelgrove/hazel;

·cyrus- openedon Oct 29, 2025

horizontal scroll always shows up

bug

Status: Open.

#1995 In hazelgrove/hazel;

·cyrus- openedon Oct 29, 2025

Menhir parser not the same as hazel parser on ==!

Status: Open.

#1989 In hazelgrove/hazel;

·Negabinary openedon Oct 17, 2025

Probes on constructors break pattern matching

bug

Status: Open.

Bug

#1987 In hazelgrove/hazel;

·7h3kk1d openedon Oct 16, 2025

Single deferral results in singleton tuple

bug

criticalcritical bugcritical bug

Status: Open.

Bug

#1983 In hazelgrove/hazel;

·7h3kk1d openedon Oct 7, 2025

Gradescope Timeout -> Full Marks

Status: Open.

#1981 In hazelgrove/hazel;

·thomasporter522 openedon Oct 7, 2025

Cursor inspector should show what type variable is an alias of

Status: Open.

#1978 In hazelgrove/hazel;

·7h3kk1d openedon Oct 1, 2025

Double-Recursive sum type crashes exhaustivity checker

Status: Open.

#1976 In hazelgrove/hazel;

·Negabinary openedon Oct 1, 2025

Failed ascriptions are not indet

bug

Status: Open.

Bug

#1968 In hazelgrove/hazel;

·7h3kk1d openedon Sep 25, 2025