;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2018 Julien Lepiller <julien@lepiller.eu>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix 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 Guix 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 Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-opam)
  #:use-module (guix import opam)
  #:use-module (guix base32)
  #:use-module (gcrypt hash)
  #:use-module (guix tests)
  #:use-module ((guix build syscalls) #:select (mkdtemp!))
  #:use-module ((guix build utils) #:select (delete-file-recursively mkdir-p which))
  #:use-module ((guix utils) #:select (call-with-temporary-output-file))
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-64)
  #:</td></tr></table>
<table class='tabs'><tr><td>
<a href='/hydrilla-fixes-bundle/about/'>about</a><a href='/hydrilla-fixes-bundle/'>summary</a><a href='/hydrilla-fixes-bundle/refs/?id=eaf888582a6190a40d068053d925705a2a0b1f60'>refs</a><a class='active' href='/hydrilla-fixes-bundle/log/content/spc_specialist_uk-_display_prices'>log</a><a href='/hydrilla-fixes-bundle/tree/content/spc_specialist_uk-_display_prices?id=eaf888582a6190a40d068053d925705a2a0b1f60'>tree</a><a href='/hydrilla-fixes-bundle/commit/content/spc_specialist_uk-_display_prices?id=eaf888582a6190a40d068053d925705a2a0b1f60'>commit</a><a href='/hydrilla-fixes-bundle/diff/content/spc_specialist_uk-_display_prices?id=eaf888582a6190a40d068053d925705a2a0b1f60'>diff</a></td><td class='form'><form class='right' method='get' action='/hydrilla-fixes-bundle/log/content/spc_specialist_uk-_display_prices'>
<input type='hidden' name='id' value='eaf888582a6190a40d068053d925705a2a0b1f60'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/hydrilla-fixes-bundle/log/?id=eaf888582a6190a40d068053d925705a2a0b1f60'>root</a>/<a href='/hydrilla-fixes-bundle/log/content?id=eaf888582a6190a40d068053d925705a2a0b1f60'>content</a>/<a href='/hydrilla-fixes-bundle/log/content/spc_specialist_uk-_display_prices?id=eaf888582a6190a40d068053d925705a2a0b1f60'>spc_specialist_uk-_display_prices</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/hydrilla-fixes-bundle/log/content/spc_specialist_uk-_display_prices?id=eaf888582a6190a40d068053d925705a2a0b1f60&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-08-15 00:00:00 +0000'>2021-08-15</span></td><td><a href='/hydrilla-fixes-bundle/commit/content/spc_specialist_uk-_display_prices?id=d104aaf3ebcddfbda495bdfe3ba3a905f75b936f'>Port existing fixes from hachette_fixes_tmp to Hydrilla format</a></td><td>jahoti</td></tr>
</table><ul class='pager'></ul></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>
ge")
             ('description "This package is just an example.")
             ('license #f))
           (string=? (bytevector->nix-base32-string
                      test-source-hash)
                     hash))
          (x
           (pk 'fail x #f))))))

;; Test the opam file parser
;; We fold over some test cases. Each case is a pair of the string to parse and the
;; expected result.
(test-assert "parse-strings"
  (fold (lambda (test acc)
          (display test) (newline)
          (and acc
               (let ((result (peg:tree (match-pattern (@@ (guix import opam) string-pat) (car test)))))
                 (if (equal? result (cdr test))
                   #t
                   (pk 'fail (list (car test) result (cdr test)) #f)))))
    #t '(("" . #f)
         ("\"hello\"" . (string-pat "hello"))
         ("\"hello world\"" . (string-pat "hello world"))
         ("\"The dreaded \\\"é\\\"\"" . (string-pat "The dreaded \"é\""))
         ("\"Have some \\\\\\\\ :)\"" . (string-pat "Have some \\\\ :)"))
         ("\"今日は\"" . (string-pat "今日は")))))

(test-assert "parse-multiline-strings"
  (fold (lambda (test acc)
          (display test) (newline)
          (and acc
               (let ((result (peg:tree (match-pattern (@@ (guix import opam) multiline-string) (car test)))))
                 (if (equal? result (cdr test))
                   #t
                   (pk 'fail (list (car test) result (cdr test)) #f)))))
    #t '(("" . #f)
         ("\"\"\"hello\"\"\"" . (multiline-string "hello"))
         ("\"\"\"hello \"world\"!\"\"\"" . (multiline-string "hello \"world\"!"))
         ("\"\"\"hello \"\"world\"\"!\"\"\"" . (multiline-string "hello \"\"world\"\"!")))))

(test-assert "parse-lists"
  (fold (lambda (test acc)
          (and acc
               (let ((result (peg:tree (match-pattern (@@ (guix import opam) list-pat) (car test)))))
                 (if (equal? result (cdr test))
                   #t
                   (pk 'fail (list (car test) result (cdr test)) #f)))))
    #t '(("" . #f)
         ("[]" . list-pat)
         ("[make]" . (list-pat (var "make")))
         ("[\"make\"]" . (list-pat (string-pat "make")))
         ("[\n  a\n  b\n  c]" . (list-pat (var "a") (var "b") (var "c")))
         ("[a   b     \"c\"]" . (list-pat (var "a") (var "b") (string-pat "c"))))))

(test-assert "parse-dicts"
  (fold (lambda (test acc)
          (and acc
               (let ((result (peg:tree (match-pattern (@@ (guix import opam) dict) (car test)))))
                 (if (equal? result (cdr test))
                   #t
                   (pk 'fail (list (car test) result (cdr test)) #f)))))
    #t '(("" . #f)
         ("{}" . dict)
         ("{a: \"b\"}" . (dict (record "a" (string-pat "b"))))
         ("{a: \"b\"\nc: \"d\"}" . (dict (record "a" (string-pat "b")) (record "c" (string-pat "d")))))))

(test-assert "parse-conditions"
  (fold (lambda (test acc)
          (and acc
               (let ((result (peg:tree (match-pattern (@@ (guix import opam) condition) (car test)))))
                 (if (equal? result (cdr test))
                   #t
                   (pk 'fail (list (car test) result (cdr test)) #f)))))
    #t '(("" . #f)
         ("{}" . #f)
         ("{build}" . (condition-var "build"))
         ("{>= \"0.2.0\"}" . (condition-greater-or-equal
                               (condition-string "0.2.0")))
         ("{>= \"0.2.0\" & test}" . (condition-and
                                      (condition-greater-or-equal
                                        (condition-string "0.2.0"))
                                      (condition-var "test")))
         ("{>= \"0.2.0\" | build}" . (condition-or
                                      (condition-greater-or-equal
                                        (condition-string "0.2.0"))
                                      (condition-var "build"))))))

(test-end "opam")