From 216002a4dfac49755262a490b8407737ac0f472b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 23 Feb 2026 23:39:35 +0100 Subject: WIP test that Sparse is a join-semilattice --- src/CHAD/AST/Pretty.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CHAD/AST') 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) -- cgit v1.2.3-70-g09d2