# HG changeset patch
# User wenzelm
# Date 1628284350 -7200
# Node ID 49fd45ffd43f78cb7cbda09ed992173a5e66e48e
# Parent  7bbac3eb8adf77f0ce8e0daf6ecf7a20f72c4028
tuned signature;

diff -r 7bbac3eb8adf -r 49fd45ffd43f src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Aug 06 21:05:35 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Fri Aug 06 23:12:30 2021 +0200
@@ -26,7 +26,7 @@
   make, unmake, pack, unpack,
   empty, null, length, index, all, any,
   head, last, take, drop, isPrefixOf, isSuffixOf,
-  concat, space, spaces, char, all_char, any_char, byte, max_byte, max_char, singleton
+  concat, space, spaces, char, all_char, any_char, byte, singleton
 )
 where
 
@@ -121,16 +121,10 @@
 byte :: Char -> Word8
 byte = toEnum . fromEnum
 
-max_byte :: Word8
-max_byte = maxBound
-
-max_char :: Char
-max_char = char max_byte
-
 singletons :: Array Word8 Bytes
 singletons =
-  array (0, max_byte)
-    [(i, make (ByteString.singleton i)) | i <- [0 .. max_byte]]
+  array (minBound, maxBound)
+    [(i, make (ByteString.singleton i)) | i <- [minBound .. maxBound]]
 
 singleton :: Word8 -> Bytes
 singleton b = singletons ! b