;;; comp-cstr-tests.el --- unit tests for src/comp.c -*- lexical-binding: t; -*-

;; Copyright (C) 2020-2025 Free Software Foundation, Inc.

;; Author: Andrea Corallo <acorallo@gnu.org>

;; This file is part of GNU Emacs.

;; GNU Emacs is free software: you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.

;; GNU Emacs is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.

;; You should have received a copy of the GNU General Public License
;; along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.

;;; Commentary:

;; Unit tests for lisp/emacs-lisp/comp-cstr.el

;;; Code:

(require 'ert)
(require 'cl-lib)
(require 'comp-cstr)

(defun comp-cstr-test-ts (type-spec)
  "Create a constraint from TYPE-SPEC and convert it back to type specifier."
  (let ((comp-ctxt (make-comp-cstr-ctxt)))
    (comp-cstr-to-type-spec (comp-type-spec-to-cstr type-spec))))

(defmacro comp-cstr-synthesize-tests (typespec-tests-alist)
  "Generate all tests from TYPESPEC-TESTS-ALIST.
The arg is an alist of: type specifier -> expected type specifier."
  `(progn
     ,@(cl-loop
        for i from 1
        for (type-spec . expected-type-spec) in typespec-tests-alist
        collect
        `(ert-deftest ,(intern (format "comp-cstr-test-%d" i)) ()
          (should (equal (comp-cstr-test-ts ',type-spec)
                         ',expected-type-spec))))))

(comp-cstr-synthesize-tests
 (;; 1
  (symbol . symbol)
  ;; 2
  ((or string array) . array)
  ;; 3
  ((or symbol number) . (or number symbol))
  ;; 4
  ((or cons atom) . t) ;; Like SBCL
  ;; 5
  ((or integer number) . number)
  ;; 6
  ((or (or integer symbol) number) . (or number symbol))
  ;; 7
  ((or (or integer symbol) (or number list)) . (or list number symbol))
  ;; 8
  ((or (or integer number) nil) . number)
  ;; 9
  ((member foo) . (member foo))
  ;; 10
  ((member foo bar) . (member bar foo))
  ;; 11
  ((or (member foo) (member bar)) . (member bar foo))
  ;; 12
  ((or (member foo) symbol) . symbol) ;; SBCL return (OR SYMBOL (MEMBER FOO))
  ;; 13
  ((or (member foo) number) .  (or (member foo) number))
  ;; 14
  ((or (integer 1 3) number) . number)
  ;; 15
  (integer . integer)
  ;; 16
  ((integer 1 2) . (integer 1 2))
  ;; 17
  ((or (integer -1  0) (integer 3  4)) . (or (integer -1  0) (integer 3  4)))
  ;; 18
  ((or (integer -1  2) (integer 3  4)) . (integer -1 4))
  ;; 19
  ((or (integer -1  3) (integer 3  4)) . (integer -1 4))
  ;; 20
  ((or (integer -1  4) (integer 3  4)) . (integer -1 4))
  ;; 21
  ((or (integer -1  5) (integer 3  4)) . (integer -1 5))
  ;; 22
  ((or (integer -1  *) (integer 3  4)) . (integer -1 *))
  ;; 23
  ((or (integer -1  2) (integer *  4)) . (integer * 4))
  ;; 24
  ((and string array) . string)
  ;; 25
  ((and cons atom) . nil)
  ;; 26
  ((and (member foo) (member foo bar baz)) . (member foo))
  ;; 27
  ((and (member foo) (member bar)) . nil)
  ;; 28
  ((and (member foo) symbol) . (member foo))
  ;; 29
  ((and (member foo) string) . nil)
  ;; 30
  ((and (member foo) (integer 1 2)) . nil)
  ;; 31
  ((and (member 1 2) (member 3 2)) . (integer 2 2))
  ;; 32
  ((and number (integer 1 2)) . (integer 1 2))
  ;; 33
  ((and integer (integer 1 2)) . (integer 1 2))
  ;; 34
  ((and (integer -1 0) (integer 3 5)) . nil)
  ;; 35
  ((and (integer -1 2) (integer 3 5)) . nil)
  ;; 36
  ((and (integer -1 3) (integer 3 5)) . (integer 3 3))
  ;; 37
  ((and (integer -1 4) (integer 3 5)) . (integer 3 4))
  ;; 38
  ((and (integer -1 5) nil) . nil)
  ;; 39
  ((not symbol) . (not symbol))
  ;; 40
  ((or (member foo) (not (member foo bar))) . (not (member bar)))
  ;; 41
  ((or (member foo bar) (not (member foo))) . t)
  ;; 42
  ((or symbol (not sequence)) . (not sequence))
  ;; 43
  ((or symbol (not symbol)) . t)
  ;; 44
  ((or symbol (not sequence)) . (not sequence))
  ;; 45 Conservative.
  ((or vector (not sequence)) . t)
  ;; 46
  ((or (integer 1 10) (not (integer * 5))) . (not (integer * 0)))
  ;; 47
  ((or symbol (integer 1 10) (not (integer * 5))) . (not (integer * 0)))
  ;; 48
  ((or (not symbol) (integer 1 10) (not (integer * 5))) . (not (or symbol (integer * 0))))
  ;; 49
  ((or symbol (not (member foo))) . (not (member foo)))
  ;; 50
  ((or (not symbol) (not (member foo))) . (not symbol))
  ;; 51 Conservative.
  ((or (not (member foo)) string) . (not (member foo)))
  ;; 52 Conservative.
  ((or (member foo) (not string)) . (not string))
  ;; 53
  ((or (not (integer 1 2)) integer) . t)
  ;; 54
  ((or (not (integer 1 2)) (not integer)) . (not integer))
  ;; 55
  ((or (integer 1 2) (not integer)) . (not (or (integer * 0) (integer 3 *))))
  ;; 56
  ((or number (not (integer 1 2))) . t)
  ;; 57
  ((or atom (not (integer 1 2))) . t)
  ;; 58
  ((or atom (not (member foo))) . t)
  ;; 59
  ((and symbol (not cons)) . symbol)
  ;; 60
  ((and symbol (not symbol)) . nil)
  ;; 61
  ((and atom (not symbol)) . atom)
  ;; 62 Conservative FIXME
  ((and atom (not string)) . (or array sequence atom))
  ;; 63 Conservative
  ((and symbol (not (member foo))) . symbol)
  ;; 64 Conservative
  ((and symbol (not (member 3))) . symbol)
  ;; 65
  ((and (not (member foo)) (integer 1 10)) . (integer 1 10))
  ;; 66
  ((and (member foo) (not (integer 1 10))) . (member foo))
  ;; 67
  ((and t (not (member foo))) . (not (member foo)))
  ;; 68
  ((and integer (not (integer 3 4))) . (or (integer * 2) (integer 5 *)))
  ;; 69
  ((and (integer 0 20) (not (integer 5 10))) . (or (integer 0 4) (integer 11 20)))
  ;; 70
  ((and (not (member a)) (not (member b))) . (not (member a b)))
  ;; 71
  ((and (not boolean) (not (member b))) . (not (or (member b) boolean)))
  ;; 72
  ((and t (integer 1 1)) . (integer 1 1))
  ;; 73
  ((not (integer -1 5)) . (not (integer -1 5)))
  ;; 74
  ((and boolean (or number marker)) . nil)
  ;; 75
  ((and atom (or number marker)) . number-or-marker)
  ;; 76
  ((and symbol (or number marker)) . nil)
  ;; 77
  ((and (or symbol string) (or number marker)) . nil)
  ;; 78
  ((and t t) . t)
  ;; 79
  ((and (or marker number) (integer 0 0)) . (integer 0 0))
  ;; 80
  ((and t (not t)) . nil)
  ;; 81
  ((or (integer 1 1) (not (integer 1 1))) . t)
  ;; 82
  ((not t) . nil)
  ;; 83
  ((not nil) . t)
  ;; 84
  ((or (not string) t) . t)
  ;; 85
  ((or (not vector) sequence) . sequence)
  ;; 86
  ((or (not symbol) null) . t)
  ;; 87
  ((and (or null integer) (not (or null integer))) . nil)
  ;; 88
  ((and (or (member a b c)) (not (or (member a b)))) . (member c))
  ;; 89
  ((or cons symbol) . (or list symbol)) ;; FIXME: Why `list'?
  ;; 90
  ((or string char-table bool-vector vector) . array)
  ;; 91
  ((or string char-table bool-vector vector number) . (or array number))
  ;; 92
  ((or string char-table bool-vector vector cons symbol number) .
   (or number sequence symbol))
  ;; 93
  ((or list (not null)) . t)
  ))

;;; comp-cstr-tests.el ends here