ListMaybe: use Natural instead of Int

fogti

Aug 21, 2024, 10:42 AM

BYJ7NJSKA3G5YNETPT4PEAW5TH4KTNI66BMHNMDWFS6YXSFYWVMQC

Dependencies

• [2] 6XMVEBZA add simple stuff (e.g. haskell basics)

Change contents

• replacement in core/lib/GardGround/Utils/ListMaybe.hs at line 8
  [2.907]→[2.907:956](∅→∅)
  − data ListMaybe a = ListMaybe Int [(a, [a], Int)]
  [2.907]

  [2.956]
  + import Numeric.Natural

  +

  + data ListMaybe a = ListMaybe Natural [(a, [a], Natural)]