search

webyrd / Barliman

Prototype smart text editor
MIT License
1.04k stars 30 forks source link

Exits as soon as I start typing in the first test #26

Closed NightMachinery closed 6 years ago

NightMachinery commented 6 years ago 
@@@@@@@@@@@@@@@@@@@ controlTextDidChange
operation count: 0
query string:
 ;; simple query

(define (parse-ans-simple) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
(fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (parseo `(begin (define ,A
  (lambda ,B
    ,C)) ,_))))))

(define (query-val-simple)
  (if (null? (parse-ans-simple))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ,_) q)))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ,_) q)))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test1) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names () ,dummy-expr)))))))

(define (query-val-test1)
  (if (null? (parse-ans-test1))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) () )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) () )))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test2) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names ) ,dummy-expr)))))))

(define (query-val-test2)
  (if (null? (parse-ans-test2))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test3) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names ) ,dummy-expr)))))))

(define (query-val-test3)
  (if (null? (parse-ans-test3))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test4) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names ) ,dummy-expr)))))))

(define (query-val-test4)
  (if (null? (parse-ans-test4))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test5) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names ) ,dummy-expr)))))))

(define (query-val-test5)
  (if (null? (parse-ans-test5))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))
     results-fast))))

query string:
 ;; individual test query

(define (parse-ans-test6) (run 1 (q)
 (let ((g1 (gensym "g1")) (g2 (gensym "g2")) (g3 (gensym "g3")) (g4 (gensym "g4")) (g5 (gensym "g5")) (g6 (gensym "g6")) (g7 (gensym "g7")) (g8 (gensym "g8")) (g9 (gensym "g9")) (g10 (gensym "g10")) (g11 (gensym "g11")) (g12 (gensym "g12")) (g13 (gensym "g13")) (g14 (gensym "g14")) (g15 (gensym "g15")) (g16 (gensym "g16")) (g17 (gensym "g17")) (g18 (gensym "g18")) (g19 (gensym "g19")) (g20 (gensym "g20")))
 (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _) (fresh (names dummy-expr) (extract-nameso `( (define ,A
  (lambda ,B
    ,C)) ) names) (parseo `((lambda ,names ) ,dummy-expr)))))))

(define (query-val-test6)
  (if (null? (parse-ans-test6))
      'parse-error
      (let ((results-fast (begin (set! allow-incomplete-search? #t) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (run 1 (q)
  (let ((g1 (gensym "g1"))
        (g2 (gensym "g2"))
        (g3 (gensym "g3"))
        (g4 (gensym "g4"))
        (g5 (gensym "g5"))
        (g6 (gensym "g6"))
        (g7 (gensym "g7"))
        (g8 (gensym "g8"))
        (g9 (gensym "g9"))
        (g10 (gensym "g10"))
        (g11 (gensym "g11"))
        (g12 (gensym "g12"))
        (g13 (gensym "g13"))
        (g14 (gensym "g14"))
        (g15 (gensym "g15"))
        (g16 (gensym "g16"))
        (g17 (gensym "g17"))
        (g18 (gensym "g18"))
        (g19 (gensym "g19"))
        (g20 (gensym "g20")))
    (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _)
      (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)
        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

 (evalo `(begin (define ,A
  (lambda ,B
    ,C)) ) )))))
     results-fast))))

queryAllTests string:
 ;; allTests
