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

Coalton mode #1093

Closed
wants to merge 13 commits into from
Closed

Coalton mode #1093

wants to merge 13 commits into from

Conversation

jbouwman
Copy link
Collaborator

@jbouwman jbouwman commented Apr 17, 2024

Support font lock, indentation, navigation, evaluation.

Uses tree-sitter for fonts and indent: requires Emacs 29+

Punchlist

  • full tree-sitter grammar
  • fontification
  • indentation
  • eval definition at point (via slime extension)
  • jump to definition at point

jbouwman and others added 12 commits April 23, 2024 15:02
- move package parser to separate input file
- use output classes to implement codegen and ast dumping
- support direct compilation of files
Initial work loading grammar
- indent all sublists by 2 characters
- add example .coalton file
entries for types, instances and functions
query before installing grammar dylib
regenerate defpackages in source
provide for comments in generated source
add key bindings
@jbouwman jbouwman mentioned this pull request May 17, 2024
jbouwman added a commit to coalton-lang/coalton-mode that referenced this pull request May 20, 2024
Fontification, indent, indexing of functions, and stubs for swank interaction

This is initial work towards coalton-lang/coalton#1093

Evaluation and error reporting depend on the addition of a complete
package form to the language, and a new compiler entry point.
@jbouwman
Copy link
Collaborator Author

jbouwman commented Jun 3, 2024

This effort has moved to a separate repository at https://github.com/coalton-lang/coalton-mode

Basic operation beyond syntax highlighting is contingent on .coal file format support in #1111

coalton-lang/coalton-mode#11

@jbouwman jbouwman closed this Jun 3, 2024
@jbouwman jbouwman deleted the coalton-mode branch September 27, 2024 22:38
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.

1 participant