blob: cd8884080f5fc2f0b766913c5c62fd9c767ebd8a (
plain)
1
2
3
4
5
6
7
8
9
10
|
==================== Parser ====================
module ShouldCompile where
test ::
([a] doc1)
-> forall b.
(Ord b) => ([b] doc2 ) -> forall c. (Num c) => ([c] doc3) -> [a]
test xs ys zs = xs
|