Skip to content

Commit

Permalink
Merge pull request #36 from lurk-lab/remove-env-spec
Browse files Browse the repository at this point in the history
Removed environment spec
  • Loading branch information
gabriel-barrett authored Jan 8, 2024
2 parents 6c9bfb7 + 19113c5 commit 845c7fc
Showing 1 changed file with 0 additions and 23 deletions.
23 changes: 0 additions & 23 deletions example/tests/spec.lurk
Original file line number Diff line number Diff line change
Expand Up @@ -427,33 +427,10 @@
;; This should be an error. X should not be bound here.
(+ (outer 1) x)))

;; env-let
!(assert-eq '((a . 1)) (let ((a 1)) (current-env)))

;; env-let-nested
!(assert-eq '((b . 2) (a . 1)) (let ((a 1)) (let ((b 2)) (current-env))))

;; env-letrec
!(assert-eq '(((a . 1))) (letrec ((a 1)) (current-env)))

;; env-letrec-nested
!(assert-eq '(((b . 2) (a . 1))) (letrec ((a 1)) (letrec ((b 2)) (current-env))))

;; env-let-letrec-let
!(assert-eq '((e . 5) ((d . 4) (c . 3)) (b . 2) (a . 1))
(let ((a 1) (b 2)) (letrec ((c 3) (d 4)) (let ((e 5)) (current-env)))))


!(assert-eq 3 (begin (emit 1) (emit 2) (emit 3)))

!(assert-eq nil (begin))

!(assert-eq '((a . 1)) (let ((a 1))
(begin
(let ((b 2))
(emit b))
(current-env))))

!(assert-emitted '(1 2 3) (begin (emit 1) (emit 2) (emit 3)))

;;; Strings are proper lists of characters and are tagged as such.
Expand Down

0 comments on commit 845c7fc

Please sign in to comment.