blob: e6055c02494b80d4a752f47fd6a3c805dc86a6d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
(cond-expand
(chicken (import r7rs
(prefix (mcgoron srfi 64)
mcgoron-)
(srfi 64))
(test-runner-factory mcgoron-factory)
(test-runner-current (mcgoron-factory)))
(else (import (srfi 64))))
(load "../multisyntax/utils.sld")
(load "../multisyntax/syntax-object.sld")
(load "syntax-object.sld")
(import (rename (multisyntax syntax-object test)
(test test-syntax-object)))
#;(test-syntax-object)
(load "../multisyntax/pattern/internal.sld")
(load "../multisyntax/pattern/matcher.sld")
(load "pattern/matcher.sld")
(import (multisyntax pattern matcher test))
#;(test-patterns)
(load "../multisyntax/pattern/producer.sld")
(load "pattern/producer.sld")
(import (multisyntax pattern producer test))
#;(test-producers)
(load "../multisyntax/examples/untyped-lambda-calculus.sld")
(load "examples/untyped-lambda-calculus.sld")
(import (multisyntax examples untyped-lambda-calculus test))
(test-untyped-lambda-calculus)
#;(let-values (((global-map expanded-list)
(expand initial-environment
(list (empty-wrap '(define I (lambda x x)))
(empty-wrap '(I (lambda I I)))))))
(display (alpha expanded-list)) (newline))
#;(begin
(load "examples/untyped-lambda-calculus.sld")
(import (multisyntax examples untyped-lambda-calculus test))
(test-untyped-lambda-calculus))
|
