tests/00-basic-predicate.gl

   1 # Goals test.
   2 # Copyright (C) 2020 Richard W.M. Jones
   3 # Copyright (C) 2020 Red Hat Inc.
   4 #
   5 # This program is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 2 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License along
  16 # with this program; if not, write to the Free Software Foundation, Inc.,
  17 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  18
  19 # Test of basic predicates.
  20
  21 predicate is-cow (name) = {
  22     if ! test %goals_final_check; then
  23         echo %name needs transformation
  24         exit 99
  25     else
  26         echo %name is a cow
  27         exit 0
  28     fi
  29 }
  30
  31 predicate is-sheep (name) = {
  32     echo %name is a sheep
  33 }
  34
  35 goal all = : is-cow ("daisy"), is-cow ("dylan"), is-cow ("florence")
  36
  37 goal cowofsheep (name) =
  38 is-cow ("%name") : is-sheep ("%name") {
  39     echo transform sheep %< to cow %@
  40 }