7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maeder{-
7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maedertypes:
14a1af9d9909dc47dc7fee6b0170b7ac0aef85daChristian MaederA__s :: (*, data)
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuA__t :: (*, data)
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maedervalues:
7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maedera :: A__s
2ac1742771a267119f1d839054b5e45d0a468085Christian Maederb :: A__s
7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maederc :: A__t
35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maederx :: A__s
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maedery :: A__t
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian MaederA__s :: A__s
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederA__t :: A__t
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederscope:
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian MaederPrelude.A__s |-> Prelude.A__s, Type [A__s] []
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederPrelude.A__s |-> Prelude.A__s, con of A__s
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederPrelude.A__t |-> Prelude.A__t, Type [A__t] []
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederPrelude.A__t |-> Prelude.A__t, con of A__t
14a1af9d9909dc47dc7fee6b0170b7ac0aef85daChristian MaederPrelude.a |-> Prelude.a, Value
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederPrelude.b |-> Prelude.b, Value
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederPrelude.c |-> Prelude.c, Value
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian MaederPrelude.x |-> Prelude.x, Value
8197d0be8b81692f311ad5ca34e125e2cf9eecb8Christian MaederPrelude.y |-> Prelude.y, Value
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederA__s |-> Prelude.A__s, Type [A__s] []
a6f84880cea4485fba85b521d122eba73b0df70bChristian MaederA__s |-> Prelude.A__s, con of A__s
74a946e10a4b324c10d7a59f84298afbcae9b3cfChristian MaederA__t |-> Prelude.A__t, Type [A__t] []
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederA__t |-> Prelude.A__t, con of A__t
72b9099aeec0762bae4546db3bc4b48721027bf4Christian Maedera |-> Prelude.a, Value
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian Maederb |-> Prelude.b, Value
72b9099aeec0762bae4546db3bc4b48721027bf4Christian Maederc |-> Prelude.c, Value
74a946e10a4b324c10d7a59f84298afbcae9b3cfChristian Maederx |-> Prelude.x, Value
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maedery |-> Prelude.y, Value
878ac75d7acbbb06412e82a4c95356ce60f942deChristian Maeder-}
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maedermodule Dummy where
35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maederdata A__s = A__s
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maederdata A__t = A__t
2ac1742771a267119f1d839054b5e45d0a468085Christian Maedera :: A__s
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maedera = error{-A__s-} "a"
2ac1742771a267119f1d839054b5e45d0a468085Christian Maederb :: A__s
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederc :: A__t
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maederx :: A__s
6b1153c560b677f9f5da2a60ee8a10de75ff90c5Christian Maederx = error{-A__s-} "x"
b1bd8688a1ce545444792a307412711c2c61df5fChristian Maedery :: A__t
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maedery = error{-A__t-} "y"
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederb = a
35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maederc = snd (x, y)
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maeder