From 19113c592567d2d2b71829093aeb5f3992dc63e2 Mon Sep 17 00:00:00 2001 From: Gabriel Barreto Date: Mon, 8 Jan 2024 09:40:17 -0300 Subject: [PATCH] removed environment spec there should be no guarantee on the internals of environments as they are subject to change --- example/tests/spec.lurk | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/example/tests/spec.lurk b/example/tests/spec.lurk index dac0fb2..781cccf 100644 --- a/example/tests/spec.lurk +++ b/example/tests/spec.lurk @@ -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.