Ignore:
Timestamp:
12/02/17 01:12:52 (3 years ago)
Author:
Kon Lovett
Message:

no params are funcs too

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/4/dsssl-utils/trunk/typed-define.scm

    r34866 r34913  
    3030    ;Pure
    3131    ;
     32    ((_ (?name) --> ?rt ?body ...)
     33      (define:-procedure (?name) --> ?rt ?body ...) )
     34    ;
    3235    ((_ (?name (?v ?t) ...) --> ?rt ?body ...)
    3336      (define:-procedure (?name (?v ?t) ...) --> ?rt ?body ...) )
     
    4144    ;Impure
    4245    ;
     46    ((_ (?name) -> ?rt ?body ...)
     47      (define:-procedure (?name) -> ?rt ?body ...) )
     48    ;
    4349    ((_ (?name (?v ?t) ...) -> ?rt ?body ...)
    4450      (define:-procedure (?name (?v ?t) ...) -> ?rt ?body ...) )
     
    5157    ;
    5258    ;Impure Convenience
     59    ;
     60    ((_ (?name) ?body ...)
     61      (define: (?name) -> void
     62        ?body ...) )
    5363    ;
    5464    ((_ (?name (?v ?t) ...) ?body ...)
     
    6575    ;
    6676    ;XXX
     77    ;
     78    ((_ (?name) ?arrow ?rt ?body ...)
     79      (begin
     80        (: ?name (?arrow ?rt))
     81        (define (?name)
     82          ?body ... ) ) )
    6783    ;
    6884    ((_ (?name (?v ?t) ...) ?arrow ?rt ?body ...)
Note: See TracChangeset for help on using the changeset viewer.