Changeset 29627 in project


Ignore:
Timestamp:
08/23/13 08:52:48 (7 years ago)
Author:
Ivan Raikov
Message:

static-modules: added record printer for moddef

Location:
release/4/static-modules/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • release/4/static-modules/trunk/static-modules.scm

    r29537 r29627  
    175175    (Module_def (id ident?) (m modterm?)))
    176176
    177 
     177  (define-record-printer (moddef x out)
     178    (cases moddef x
     179           (Value_def (id term) (fprintf out "Value ~A = ~A" (ident-name id) term))
     180           (Type_def (id kind defty) (fprintf out "Type ~A = ~A" (ident-name id) defty))
     181           (Module_def (id m) (fprintf out "Module ~A = ~A" (ident-name id) m))
     182           ))
    178183
    179184  (define subst-kind (cs-subst-kind core))
  • release/4/static-modules/trunk/static-modules.setup

    r29535 r29627  
    1616
    1717  ; Assoc list with properties for your extension:
    18   `((version 1.6)
     18  `((version 1.7)
    1919    ))
Note: See TracChangeset for help on using the changeset viewer.