Skip to content
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.

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

Update flake and playground #84

Merged
merged 29 commits into from
Oct 1, 2023
Merged

Update flake and playground #84

merged 29 commits into from
Oct 1, 2023

Conversation

deemp
Copy link
Contributor

@deemp deemp commented Sep 19, 2023

  • Removed miso
  • Switched to CodeMirror 6 + NextJS (closes Update playground to CodeMirror 6 #11)
  • Updated compiler version: 9.2.7 -> 9.6.2
  • Updated nixpkgs in flake inputs
  • Added default rzk package
  • Removed rzk.nix
  • Added hie.yaml for Haskell Language Server to not complain about missing modules in rzk
  • Updated cache-nix-action: v1 -> v4
    • enabled garbage collection
    • enabled purging caches created more than 4 days ago after saving a new cache
  • Refactored flake.nix into several .nix files
  • Updated development instructions in README
  • Updated and formatted README using markdown-all-in-one
  • Unsuccessfully experimented
    • tried GHC 9.6.2 with JS backend to achieve incremental builds
    • tried GHCJS 8.10.7
    • tried JSaddle. Abandoned in favor of NextJS and next dev
  • Added Lezer grammar and initial styling.
    • followed docs on a Language package (link)
    • defined colors (link)
    • defined grammar (link)
    • defined mapping between parse tree nodes (uppercase words in the grammar) and tag types (link).

Editor

https://deemp.github.io/rzk/develop/playground/

It's resizable. Click and drag the line between the editor and output panel.

@deemp deemp marked this pull request as draft September 19, 2023 16:19
@deemp deemp marked this pull request as ready for review September 23, 2023 23:40
@deemp
Copy link
Contributor Author

deemp commented Sep 23, 2023

Don't need rzk.nix anymore.

@fizruk
Copy link
Member

fizruk commented Sep 25, 2023

@deemp can you bring this branch up-to-date?

@deemp
Copy link
Contributor Author

deemp commented Sep 25, 2023

Made new commits for more or less logically connected changes. Squashing was inconvenient.

Rebased on rzk/develop

@deemp deemp changed the title Update flake Update flake and playground Oct 1, 2023
@fizruk fizruk merged commit 554984e into rzk-lang:develop Oct 1, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update playground to CodeMirror 6
2 participants