Changeset 20669 in project


Ignore:
Timestamp:
10/06/10 11:57:44 (10 years ago)
Author:
Ivan Raikov
Message:

miniML: changes to the core-utils interface

Location:
release/4/miniML/trunk
Files:
2 edited

Legend:

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

    r19985 r20669  
    5151  (and (pair? c) (let ((t (car c)) (v (cadr c)))
    5252                   (case t ((real) (real? v))
    53                          ((nat) (integer? v))
     53                         ((nat)  (integer? v))
    5454                         ((label) (symbol? v))
    5555                         ((bool)  (boolean? v))
     
    331331(define ident-arrow  (ident-create "->"))
    332332(define path-arrow   (Pident ident-arrow))
    333 (define (arrow-type t1 t2)
    334   (begin
    335     (Tcon path-arrow (list t1 t2))))
     333(define (arrow-type t1 t2) (Tcon path-arrow (list t1 t2)))
    336334
    337335
     
    621619  (values type-variables reset-type-variables
    622620          find-type-variable
    623           begin-def end-def generalize
     621          begin-def end-def newvar generalize
    624622          make-deftype make-valtype make-kind
    625623          binop ternop path-star path-arrow
  • release/4/miniML/trunk/miniMLparse.scm

    r19849 r20669  
    3838(define-values (type-variables reset-type-variables
    3939                find-type-variable
    40                 begin-def end-def generalize
     40                begin-def end-def newvar generalize
    4141                make-deftype make-valtype make-kind
    4242                binop ternop path-star path-arrow
Note: See TracChangeset for help on using the changeset viewer.