Changeset 34422 in project

Timestamp:

08/27/17 05:58:41 (3 years ago)

Author:

Kon Lovett

Message:

comments

Location:

release/4/amb/trunk

Files:

• amb-extras.scm (modified) (2 diffs)
• amb.scm (modified) (3 diffs)

release/4/amb/trunk/amb-extras.scm

@@ -41 +41 @@
 (define-syntax amb1
   (syntax-rules ()
+    ;
     ((_)
      ((amb-failure-continuation)) )
+    ;
     ((_ ?ls)
      (amb-thunks (list-constantly ?ls)) ) ) )
@@ -48 +50 @@
 (define-syntax choose
   (syntax-rules ()
+    ;
     ((_)
      ((amb-failure-continuation)) )
+    ;
     ((_ ?ls)
       (amb-thunks-shuffled (list-constantly ?ls) (amb-random-function)) ) ) )

release/4/amb/trunk/amb.scm

@@ -75 +75 @@
 (define-syntax amb
   (syntax-rules ()
+    ;
     ((_)
      ((amb-failure-continuation)) )
+    ;
     ((_ ?expr0 ...)
      (amb-thunks (list (lambda () ?expr0) ...)) ) ) )
@@ -82 +84 @@
 (define-syntax amb/random
   (syntax-rules ()
+    ;
     ((_)
      ((amb-failure-continuation)) )
+    ;
     ((_ ?expr0 ...)
      (amb-thunks-shuffled (list (lambda () ?expr0) ...)) ) ) )
@@ -89 +93 @@
 (define-syntax amb-find
   (syntax-rules ()
+    ;
     ((_ ?expr)
      (amb-find-thunk (lambda () ?expr)) )
+    ;
     ((_ ?expr ?fail)
      (amb-find-thunk (lambda () ?expr) (lambda () ?fail)) ) ) )