Issues

• Setting severity color

  RedPRL/asai#199 · Filter by author spotandjake opened on Jan 14, 2026

• Configurable unicode

  RedPRL/asai#196 · Filter by author mikeshulman opened on Aug 7, 2025
  3

• Allow extra_remarks that are colored by severity

  RedPRL/asai#195 · Filter by author mikeshulman opened on Jun 11, 2025

• What would it take to support UTF16 encoding?

  RedPRL/asai#192 · Filter by author kentookura opened on Jan 12, 2025
  4

• GitHub backend: :: in title will break the title

  Bug

  RedPRL/asai#190 · Filter by author favonia opened on Dec 27, 2024

• Changing the message of a structured diagnostic

  Bug

  RedPRL/asai#189 · Filter by author mikeshulman opened on Nov 23, 2024
  2

• Naming in range.ml

  design is neededdocumentation
  Feature

  RedPRL/asai#187 · Filter by author mikeshulman opened on Nov 2, 2024
  1

• 🔣 A domain-specific language with handler combinators

  RedPRL/asai#186 · Filter by author favonia opened on Nov 1, 2024
  4

• ⏳ Buffering handler for accumulating diagnostics

  RedPRL/asai#185 · Filter by author favonia opened on Oct 31, 2024
  2

• 🅱️ Fallback when file reading fails

  Feature

  RedPRL/asai#179 · Filter by author favonia opened on Oct 30, 2024

• 🌎 Generalized "positions"?

  Feature

  RedPRL/asai#169 · Filter by author mikeshulman opened on Oct 21, 2024 · 0.4.0
  10

• 🔍 Looking up ranges in structured data

  Feature

  RedPRL/asai#162 · Filter by author kentookura opened on Oct 16, 2024

• 🔇 Suppress diagnostics caused by already reported errors

  Feature

  RedPRL/asai#160 · Filter by author kentookura opened on Oct 14, 2024
  11

• 🖥️ Document DEC mode 2027

  Task

  RedPRL/asai#155 · Filter by author favonia opened on Sep 27, 2024

• 🔤 Use OCaml 5.3 effect syntax

  Task

  RedPRL/asai#154 · Filter by author favonia opened on Sep 27, 2024

• 🇱 Check the message tree to explore errors in Lean 4

  Task

  RedPRL/asai#152 · Filter by author favonia opened on Aug 19, 2024

• 🧵 Helper functions to support error reporting from multiple threads

  Feature

  RedPRL/asai#151 · Filter by author favonia opened on Aug 19, 2024

• 🖨️ A more flexible API to specify output target

  design is needed
  Feature

  RedPRL/asai#150 · Filter by author kentookura opened on Aug 7, 2024
  10

• ✅ Add tests for the new functions in String_utils

  Task

  RedPRL/asai#148 · Filter by author favonia opened on Nov 16, 2023 · 0.4.0

• 📚 Investigate and maybe document how "Info" and "Hint" are used in editors

  Task

  RedPRL/asai#146 · Filter by author favonia opened on Nov 14, 2023 · far away

• 💅 Implement a handler based on grace

  Feature

  RedPRL/asai#107 · Filter by author favonia opened on Oct 18, 2023 · far away
  8

• Current LSP backend is not compositional

  design is neededhelp wantedlsp
  Feature

  RedPRL/asai#42 · Filter by author favonia opened on Aug 30, 2023 · far away
  4

• Debugging support

  question
  RedPRL/asai#38 · Filter by author favonia opened on Jun 7, 2023 · far away
  1

• 🖥️ Add example configurations for LSP servers

  documentationlsp
  RedPRL/asai#1 · Filter by author TOTBWF opened on Jul 14, 2022 · far away
  7