From 36a7da75d1772156760bdff1f171f8f1f5d7a3c9 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 21 Jan 2025 23:36:09 +0100 Subject: Report ambiguous type/kind uvars, don't crash --- src/HSVIS/Pretty.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/HSVIS/Pretty.hs') diff --git a/src/HSVIS/Pretty.hs b/src/HSVIS/Pretty.hs index cc8cb2a..c25fe08 100644 --- a/src/HSVIS/Pretty.hs +++ b/src/HSVIS/Pretty.hs @@ -9,6 +9,10 @@ class Pretty a where instance Pretty Void where prettysPrec _ = absurd +instance (Pretty a, Pretty b) => Pretty (a, b) where + prettysPrec _ (x, y) = + showString "(" . prettysPrec 0 x . showString ", " . prettysPrec 1 y . showString ")" + prettyPrec :: Pretty a => Int -> a -> String prettyPrec d x = prettysPrec d x "" -- cgit v1.2.3-70-g09d2