diff options
| author | Dougal <d.maclaurin@gmail.com> | 2022-05-23 10:15:25 -0400 |
|---|---|---|
| committer | Dougal <d.maclaurin@gmail.com> | 2022-05-24 15:21:53 -0400 |
| commit | 7db21195b0b169e72bb3193d3508b04870740ae1 (patch) | |
| tree | edd62e2d43834d2d1205f8230152b0fccdd1edbc /src/lib/PPrint.hs | |
| parent | 173bc5f571bc5c9ab20f9f95a79479900af1ae53 (diff) | |
Start adding Nat32/Nat64 built-in scalar types.
Diffstat (limited to 'src/lib/PPrint.hs')
| -rw-r--r-- | src/lib/PPrint.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lib/PPrint.hs b/src/lib/PPrint.hs index 024ae7d4..ff810bf6 100644 --- a/src/lib/PPrint.hs +++ b/src/lib/PPrint.hs @@ -826,6 +826,8 @@ instance PrettyPrec ScalarBaseType where prettyPrec sb = atPrec ArgPrec $ case sb of Int64Type -> "Int64" Int32Type -> "Int32" + Nat64Type -> "Nat64" + Nat32Type -> "Nat32" Float64Type -> "Float64" Float32Type -> "Float32" Word8Type -> "Word8" @@ -933,6 +935,8 @@ instance Pretty LitVal where pretty = prettyFromPrettyPrec instance PrettyPrec LitVal where prettyPrec (Int64Lit x) = atPrec ArgPrec $ p x prettyPrec (Int32Lit x) = atPrec ArgPrec $ p x + prettyPrec (Nat64Lit x) = atPrec ArgPrec $ p x + prettyPrec (Nat32Lit x) = atPrec ArgPrec $ p x prettyPrec (Float64Lit x) = atPrec ArgPrec $ printDouble x prettyPrec (Float32Lit x) = atPrec ArgPrec $ printFloat x prettyPrec (Word8Lit x) = atPrec ArgPrec $ p $ show $ toEnum @Char $ fromIntegral x |