diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-01-21 23:36:09 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-01-21 23:36:09 +0100 |
| commit | 36a7da75d1772156760bdff1f171f8f1f5d7a3c9 (patch) | |
| tree | 2bb688e99bbda57971edf66ab2977edac37af154 /src/HSVIS/Pretty.hs | |
| parent | 728c7f577228c1b1dab91c81f91cdfb9f59ec5bd (diff) | |
Report ambiguous type/kind uvars, don't crash
Diffstat (limited to 'src/HSVIS/Pretty.hs')
| -rw-r--r-- | src/HSVIS/Pretty.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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 "" |