diff --git a/rint.rkt b/lint.rkt similarity index 90% rename from rint.rkt rename to lint.rkt index 8ebd440..6cdff1f 100644 --- a/rint.rkt +++ b/lint.rkt @@ -2,7 +2,7 @@ (require racket/fixnum) -(provide Int Prim Program interp-RInt) +(provide Int Prim Program interp-Lint) (struct Int (value)) (struct Prim (op args)) @@ -24,6 +24,6 @@ [(Prim '- (list e1 e2)) (fx- (interp-exp e1) (interp-exp e2))] [(Prim '+ (list e1 e2)) (fx+ (interp-exp e1) (interp-exp e2))])) -(define (interp-RInt p) +(define (interp-Lint p) (match p [(Program '() body) (interp-exp body)])) diff --git a/tests/all-tests.rkt b/tests/all-tests.rkt index 7adba62..f87172e 100644 --- a/tests/all-tests.rkt +++ b/tests/all-tests.rkt @@ -3,7 +3,7 @@ (provide all-tests) (require rackunit) -(require "test-rint.rkt") +(require "test-lint.rkt") (require "test-rvar.rkt") (require "test-cvar.rkt") (require "test-uniquify.rkt") @@ -16,7 +16,7 @@ (define all-tests (test-suite "All tests" - rint-tests + lint-tests rvar-tests cvar-tests uniquify-tests diff --git a/tests/test-rint.rkt b/tests/test-lint.rkt similarity index 67% rename from tests/test-rint.rkt rename to tests/test-lint.rkt index d8211a0..d08f372 100644 --- a/tests/test-rint.rkt +++ b/tests/test-lint.rkt @@ -1,10 +1,10 @@ #lang racket -(provide rint-tests) +(provide lint-tests) (require rackunit) (require "test-util.rkt") -(require "../rint.rkt") +(require "../lint.rkt") (define eight (Int 8)) (define rd (Prim 'read '())) @@ -12,19 +12,19 @@ (define ast1.1 (Prim '+ (list rd neg-eight))) (define program (Program '() ast1.1)) -(define rint-tests +(define lint-tests (test-suite - "RInt interpretation tests" + "Lint interpretation tests" (test-case "program with input" (check-equal? -5 (with-input-from-num-list '(3) - (lambda () (interp-RInt program))))) + (lambda () (interp-Lint program))))) (test-case "simple difference" (check-equal? -3 - (interp-RInt (Program '() (Prim '- (list (Int 5) (Int 8))))))))) + (interp-Lint (Program '() (Prim '- (list (Int 5) (Int 8)))))))))