Commit 6035c7ce authored by simonm's avatar simonm
Browse files

[project @ 1997-12-17 13:12:20 by simonm]

add new files for ':::' test.
parent 94fb075e
_interface_ MyList 1
_instance_modules_
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d2 1 $d29 1 $d31 1 $d33 1 $d38 1 Eval 1;
_exports_
MyList MyList(Empty :::);
_instances_
instance _forall_ [a] => {PrelBase.Eval (MyList a)} = $d1;
_declarations_
1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (MyList a)} ;;
1 data MyList a = Empty | ::: (MyList a) (MyList a) ;
module MyList (MyList(Empty, (:::))) where
data MyList a = Empty
| (MyList a) ::: (MyList a)
Module version unchanged at 1
_interface_ MyList 1
_instance_modules_
Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
PrelBase 1 :: $d2 1 $d29 1 $d31 1 $d33 1 $d38 1 Eval 1;
_exports_
MyList MyList(Empty :::);
_instances_
instance _forall_ [a] => {PrelBase.Eval (MyList a)} = $d1;
_declarations_
1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (MyList a)} ;;
1 data MyList a = Empty | ::: (MyList a) (MyList a) ;
module User where
import MyList
myLength :: MyList a -> Int
myLength Empty = 0
myLength (x ::: xs) = 1 + myLength xs
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment