diff --git a/Jukebox/TPTP/Lexer.x b/Jukebox/TPTP/Lexer.x --- a/Jukebox/TPTP/Lexer.x +++ b/Jukebox/TPTP/Lexer.x @@ -18,6 +18,7 @@ import qualified Data.ByteString.Lazy.Char8 as BSL import Data.ByteString.Lazy.Internal import Data.Word +import Data.Char } $alpha = [a-zA-Z0-9_] diff --git a/dist/build/Jukebox/TPTP/Lexer.hs b/dist/build/Jukebox/TPTP/Lexer.hs --- a/dist/build/Jukebox/TPTP/Lexer.hs +++ b/dist/build/Jukebox/TPTP/Lexer.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -fno-warn-unused-binds -fno-warn-missing-signatures #-} {-# LANGUAGE CPP,MagicHash #-} {-# LINE 4 "Jukebox/TPTP/Lexer.x" #-} @@ -17,6 +18,7 @@ import qualified Data.ByteString.Lazy.Char8 as BSL import Data.ByteString.Lazy.Internal import Data.Word +import Data.Char #if __GLASGOW_HASKELL__ >= 603 #include "ghcconfig.h" @@ -25,17 +27,17 @@ #endif #if __GLASGOW_HASKELL__ >= 503 import Data.Array -import Data.Char (ord) import Data.Array.Base (unsafeAt) #else import Array -import Char (ord) #endif #if __GLASGOW_HASKELL__ >= 503 import GHC.Exts #else import GlaExts #endif +alex_tab_size :: Int +alex_tab_size = 8 alex_base :: AlexAddr alex_base = AlexA# "\xf8\xff\xff\xff\x49\x00\x00\x00\x30\x00\x00\x00\x4a\x00\x00\x00\x29\x01\x00\x00\xd9\xff\xff\xff\x9e\x01\x00\x00\x1e\x02\x00\x00\x9e\x02\x00\x00\x1e\x03\x00\x00\x9e\x03\x00\x00\x1e\x04\x00\x00\x9e\x04\x00\x00\x1e\x05\x00\x00\x9e\x05\x00\x00\x1e\x06\x00\x00\x00\x00\x00\x00\x8f\x06\x00\x00\x00\x00\x00\x00\x00\x07\x00\x00\x00\x00\x00\x00\x71\x07\x00\x00\x00\x00\x00\x00\xea\x00\x00\x00\x00\x00\x00\x00\xb2\x07\x00\x00\x00\x00\x00\x00\xf3\x07\x00\x00\xf3\x08\x00\x00\xdc\xff\xff\xff\xb3\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x24\x09\x00\x00\x95\x09\x00\x00\x95\x0a\x00\x00\xf5\x0a\x00\x00\xca\x0b\x00\x00\xb5\x0a\x00\x00\x00\x00\x00\x00\xbf\x0c\x00\x00\x1f\x0d\x00\x00\xf4\x0d\x00\x00\x8a\x0b\x00\x00\x00\x00\x00\x00\x69\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe0\x0c\x00\x00\xaa\x0e\x00\x00\xc9\xff\xff\xff\xca\xff\xff\xff\x4c\x00\x00\x00\x8a\x0f\x00\x00\x7f\x10\x00\x00\xff\x10\x00\x00\x7f\x11\x00\x00\x4a\x0f\x00\x00\x3f\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x35\x12\x00\x00\x00\x00\x00\x00\x6b\x0e\x00\x00\x05\x13\x00\x00\x50\x13\x00\x00\x9b\x13\x00\x00\xe6\x13\x00\x00\x31\x14\x00\x00\x7c\x14\x00\x00\xc7\x14\x00\x00\x12\x15\x00\x00\x5d\x15\x00\x00\xa8\x15\x00\x00\xf3\x15\x00\x00\x3e\x16\x00\x00\x89\x16\x00\x00\xd4\x16\x00\x00\x1f\x17\x00\x00\x6a\x17\x00\x00\xb5\x17\x00\x00\x00\x18\x00\x00\x4b\x18\x00\x00\x96\x18\x00\x00\xe1\x18\x00\x00\x2c\x19\x00\x00\x77\x19\x00\x00\xc2\x19\x00\x00\x0d\x1a\x00\x00\x58\x1a\x00\x00\xa3\x1a\x00\x00\xee\x1a\x00\x00\x39\x1b\x00\x00\x84\x1b\x00\x00\xcf\x1b\x00\x00\x1a\x1c\x00\x00\x65\x1c\x00\x00\xb0\x1c\x00\x00\xfb\x1c\x00\x00\x46\x1d\x00\x00\x91\x1d\x00\x00\xdc\x1d\x00\x00\x27\x1e\x00\x00\x72\x1e\x00\x00\xbd\x1e\x00\x00\x08\x1f\x00\x00\x53\x1f\x00\x00\x9e\x1f\x00\x00\xe9\x1f\x00\x00\x34\x20\x00\x00\x7f\x20\x00\x00\xca\x20\x00\x00\x15\x21\x00\x00\x60\x21\x00\x00\xab\x21\x00\x00\xf6\x21\x00\x00\x41\x22\x00\x00\x8c\x22\x00\x00\xd7\x22\x00\x00\x22\x23\x00\x00\x6d\x23\x00\x00\xb8\x23\x00\x00\x03\x24\x00\x00\x4e\x24\x00\x00\x99\x24\x00\x00\xe4\x24\x00\x00\x2f\x25\x00\x00\x7a\x25\x00\x00\xc5\x25\x00\x00\x10\x26\x00\x00\x5b\x26\x00\x00\xa6\x26\x00\x00\xf1\x26\x00\x00\x3c\x27\x00\x00\x87\x27\x00\x00\xd2\x27\x00\x00\x1d\x28\x00\x00\x68\x28\x00\x00\xb3\x28\x00\x00\xfe\x28\x00\x00\x49\x29\x00\x00\x94\x29\x00\x00\xdf\x29\x00\x00\x2a\x2a\x00\x00\x75\x2a\x00\x00\xc0\x2a\x00\x00\x0b\x2b\x00\x00\x56\x2b\x00\x00\xa1\x2b\x00\x00\xec\x2b\x00\x00\x37\x2c\x00\x00\x82\x2c\x00\x00\xcd\x2c\x00\x00\x18\x2d\x00\x00\x63\x2d\x00\x00\xae\x2d\x00\x00\xf9\x2d\x00\x00\x44\x2e\x00\x00\x8f\x2e\x00\x00\xda\x2e\x00\x00\x25\x2f\x00\x00\x70\x2f\x00\x00\xbb\x2f\x00\x00\x06\x30\x00\x00\x51\x30\x00\x00\x9c\x30\x00\x00\xe7\x30\x00\x00\x32\x31\x00\x00\x7d\x31\x00\x00\xc8\x31\x00\x00\x13\x32\x00\x00\x5e\x32\x00\x00\xa9\x32\x00\x00\xf4\x32\x00\x00\x3f\x33\x00\x00\x8a\x33\x00\x00\xd5\x33\x00\x00\x20\x34\x00\x00\x6b\x34\x00\x00\xb6\x34\x00\x00\x01\x35\x00\x00\x4c\x35\x00\x00\x97\x35\x00\x00\xe2\x35\x00\x00\x2d\x36\x00\x00\x78\x36\x00\x00\xc3\x36\x00\x00\x0e\x37\x00\x00\x59\x37\x00\x00\xa4\x37\x00\x00\xef\x37\x00\x00\x3a\x38\x00\x00\x85\x38\x00\x00\xd0\x38\x00\x00\x1b\x39\x00\x00\x66\x39\x00\x00\xb1\x39\x00\x00\xfc\x39\x00\x00\x47\x3a\x00\x00\x92\x3a\x00\x00\xdd\x3a\x00\x00\x28\x3b\x00\x00\x73\x3b\x00\x00\xbe\x3b\x00\x00\x09\x3c\x00\x00\x54\x3c\x00\x00\x9f\x3c\x00\x00\xea\x3c\x00\x00\x35\x3d\x00\x00\x80\x3d\x00\x00\xcb\x3d\x00\x00\x16\x3e\x00\x00\x61\x3e\x00\x00\xac\x3e\x00\x00\xf7\x3e\x00\x00\x42\x3f\x00\x00\x8d\x3f\x00\x00\xd8\x3f\x00\x00\x23\x40\x00\x00\x6e\x40\x00\x00\xb9\x40\x00\x00\x04\x41\x00\x00\x4f\x41\x00\x00\x9a\x41\x00\x00\xe5\x41\x00\x00\x30\x42\x00\x00\x7b\x42\x00\x00\xc6\x42\x00\x00\x11\x43\x00\x00\x5c\x43\x00\x00\xa7\x43\x00\x00\xf2\x43\x00\x00\x3d\x44\x00\x00\x88\x44\x00\x00\xd3\x44\x00\x00\x1e\x45\x00\x00\x69\x45\x00\x00\xb4\x45\x00\x00\xff\x45\x00\x00\x4a\x46\x00\x00\x95\x46\x00\x00\xe0\x46\x00\x00\x2b\x47\x00\x00\x76\x47\x00\x00\xc1\x47\x00\x00\x0c\x48\x00\x00\x00\x00\x00\x00\x57\x48\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xda\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcb\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd6\xff\xff\xff\x00\x00\x00\x00\x58\x0e\x00\x00\x4b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4e\x00\x00\x00\x00\x00\x00\x00\x4a\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# @@ -49,7 +51,7 @@ alex_deflt = AlexA# "\xff\xff\x2e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\x16\x00\x18\x00\x18\x00\x1a\x00\x1a\x00\x1f\x00\x1f\x00\x28\x00\x28\x00\x2d\x00\x2d\x00\x2e\x00\xff\xff\x2e\x00\x2e\x00\x30\x00\x2f\x00\x2f\x00\x30\x00\x36\x00\xff\xff\xff\xff\x36\x00\x36\x00\x04\x00\xff\xff\xff\xff\x04\x00\x04\x00\x2e\x00\x3d\x00\x3c\x00\x3c\x00\x3d\x00\xff\xff\xff\xff\xff\xff\xff\xff\x3f\x00\x3e\x00\xff\xff\x3f\x00\x3e\x00\x3f\x00\x3e\x00\xff\xff\x3f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# alex_accept = listArray (0::Int,287) [AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccNone,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAccSkip,AlexAcc (alex_action_3),AlexAcc (alex_action_4),AlexAcc (alex_action_5),AlexAcc (alex_action_6),AlexAcc (alex_action_7),AlexAcc (alex_action_8),AlexAcc (alex_action_9),AlexAcc (alex_action_10),AlexAcc (alex_action_11),AlexAcc (alex_action_12),AlexAcc (alex_action_13),AlexAcc (alex_action_14),AlexAcc (alex_action_15),AlexAcc (alex_action_16),AlexAcc (alex_action_17),AlexAcc (alex_action_18),AlexAcc (alex_action_19),AlexAcc (alex_action_20),AlexAcc (alex_action_21),AlexAcc (alex_action_22),AlexAcc (alex_action_23),AlexAcc (alex_action_24),AlexAcc (alex_action_25),AlexAcc (alex_action_26),AlexAcc (alex_action_27),AlexAcc (alex_action_28),AlexAcc (alex_action_29),AlexAcc (alex_action_29),AlexAcc (alex_action_30),AlexAcc (alex_action_30),AlexAcc (alex_action_31),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_32),AlexAcc (alex_action_33),AlexAcc (alex_action_34),AlexAcc (alex_action_35),AlexAccPred (alex_action_36) (alexRightContext 57)(AlexAccNone),AlexAccPred (alex_action_36) (alexRightContext 57)(AlexAccNone),AlexAcc (alex_action_37),AlexAcc (alex_action_38),AlexAcc (alex_action_39),AlexAcc (alex_action_40),AlexAcc (alex_action_41),AlexAcc (alex_action_42),AlexAcc (alex_action_43),AlexAcc (alex_action_44),AlexAcc (alex_action_45),AlexAcc (alex_action_46),AlexAcc (alex_action_47),AlexAcc (alex_action_48),AlexAcc (alex_action_49),AlexAcc (alex_action_50),AlexAcc (alex_action_51),AlexAcc (alex_action_52),AlexAcc (alex_action_53),AlexAcc (alex_action_54),AlexAcc (alex_action_55),AlexAcc (alex_action_56),AlexAcc (alex_action_57),AlexAcc (alex_action_58),AlexAcc (alex_action_59),AlexAcc (alex_action_60),AlexAcc (alex_action_61),AlexAcc (alex_action_62),AlexAcc (alex_action_63),AlexAcc (alex_action_64),AlexAcc (alex_action_65),AlexAcc (alex_action_66),AlexAcc (alex_action_67),AlexAcc (alex_action_68),AlexAcc (alex_action_69),AlexAcc (alex_action_70),AlexAcc (alex_action_71)] -{-# LINE 94 "Jukebox/TPTP/Lexer.x" #-} +{-# LINE 95 "Jukebox/TPTP/Lexer.x" #-} data Pos = Pos {-# UNPACK #-} !Word {-# UNPACK #-} !Word deriving Show data Token = Atom { keyword :: !Keyword, name :: !BS.ByteString } @@ -298,8 +300,13 @@ + + + + + {-# LINE 9 "" #-} -{-# LINE 1 "/usr/lib/ghc-7.10.1/include/ghcversion.h" #-} +{-# LINE 1 "/usr/lib/ghc-7.10.3/include/ghcversion.h" #-} @@ -374,8 +381,8 @@ narrow32Int# i where i = word2Int# ((b3 `uncheckedShiftL#` 24#) `or#` - (b2 `uncheckedShiftL#` 16#) `or#` - (b1 `uncheckedShiftL#` 8#) `or#` b0) + (b2 `uncheckedShiftL#` 16#) `or#` + (b1 `uncheckedShiftL#` 8#) `or#` b0) b3 = int2Word# (ord# (indexCharOffAddr# arr (off' +# 3#))) b2 = int2Word# (ord# (indexCharOffAddr# arr (off' +# 2#))) b1 = int2Word# (ord# (indexCharOffAddr# arr (off' +# 1#))) @@ -415,30 +422,30 @@ alexScanUser user input (I# (sc)) = case alex_scan_tkn user input 0# input sc AlexNone of - (AlexNone, input') -> - case alexGetByte input of - Nothing -> + (AlexNone, input') -> + case alexGetByte input of + Nothing -> - AlexEOF - Just _ -> + AlexEOF + Just _ -> - AlexError input' + AlexError input' - (AlexLastSkip input'' len, _) -> + (AlexLastSkip input'' len, _) -> - AlexSkip input'' len + AlexSkip input'' len - (AlexLastAcc k input''' len, _) -> + (AlexLastAcc k input''' len, _) -> - AlexToken input''' len k + AlexToken input''' len k -- Push the input through the DFA, remembering the most recent accepting @@ -447,7 +454,7 @@ alex_scan_tkn user orig_input len input s last_acc = input `seq` -- strict in the input let - new_acc = (check_accs (alex_accept `quickIndex` (I# (s)))) + new_acc = (check_accs (alex_accept `quickIndex` (I# (s)))) in new_acc `seq` case alexGetByte input of @@ -461,34 +468,34 @@ base = alexIndexInt32OffAddr alex_base s offset = (base +# ord_c) check = alexIndexInt16OffAddr alex_check offset - + new_s = if GTE(offset,0#) && EQ(check,ord_c) - then alexIndexInt16OffAddr alex_table offset - else alexIndexInt16OffAddr alex_deflt s - in + then alexIndexInt16OffAddr alex_table offset + else alexIndexInt16OffAddr alex_deflt s + in case new_s of - -1# -> (new_acc, input) - -- on an error, we want to keep the input *before* the - -- character that failed, not after. - _ -> alex_scan_tkn user orig_input (if c < 0x80 || c >= 0xC0 then (len +# 1#) else len) + -1# -> (new_acc, input) + -- on an error, we want to keep the input *before* the + -- character that failed, not after. + _ -> alex_scan_tkn user orig_input (if c < 0x80 || c >= 0xC0 then (len +# 1#) else len) -- note that the length is increased ONLY if this is the 1st byte in a char encoding) - new_input new_s new_acc + new_input new_s new_acc } where - check_accs (AlexAccNone) = last_acc - check_accs (AlexAcc a ) = AlexLastAcc a input (I# (len)) - check_accs (AlexAccSkip) = AlexLastSkip input (I# (len)) + check_accs (AlexAccNone) = last_acc + check_accs (AlexAcc a ) = AlexLastAcc a input (I# (len)) + check_accs (AlexAccSkip) = AlexLastSkip input (I# (len)) - check_accs (AlexAccPred a predx rest) - | predx user orig_input (I# (len)) input - = AlexLastAcc a input (I# (len)) - | otherwise - = check_accs rest - check_accs (AlexAccSkipPred predx rest) - | predx user orig_input (I# (len)) input - = AlexLastSkip input (I# (len)) - | otherwise - = check_accs rest + check_accs (AlexAccPred a predx rest) + | predx user orig_input (I# (len)) input + = AlexLastAcc a input (I# (len)) + | otherwise + = check_accs rest + check_accs (AlexAccSkipPred predx rest) + | predx user orig_input (I# (len)) input + = AlexLastSkip input (I# (len)) + | otherwise + = check_accs rest data AlexLastAcc a @@ -497,9 +504,9 @@ | AlexLastSkip !AlexInput !Int instance Functor AlexLastAcc where - fmap f AlexNone = AlexNone + fmap _ AlexNone = AlexNone fmap f (AlexLastAcc x y z) = AlexLastAcc (f x) y z - fmap f (AlexLastSkip x y) = AlexLastSkip x y + fmap _ (AlexLastSkip x y) = AlexLastSkip x y data AlexAcc a user = AlexAccNone @@ -528,12 +535,8 @@ --alexRightContext :: Int -> AlexAccPred _ alexRightContext (I# (sc)) user _ _ input = case alex_scan_tkn user input 0# input sc AlexNone of - (AlexNone, _) -> False - _ -> True - -- TODO: there's no need to find the longest - -- match when checking the right context, just - -- the first match will do. - - --- used by wrappers -iUnbox (I# (i)) = i + (AlexNone, _) -> False + _ -> True + -- TODO: there's no need to find the longest + -- match when checking the right context, just + -- the first match will do. diff --git a/jukebox.cabal b/jukebox.cabal --- a/jukebox.cabal +++ b/jukebox.cabal @@ -1,5 +1,5 @@ Name: jukebox -Version: 0.1.4 +Version: 0.1.5 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone @@ -17,6 +17,10 @@ encoding types) and clausify problems (both typed and untyped). License: BSD3 License-file: LICENSE + +source-repository head + type: git + location: https://github.com/nick8325/jukebox Library Build-depends: bytestring, base >= 4 && < 5, array, mtl, directory,