Changeset 22116 in project for release/4/miniML/trunk/miniMLeval.scm


Ignore:
Timestamp:
12/25/10 17:54:44 (10 years ago)
Author:
Ivan Raikov
Message:

miniML: capitalizing element names in SXML representation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/4/miniML/trunk/miniMLeval.scm

    r21521 r22116  
    265265
    266266      (cases value v
    267              (Const_v     (c)       `(const ,(const->sxml c)))
     267             (Const_v     (c)       `(Const ,(const->sxml c)))
    268268             
    269              (Prim_v      (proc)    `(prim))
     269             (Prim_v      (proc)    `(Prim))
    270270             
    271271             (Tuple_v      (slots)   (if (null? slots) `(null)
    272                                         `(tuple (left ,(value->sxml (car slots)))
     272                                        `(Tuple (left ,(value->sxml (car slots)))
    273273                                                (right ,(value->sxml (cdr slots))))))
    274274             
    275275             (Closure_v   (body env)
    276                             `(closure (body ,(term->sxml body))
     276                            `(Closure (body ,(term->sxml body))
    277277                                      (env  ,@(eval-env->sxml env))))
    278278             ))
     
    281281  (cases modval v
    282282         (Structure_v (env)
    283                       `(component (@ (name ,name)) ,(eval-env->sxml env)))
     283                      `(Component (@ (name ,name)) . ,(eval-env->sxml env)))
    284284         (Mclosure_v  (body env)
    285                       `(modclosure  (@ (name ,name))
     285                      `(Modclosure  (@ (name ,name))
    286286                                    (body ,(modterm->sxml body))
    287                                     (env ,@(eval-env->sxml env))))))
     287                                    (env . ,@(eval-env->sxml env))))))
    288288
    289289(define (eval-env-entry->sxml x)
     
    291291        (v  (cdr x)))
    292292    (cond ((value? v)
    293            `(binding (@ (name ,(ident-name id))) (value ,(value->sxml v))))
     293           `(Binding (@ (name ,(ident-name id))) (value ,(value->sxml v))))
    294294          ((moddef? v)
    295295           (moddef->sxml v))
Note: See TracChangeset for help on using the changeset viewer.