File: DefaultRulesTest.curry

package info (click to toggle)
curry-tools 1.0.1%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,492 kB
  • ctags: 121
  • sloc: makefile: 470; sh: 421
file content (14 lines) | stat: -rw-r--r-- 382 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
{-# OPTIONS_CYMAKE -F --pgmF=currypp --optF=defaultrules #-}
{-# OPTIONS_CYMAKE -Wnone #-}

import Test.Prop

-- We test whether our definition of zip with default rules is
-- equivalent to the standard one:

-- zip2 with default rule:
zip2 :: [a] -> [b] -> [(a,b)]
zip2 (x:xs) (y:ys) = (x,y) : zip2 xs ys
zip2'default _ _ = []

zip2_is_zip xs ys = zip2 xs ys -=- Prelude.zip xs ys