Skip to content

Commit

Permalink
remove pattern-matching/alexpander dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
kourzanov committed Oct 29, 2014
1 parent 77f7172 commit 000891f
Showing 1 changed file with 10 additions and 8 deletions.
18 changes: 10 additions & 8 deletions recette/tabled.scm
Original file line number Diff line number Diff line change
@@ -1,12 +1,11 @@
(module memoed
(library bkanren)
;(main main)
(import (ascript "cases.scm"))
)
(def-syntax conde tconde)
(def-syntax == t==)
(def-syntax run trun)
(def-syntax run* trun*)

(define-syntax conde (syntax-rules () ([_ . args] (tconde . args))))
(define-syntax == (syntax-rules () ([_ . args] (t== . args))))
(define-syntax run (syntax-rules () ([_ . args] (trun . args))))
(define-syntax run* (syntax-rules () ([_ . args] (trun* . args))))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define-syntax test-check
Expand All @@ -31,8 +30,11 @@

(define skipped-tests
(let ((ls '()))
(fn => (map list ls)
|| t => (set! ls (cons t ls))
(lambda args
(cond ([null? args] (map list ls))
([and (list? args) (car args)] => (lambda (t)
(set! ls (cons t ls))
)))
)))

(define-syntax print
Expand Down

0 comments on commit 000891f

Please sign in to comment.