issues
search
RedPRL
/
asai
🩺 A library for compiler diagnostics
https://ocaml.org/p/asai
Apache License 2.0
35
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
❌ Explicator crashes when encountering a standalone backslash?
#188
kentookura
closed
2 weeks ago
18
Naming in range.ml
#187
mikeshulman
opened
2 weeks ago
1
🔣 A domain-specific language with handler combinators
#186
favonia
opened
3 weeks ago
4
⏳ Buffering handler for accumulating diagnostics
#185
favonia
opened
3 weeks ago
2
feat(Diagnostic): support generalize locations
#184
favonia
opened
3 weeks ago
0
docs(Tty): improve documentation
#183
favonia
closed
3 weeks ago
0
docs: create module aliases for backward compatibility
#182
favonia
closed
3 weeks ago
0
docs(Tty): update documentation on Unicode line breaking
#181
favonia
closed
3 weeks ago
0
docs: fix various mistakes in documentation
#180
favonia
closed
3 weeks ago
0
🅱️ Fallback when file reading fails
#179
favonia
opened
3 weeks ago
0
refactor!: use Camal_snake
#178
favonia
closed
3 weeks ago
0
Replace `CamelCase` with `Camel_snake_case`
#177
favonia
closed
3 weeks ago
3
📐 More comprehensive support for computing with ranges
#176
kentookura
closed
3 weeks ago
3
feat(Tty): custom markers
#175
favonia
closed
3 weeks ago
16
refactor(Utils): clean up unused code
#174
favonia
closed
3 weeks ago
0
refactor: re-organize code
#173
favonia
closed
3 weeks ago
0
docs: bump the next version to 0.4.0
#172
favonia
closed
3 weeks ago
0
feat(SourceMarker): display EOL and EOF points as "EOL" and "EOF"
#171
favonia
closed
3 weeks ago
0
refactor: rename internal modules
#170
favonia
closed
3 weeks ago
0
🌎 Generalized "positions"?
#169
mikeshulman
opened
1 month ago
10
feat(Range): first stage of supporting single-position ranges
#168
favonia
closed
3 weeks ago
0
docs: really change the license
#167
favonia
closed
1 month ago
0
fix(Tty): err when use_color=true but use_ansi=false
#166
favonia
closed
1 month ago
0
🔡 Update links to Unicode standard
#165
favonia
closed
3 weeks ago
0
refacotr(Explicator): remove unused code
#164
favonia
closed
1 month ago
0
📄 Licensing of LSP server derived from Asai LSP
#163
kentookura
closed
3 weeks ago
3
🔍 Looking up ranges in structured data
#162
kentookura
opened
1 month ago
0
📍 Generalize `Range.eof` to arbitrary positions
#161
favonia
closed
3 weeks ago
5
🔇 Suppress diagnostics caused by already reported errors
#160
kentookura
opened
1 month ago
11
refactor: factor out text handling as new modules `Text` and `Loctext`
#159
favonia
closed
1 month ago
0
fix(Range): rename `locate` to `located`
#158
favonia
closed
1 month ago
4
fix(lsp): breaking changes from lsp 1.19.0
#157
favonia
closed
1 month ago
0
docs: add the LLVM exceptions to our Apache 2.0 licensing
#156
favonia
closed
1 month ago
1
🖥️ Document DEC mode 2027
#155
favonia
opened
1 month ago
0
🔤 Use OCaml 5.3 effect syntax
#154
favonia
opened
1 month ago
0
test(Diagnostic): add a test
#153
favonia
closed
1 month ago
0
🇱 Check the message tree to explore errors in Lean 4
#152
favonia
opened
3 months ago
0
🧵 Helper functions to support error reporting from multiple threads
#151
favonia
opened
3 months ago
0
🖨️ A more flexible API to specify output target
#150
kentookura
opened
3 months ago
9
fix(Diagnostic): use Format.pp_infinity in string_of_text for OCaml 5.2
#149
kit-ty-kate
closed
9 months ago
4
✅ Add tests for the new functions in `String_utils`
#148
favonia
opened
1 year ago
0
feat: comprehensive checking for ranges
#147
favonia
closed
1 year ago
0
📚 Investigate and maybe document how "Info" and "Hint" are used in editors
#146
favonia
opened
1 year ago
0
fix(Tty): dim the carets
#145
favonia
closed
1 year ago
0
🧑⚕️ Comprehensive position/range checking
#144
favonia
closed
1 year ago
0
⛓️💥 Change the name of the argument `line_breaks`?
#143
favonia
closed
1 year ago
2
fix: correct and enhance the debug mode
#142
favonia
closed
1 year ago
0
🌘 Dim the carets...?
#141
favonia
closed
1 year ago
0
🔍 Find and fix all the bugs for forester
#140
favonia
closed
1 year ago
1
feat(Explicator): introduce debug mode
#139
favonia
closed
1 year ago
0
Next