(define (ans-allTests)
  (define (results)
       (run 1 (defns)
         (let ((g1 (gensym "g1"))
               (g2 (gensym "g2"))
               (g3 (gensym "g3"))
               (g4 (gensym "g4"))
               (g5 (gensym "g5"))
               (g6 (gensym "g6"))
               (g7 (gensym "g7"))
               (g8 (gensym "g8"))
               (g9 (gensym "g9"))
               (g10 (gensym "g10"))
               (g11 (gensym "g11"))
               (g12 (gensym "g12"))
               (g13 (gensym "g13"))
               (g14 (gensym "g14"))
               (g15 (gensym "g15"))
               (g16 (gensym "g16"))
               (g17 (gensym "g17"))
               (g18 (gensym "g18"))
               (g19 (gensym "g19"))
               (g20 (gensym "g20")))
           (fresh (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z begin-body)
             (fresh (defn-list)

        (== `( (define ,A
  (lambda ,B
    ,C)) ) defn-list)

        (absento g1 defn-list)
        (absento g2 defn-list)
        (absento g3 defn-list)
        (absento g4 defn-list)
        (absento g4 defn-list)
        (absento g5 defn-list)
        (absento g6 defn-list)
        (absento g7 defn-list)
        (absento g8 defn-list)
        (absento g9 defn-list)
        (absento g10 defn-list)
        (absento g11 defn-list)
        (absento g12 defn-list)
        (absento g13 defn-list)
        (absento g14 defn-list)
        (absento g15 defn-list)
        (absento g16 defn-list)
        (absento g17 defn-list)
        (absento g18 defn-list)
        (absento g19 defn-list)
        (absento g20 defn-list))

(== `((define ,A
  (lambda ,B
    ,C))) defns) (appendo defns `(((lambda x x)       )) begin-body) (evalo `(begin . ,begin-body) (list       ))))))
(let ((results-fast (begin (set! allow-incomplete-search? #t) (results))))
  (if (null? results-fast)
    (begin (set! allow-incomplete-search? #f) (results))
    results-fast)))

2018-04-23 00:43:34.143476+0430 Barliman[40441:3466615] [General] An uncaught exception was raised
2018-04-23 00:43:34.143478+0430 Barliman[40441:3466588] [General] An uncaught exception was raised
2018-04-23 00:43:34.143535+0430 Barliman[40441:3466615] [General] launch path not accessible
2018-04-23 00:43:34.143542+0430 Barliman[40441:3466588] [General] launch path not accessible
2018-04-23 00:43:34.143621+0430 Barliman[40441:3466615] [General] (
    0   CoreFoundation                      0x00007fff48488fcb __exceptionPreprocess + 171
    1   libobjc.A.dylib                     0x00007fff6f13ec76 objc_exception_throw + 48
    2   CoreFoundation                      0x00007fff4851a9ed +[NSException raise:format:] + 205
    3   Foundation                          0x00007fff4a6bee82 -[NSConcreteTask launchWithDictionary:error:] + 1304
    4   Barliman                            0x0000000100038160 _T08Barliman18RunSchemeOperationC03runC4CodeyyF + 1584
    5   Barliman                            0x0000000100037ae1 _T08Barliman18RunSchemeOperationC4mainyyF + 113
    6   Barliman                            0x0000000100037b14 _T08Barliman18RunSchemeOperationC4mainyyFTo + 36
    7   Foundation                          0x00007fff4a4ee5de -[__NSOperationInternal _start:] + 778
    8   Foundation                          0x00007fff4a4ea607 __NSOQSchedule_f + 369
    9   libdispatch.dylib                   0x0000000100ec3d1f _dispatch_client_callout + 8
    10  libdispatch.dylib                   0x0000000100ed83c3 _dispatch_continuation_pop + 940
    11  libdispatch.dylib                   0x0000000100ecf3ae _dispatch_async_redirect_invoke + 738
    12  libdispatch.dylib                   0x0000000100ec5b76 _dispatch_root_queue_drain + 723
    13  libdispatch.dylib                   0x0000000100ec584f _dispatch_worker_thread3 + 116
    14  libsystem_pthread.dylib             0x0000000100f401c2 _pthread_wqthread + 1387
    15  libsystem_pthread.dylib             0x0000000100f3fc45 start_wqthread + 13
)
2018-04-23 00:43:34.143623+0430 Barliman[40441:3466588] [General] (
    0   CoreFoundation                      0x00007fff48488fcb __exceptionPreprocess + 171
    1   libobjc.A.dylib                     0x00007fff6f13ec76 objc_exception_throw + 48
    2   CoreFoundation                      0x00007fff4851a9ed +[NSException raise:format:] + 205
    3   Foundation                          0x00007fff4a6bee82 -[NSConcreteTask launchWithDictionary:error:] + 1304
    4   Barliman                            0x0000000100038160 _T08Barliman18RunSchemeOperationC03runC4CodeyyF + 1584
    5   Barliman                            0x0000000100037ae1 _T08Barliman18RunSchemeOperationC4mainyyF + 113
    6   Barliman                            0x0000000100037b14 _T08Barliman18RunSchemeOperationC4mainyyFTo + 36
    7   Foundation                          0x00007fff4a4ee5de -[__NSOperationInternal _start:] + 778
    8   Foundation                          0x00007fff4a4ea607 __NSOQSchedule_f + 369
    9   libdispatch.dylib                   0x0000000100ec3d1f _dispatch_client_callout + 8
    10  libdispatch.dylib                   0x0000000100ed83c3 _dispatch_continuation_pop + 940
    11  libdispatch.dylib                   0x0000000100ecf3ae _dispatch_async_redirect_invoke + 738
    12  libdispatch.dylib                   0x0000000100ec5b76 _dispatch_root_queue_drain + 723
    13  libdispatch.dylib                   0x0000000100ec584f _dispatch_worker_thread3 + 116
    14  libsystem_pthread.dylib             0x0000000100f401c2 _pthread_wqthread + 1387
    15  libsystem_pthread.dylib             0x0000000100f3fc45 start_wqthread + 13
)
2018-04-23 00:43:34.143980+0430 Barliman[40441:3466615] *** Terminating app due to uncaught exception 'NSInvalidArgumentException', reason: 'launch path not accessible'
*** First throw call stack:
(
    0   CoreFoundation                      0x00007fff48488fcb __exceptionPreprocess + 171
    1   libobjc.A.dylib                     0x00007fff6f13ec76 objc_exception_throw + 48
    2   CoreFoundation                      0x00007fff4851a9ed +[NSException raise:format:] + 205
    3   Foundation                          0x00007fff4a6bee82 -[NSConcreteTask launchWithDictionary:error:] + 1304
    4   Barliman                            0x0000000100038160 _T08Barliman18RunSchemeOperationC03runC4CodeyyF + 1584
    5   Barliman                            0x0000000100037ae1 _T08Barliman18RunSchemeOperationC4mainyyF + 113
    6   Barliman                            0x0000000100037b14 _T08Barliman18RunSchemeOperationC4mainyyFTo + 36
    7   Foundation                          0x00007fff4a4ee5de -[__NSOperationInternal _start:] + 778
    8   Foundation                          0x00007fff4a4ea607 __NSOQSchedule_f + 369
    9   libdispatch.dylib                   0x0000000100ec3d1f _dispatch_client_callout + 8
    10  libdispatch.dylib                   0x0000000100ed83c3 _dispatch_continuation_pop + 940
    11  libdispatch.dylib                   0x0000000100ecf3ae _dispatch_async_redirect_invoke + 738
    12  libdispatch.dylib                   0x0000000100ec5b76 _dispatch_root_queue_drain + 723
    13  libdispatch.dylib                   0x0000000100ec584f _dispatch_worker_thread3 + 116
    14  libsystem_pthread.dylib             0x0000000100f401c2 _pthread_wqthread + 1387
    15  libsystem_pthread.dylib             0x0000000100f3fc45 start_wqthread + 13
)
2018-04-23 00:43:34.144369+0430 Barliman[40441:3466588] *** Terminating app due to uncaught exception 'NSInvalidArgumentException', reason: 'launch path not accessible'
*** First throw call stack:
(
    0   CoreFoundation                      0x00007fff48488fcb __exceptionPreprocess + 171
    1   libobjc.A.dylib               libc++abi.dylib: terminating with uncaught exception of type NSException
      0x00007fff6f13ec76 objc_exception_throw + 48
    2   CoreFoundation                      0x00007fff4851a9ed +[NSException raise:format:] + 205
    3   Foundation                          0x00007fff4a6bee82 -[NSConcreteTask launchWithDictionary:error:] + 1304
    4   Barliman                            0x0000000100038160 _T08Barliman18RunSchemeOperationC03runC4CodeyyF + 1584
    5   Barliman                            0x0000000100037ae1 _T08Barliman18RunSchemeOperationC4mainyyF + 113
    6   Barliman                            0x0000000100037b14 _T08Barliman18RunSchemeOperationC4mainyyFTo + 36
    7   Foundation                          0x00007fff4a4ee5de -[__NSOperationInternal _start:] + 778
    8   Foundation                          0x00007fff4a4ea607 __NSOQSchedule_f + 369
    9   libdispatch.dylib                   0x0000000100ec3d1f _dispatch_client_callout + 8
    10  libdispatch.dylib                   0x0000000100ed83c3 _dispatch_continuation_pop + 940
    11  libdispatch.dylib                   0x0000000100ecf3ae _dispatch_async_redirect_invoke + 738
    12  libdispatch.dylib                   0x0000000100ec5b76 _dispatch_root_queue_drain + 723
    13  libdispatch.dylib                   0x0000000100ec584f _dispatch_worker_thread3 + 116
    14  libsystem_pthread.dylib             0x0000000100f401c2 _pthread_wqthread + 1387
    15  libsystem_pthread.dylib             0x0000000100f3fc45 start_wqthread + 13
)
libc++abi.dylib: terminating with uncaught exception of type NSException
(lldb)
gregr commented 6 years ago

Hi @NightMachinary , do you have Chez Scheme installed in the usual way? Take a look at this part of the README: https://github.com/webyrd/Barliman#barliman-implementation-details

NightMachinery commented 6 years ago

@gregr Thanks, that solved it.