From 909b7a4eacaba7323ac44f7950e60e8956e4081c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 22 Mar 2024 21:56:35 +0100 Subject: Working kind inference --- src/HSVIS/Parser.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/HSVIS/Parser.hs') 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) -- cgit v1.2.3-70-g09d2