Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Labels:
      None

      Description

      (ns test
        (:refer-clojure :exclude [==])
        (:require
         [clojure.core.logic :refer :all]))
       
      (defn foo [in out]
        (matcha 
         [in out]
         ([('and a b . ()) ('and x y . ())] (foo a x) (foo b y))
         ([a ('bar ('baz a . ()) . ())])))
       
      ;; I get a stack overflow with the following, but if I remove one conjunct, then it will run.
       
      (run 1 [q] (foo
                  '(and p
                        (and p
                             (and p
                                  (and p
                                       (and p
                                            (and p
                                                 (and p
                                                      (and p
                                                           (and p
                                                                (and p
                                                                     (and p p)))))))))))
                  q))
      

        Attachments

          Activity

            People

            • Assignee:
              dnolen David Nolen
              Reporter:
              austinhaas Austin Haas
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: