Skip to content

Issues: hazelgrove/hazel

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
239 Open 534 Closed
239 Open 534 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Constructors that require arguments shouldn't be in patterns without arguments
#1309 opened May 16, 2024 by Negabinary
4 👀 1
Don't beta-reduce applications with incomplete arguments by default (UI for doing it explicitly?)
#196 opened Feb 7, 2020 by adamsmd
Add current git hash to the UI
#100 opened Feb 7, 2020 by adamsmd
Line numbers
#102 opened Feb 7, 2020 by adamsmd
Subscripts on variables
#103 opened Feb 7, 2020 by cyrus-
Show type inconsistency stack
#109 opened Feb 7, 2020 by adamsmd
Clicking on variable in context inspector takes you to binding
#111 opened Feb 7, 2020 by adamsmd
Prevent variables with names like "in" that are OCaml reserved words
#132 opened Feb 7, 2020 by adamsmd
Go to matching parens
#133 opened Feb 7, 2020 by cyrus-
Rename modules to snake case
#146 opened Feb 7, 2020 by adamsmd
Visualization of indet and failed matches pattern-matching
#150 opened Feb 7, 2020 by cyrus-
Check for irrefutable patterns in let/lambda binders pattern-matching
#151 opened Feb 7, 2020 by cyrus-
@pigumar1
Go to next usage action
#162 opened Feb 7, 2020 by cyrus-
1
Import / export to Git
#44 opened Oct 19, 2018 by cyrus-
Multi-select ala Deuce?
#199 opened Feb 7, 2020 by adamsmd
Run dead code analysis cleanup
#233 opened May 6, 2020 by cyrus-
5
CSS Containment hints performance
#252 opened May 10, 2020 by cyrus-
Clean up stylesheet cleanup
#301 opened May 29, 2020 by cyrus-
Use abstract/private types when appropriate cleanup
#322 opened Jun 10, 2020 by cyrus-
Distinguish livelit param count error and hole type inconsistency error in the UI
#359 opened Jun 21, 2020 by nickcollins
@nickcollins
1
Add GitHub Action to automatically fix formatting in PRs
#1413 opened Oct 30, 2024 by 7h3kk1d
Diff highlighting for Cursor Inspector
#409 opened Jul 17, 2020 by hannahpotter
UTF8 support for Hazel code
#466 opened Jan 28, 2021 by cyrus-
Negative exponents in floating point literals bug
#509 opened Jun 1, 2021 by cyrus-
1
3
Blame
#190 opened Feb 7, 2020 by adamsmd
ProTip! Follow long discussions with comments:>50.