Details

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

      Description

      In the cond in the occurs? function, this condition:

      (zip/end? z) false

      appears twice. Unless I very much misunderstand, the second clause will never succeed.

      Also, I'm wondering if it makes sense (in core.unify) for composite? to be true for strings. It looks like this means occurs? will futilely check each character of a string looking for variables.

        Attachments

          Activity

            People

            • Assignee:
              fogus Fogus
              Reporter:
              glchapman Greg Chapman
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: