Changeset 39053 in project


Ignore:
Timestamp:
09/24/20 04:28:47 (5 weeks ago)
Author:
Kon Lovett
Message:

/fold type comment, remove <...> struct tag defs since opaque

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/5/hash-trie/trunk/hash-trie.scm

    r38743 r39053  
    99
    1010(;export
     11  ;original
    1112  make-hash-trie-type
    1213  hash-trie-type?
     
    4142  hash-trie-type:symbol
    4243  hash-trie-type:string
    43   ;
     44  ;FIXME serializer interface shouldn't be so 'exposed"
    4445  hash-trie-root
    4546  hash-trie-branch?
     
    8586(: hash-trie/delete (<hash-trie> * -> <hash-trie>))
    8687
    87 #; ;i feel violated
     88#; ;FIXME '() : null but want '() : list - included code so ....
    8889(: hash-trie/fold (forall (e) (<hash-trie> e (* * e -> e) -> e)))
    8990(: hash-trie/fold (<hash-trie> * (* * * -> *) -> *))
     
    132133
    133134;expose as an algebraic type:
    134 ; type hash-trie : root -> node : (branch vector) | (bucket list)
     135;type hash-trie : root -> node : (branch vector) | (bucket list)
    135136
    136137(define hash-trie-root hash-trie.root)
Note: See TracChangeset for help on using the changeset viewer.