diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-02-23 23:39:35 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-02-23 23:39:35 +0100 |
| commit | 216002a4dfac49755262a490b8407737ac0f472b (patch) | |
| tree | 3400fcb5ccb0d158a7d07eb96896d5016a8c9a20 /src/CHAD/AST | |
| parent | f5b1b405fa4ba63bdffe0f2998f655f0b06534bf (diff) | |
WIP test that Sparse is a join-semilatticesparse-lattice-test
Diffstat (limited to 'src/CHAD/AST')
| -rw-r--r-- | src/CHAD/AST/Pretty.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD/AST/Pretty.hs b/src/CHAD/AST/Pretty.hs index 9ddcb35..aabe6d6 100644 --- a/src/CHAD/AST/Pretty.hs +++ b/src/CHAD/AST/Pretty.hs @@ -5,7 +5,7 @@ {-# LANGUAGE LambdaCase #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TupleSections #-} -module CHAD.AST.Pretty (pprintExpr, ppExpr, ppSTy, ppSMTy, PrettyX(..)) where +module CHAD.AST.Pretty (pprintExpr, ppExpr, ppSTy, ppSMTy, ppSparse, PrettyX(..)) where import Control.Monad (ap) import Data.List (intersperse, intercalate) |