Skip to content
Snippets Groups Projects
Commit 88e6f7d6 authored by Alan Zimmerman's avatar Alan Zimmerman
Browse files

API Annotations: Keep track of unicode for linear arrow notation 

The linear arrow can be parsed as `%1 ->` or a direct single token unicode
equivalent.

Make sure that this distinction is captured in the parsed AST by using
IsUnicodeSyntax where it appears, and introduce a new API Annotation,
AnnMult to represent its location when unicode is not used.

Updated haddock submodule
parent 6a243e9d
No related branches found
No related tags found
No related merge requests found
Pipeline #26363 passed with warnings
Stage: tool-lint
    Stage: quick-build
      Stage: lint
        Stage: build
          Stage: full-build
            Stage: packaging
              Stage: testing
                Hide whitespace changes
                Inline Side-by-side
                Showing
                with 108 additions and 77 deletions
                0% or .
                You are about to add 0 people to the discussion. Proceed with caution.
                Finish editing this message first!
                Please register or to comment