List type accepts nil since it is also a list

emacs-elsa · Sep 8, 2018 · eeb995c · eeb995c
1 parent c06259a
commit eeb995c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/elsa-types.el b/elsa-types.el
@@ -78,6 +78,8 @@ Accepting in this context means that OTHER can be assigned to
 THIS."
   (cond
    ((elsa-instance-of other this))
+   ((and (elsa-type-list-p this)
+         (elsa-type-nil-p other)))
    ((and (elsa-sum-type-p other)
          (-all? (lambda (other-type)
                   (elsa-type-accept this other-type))