From 442e74e329110d9016944541b22b7d77cd6db713 Mon Sep 17 00:00:00 2001 From: Tristan Cacqueray Date: Fri, 18 Jun 2021 22:38:52 +0000 Subject: [PATCH] fix documentation building MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This change fixes this error when building the haddock: src/FIR/AST/Prim.hs:209:3: error: parse error on input ‘MatF’ | 209 | MatF | ^^^^ cabal: Failed to build documentation for fir-0.0.1.0. --- src/FIR/AST/Prim.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/FIR/AST/Prim.hs b/src/FIR/AST/Prim.hs index 433de412..5d112c9c 100644 --- a/src/FIR/AST/Prim.hs +++ b/src/FIR/AST/Prim.hs @@ -205,7 +205,7 @@ data MkVectorF ( ast :: AugType -> Type ) ( t :: AugType ) where -> MkVectorF ast (Val (V n a)) data MatF ( ast :: AugType -> Type ) ( t :: AugType ) where --- | Newtype wrapping for matrices. + -- | Newtype wrapping for matrices. MatF :: forall m n a ast . ( KnownNat m, KnownNat n ) -- GitLab