Garmelon/mima-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix address and number parser

Browse source 
* The order in the address parser was wrong

* The signed number *optionally* required a sign. Due to this every
  address was relative. Now the `signedNumber` *required* a sign and the
  previous behaviour was renamed to `optionallySignedNumber`.
This commit is contained in:
I-Al-Istannen 2020-03-31 12:03:52 +02:00
parent f96f088eba
commit 5bfd2e4357
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/Mima/Asm/Phase1.hs
View file

@ -218,12 +218,15 @@ number =
(chunk "0x" *> hexadecimal) <|>
decimal
optionallySignedNumber :: (Num a) => Parser a
optionallySignedNumber = signed (pure ()) number -- do not allow any space
signedNumber :: (Num a) => Parser a
signedNumber = signed empty number
signedNumber = lookAhead (char '+' <|> char '-') *> optionallySignedNumber
boundedNumber :: (Bounded n, Num n) => Parser n
boundedNumber = do
n <- signedNumber :: Parser Integer
n <- optionallySignedNumber :: Parser Integer
when (n < minVal || n > maxVal) $ fail $
"invalid range: " ++
show n ++ " is not between " ++
@ -235,8 +238,8 @@ boundedNumber = do
address :: Parser (Address Span)
address =
fmap (uncurry AddressAbsolute) (withSpan boundedNumber) <|>
fmap (uncurry AddressRelative) (withSpan signedNumber)
fmap (uncurry AddressRelative) (withSpan signedNumber) <|>
fmap (uncurry AddressAbsolute) (withSpan boundedNumber)
location :: Parser (Location Span)
location = (LocationAddress <$> address) <|> (LocationLabel <$> name)