Ignore:
Timestamp:
01/31/21 21:21:33 (2 months ago)
Author:
Kon Lovett
Message:

fix fixed unique type

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/5/list-utils/trunk/list-utils.scm

    r39566 r39568  
    5656(define-type alist (or null (list-of pair)))
    5757
     58#; ;too strong
    5859(: list-unique/duplicates (forall (e (s (list-of e))) (s #!optional (e e -> *) -> s s)))
    59 (: list-unique (forall (e (s (list-of e))) (s #!optional (e e -> *) -> s)))
     60;(: list-unique (forall (e (s (list-of e))) (s #!optional (e e -> *) -> s)))
     61(: list-unique/duplicates (list #!optional (* * -> *) -> list list))
     62(: list-unique (list #!optional (* * -> *) -> list))
    6063(: sort-alist (alist #!optional procedure -> alist))
    6164(: sort-alist! (alist #!optional procedure -> void))
Note: See TracChangeset for help on using the changeset viewer.