Changeset 1515 for src/common/Graphs.ma


Ignore:
Timestamp:
Nov 18, 2011, 1:03:14 PM (9 years ago)
Author:
campbell
Message:

Add type of maps on positive binary numbers, and use them for identifers.

Also:

  • fix interpretation for - on positives
  • move eq_nat_dec to a more appropriate place
  • split out costs from other identifiers in ASM
  • use identifier abstractions in back-end
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r1253 r1515  
    2626  λseed: B.
    2727  match graph with
    28   [ an_id_map map ⇒ fold A B 16 f map seed
     28  [ an_id_map map ⇒ fold A B f map seed
    2929  ].
    3030
Note: See TracChangeset for help on using the changeset viewer.