Ignore:
Timestamp:
Nov 12, 2012, 4:30:03 PM (8 years ago)
Author:
tranquil
Message:

come changes in monad notation to

  • avoid pretty printed monsters
  • avoid "»=" notation for bind that breaks stuff like «?, ?» = ?
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/PositiveMap.ma

    r2439 r2453  
    425425match b with
    426426[ pm_leaf ⇒ pm_leaf ?
    427 | pm_node a l r ⇒ pm_node ? (a »= f)
     427| pm_node a l r ⇒ pm_node ? (!x ← a ; f x)
    428428    (map_opt ?? f l)
    429429    (map_opt ?? f r)
Note: See TracChangeset for help on using the changeset viewer.