diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-03-22 21:56:35 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-03-22 21:56:35 +0100 |
| commit | 909b7a4eacaba7323ac44f7950e60e8956e4081c (patch) | |
| tree | 313f87022729ec7776332c828703677c293c8ac2 /src/HSVIS/Parser.hs | |
| parent | cc61cdc000481f9dc88253342c328bdb99d048a4 (diff) | |
Working kind inference
Diffstat (limited to 'src/HSVIS/Parser.hs')
| -rw-r--r-- | src/HSVIS/Parser.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/HSVIS/Parser.hs b/src/HSVIS/Parser.hs index b4d8754..e89c679 100644 --- a/src/HSVIS/Parser.hs +++ b/src/HSVIS/Parser.hs @@ -896,7 +896,7 @@ raise fat msg = gets psCur >>= \pos -> raiseAt pos fat msg raiseAt :: (KnownFallible fail, FatalCtx fatal a) => Pos -> Fatality fatal -> String -> Parser fail a raiseAt pos fat msg = do Context { ctxFile = fp , ctxStack = stk, ctxLines = srcLines } <- ask - let err = Diagnostic fp (Range pos pos) stk (srcLines !! posLine pos) msg + let err = Diagnostic SError fp (Range pos pos) stk (srcLines !! posLine pos) msg case fat of Error -> dictate (pure err) -- Fatal -> confess (pure err) |