I've been using Bluespec Classic/Haskell on and off. I'd like to make a number of improvements to the user experience such as:

1. Improving parser error messages
2. Add language server support
3. Add qualified imports and package scoping to Bluespec Classic.
4. Parse documentation directly into HTML.

More advanced wishlist:

1. Step by step debug mode that annotates/overlays values of signals in editor.
2. Overlay/annotate solved schedules in IDE.
3. Some sort of REPL for quick experimentation

Helpful Links to Discussions

Below are some links to various discussions that should aid in my efforts to work on the compiler. These links provide some insight into compiler internals...

• Getting Type Annotations
• SMT Solver