packages feed

HaRe-0.8.0.0: test/testdata/Renaming/C7.hs.expected

module Renaming.C7(Renaming.C7.myFringe)  where

import Renaming.D7

myFringe:: Tree a -> [a]
myFringe (Leaf x ) = [x]
myFringe (Branch left right) = Renaming.C7.myFringe left ++ Renaming.D7.myFringe right