Uploaded image for project: 'core.unify'
  1. UNIFY-4

Vectors of different length incorrectly unify

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: Minor
    • Resolution: Completed
    • Labels:

      Description

      (unify '[1 ?x] '[1])
      => {?x nil}
      

      I expect this unification to fail.

        Attachments

          Activity

            People

            • Assignee:
              fogus Fogus
              Reporter:
              alex+import import
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: