Changeset 28744 in project


Ignore:
Timestamp:
04/17/13 16:41:01 (7 years ago)
Author:
juergen
Message:

some contracts stringified

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/skiplists

    r28511 r28744  
    9393              (item? item)
    9494              (procedure? order)
    95               (fixnum? (order item? item?))
     95              "(fixnum? (order item? item?))"
    9696              ((list-of? procedure?) orders)
    9797              " like order, last one might be dups")
     
    145145(_ sls)
    146146requires (%skiplist? sls)
    147 ensures  (and (procedure? result) (fixnum? (result x y)))
     147ensures  (and (procedure? result) "(fixnum? (result x y))")
    148148
    149149</enscript>
     
    186186
    187187(_ sls ok?)
    188 requires (and (%skiplist? sls) (procedure? ok?) (boolean? (ok? x)))
     188requires (and (%skiplist? sls) (procedure? ok?) "(boolean? (ok? x))")
    189189ensures  (%skiplist? result)
    190190
     
    294294requires (and (%skiplist? sls)
    295295              (procedure? fn)
    296               ((skiplist-item? sls) (fn x)))
     296              "((skiplist-item? sls) (fn x))")
    297297ensures  (%skiplist? result)
    298298
     
    308308              (fx> width 1)
    309309              (procedure? fn)
    310               ((skiplist-item? sls) (fn x)))
     310              "((skiplist-item? sls) (fn x))")
    311311ensures  (%skiplist? result)
    312312
Note: See TracChangeset for help on using the changeset viewer.