SteParser.Lex: use Natural instead of Int

fogti

Aug 21, 2024, 9:45 PM

BHEGMMXQ5MC3347UI4VDYHRHBY5JYIGVM4SVRSMLVXJWOLBBX3VQC

Dependencies

• [2] GMGXNJEP add back more stuff from yanais

Change contents

• replacement in core/lib/GardGround/Utils/SteParser/Lex.hs at line 54
  [2.5056]→[2.5056:5122](∅→∅)
  − { start :: {-# UNPACK #-} !Int

  − , end :: {-# UNPACK #-} !Int
  [2.5056]

  [2.5122]
  + { start :: {-# UNPACK #-} !Natural

  + , end :: {-# UNPACK #-} !Natural
• replacement in core/lib/GardGround/Utils/SteParser/Lex.hs at line 73
  [2.5485]→[2.5485:5512](∅→∅)
  − emptyIdent :: Int -> Ident
  [2.5485]

  [2.5512]
  + emptyIdent :: Natural -> Ident
• replacement in core/lib/GardGround/Utils/SteParser/Lex.hs at line 83
  [2.5759]→[2.5759:5785](∅→∅)
  − peOffset :: !Int,
  [2.5759]

  [2.5785]
  + peOffset :: !Natural,
• replacement in core/lib/GardGround/Utils/SteParser/Lex.hs at line 99
  [2.6174]→[2.6174:6214](∅→∅)
  − shiftEnv :: (Int, Text) -> Parser' e ()
  [2.6174]

  [2.6214]
  + shiftEnv :: (Natural, Text) -> Parser' e ()
• replacement in core/lib/GardGround/Utils/SteParser/Lex.hs at line 105
  [2.6355]→[2.6355:6401](∅→∅)
  − slen :: Text -> Int

  − slen = C.length . U.toRep
  [2.6355]

  [2.6401]
  + slen :: Text -> Natural

  + slen = toEnum . C.length . U.toRep