From c703a92136ce579282c63c6e31fff76cc84b37ce Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 6 Dec 2005 16:33:40 +0000 Subject: Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension. --- transfer/examples/widesnake.tra | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 transfer/examples/widesnake.tra (limited to 'transfer/examples/widesnake.tra') diff --git a/transfer/examples/widesnake.tra b/transfer/examples/widesnake.tra new file mode 100644 index 000000000..e27bd5981 --- /dev/null +++ b/transfer/examples/widesnake.tra @@ -0,0 +1,19 @@ +import bool +import stoneage + +monoid_Bool : sig { zero : Bool; plus : Bool -> Bool -> Bool } +monoid_Bool = rec + zero = False + plus = \x -> \y -> x && y + +isSnake : (A : Tree) -> Tree A -> Bool +isSnake _ x = case x of + Snake -> True + _ -> composFold ? ? compos_Tree Bool monoid_Bool ? isSnake x + +wideSnake : (A : Cat) -> Tree A -> Tree A +wideSnake _ x = case x of + Wide y -> let y' : CN = wideSnake ? y + in if isSnake CN y' then Thick y' else Wide y' + _ -> composOp ? ? compos_Tree ? wideSnake x + -- cgit v1.2.3