Bugs item #1303232, was opened at 2005-09-24 14:25
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1303232group_id=8032
Please note that this message will contain a full copy of
Here's a simple test for object orientation (for some reasonable
definition):
Define a type A such that for any type B you can define
up :: B - A
down :: A - Maybe B
such that
down . up = Just
You can do this quite easily in Java or C++, mutatis mutandis. You can't
do this
Define a type A such that for any type B you can define
up :: B - A
down :: A - Maybe B
such that
down . up = Just
You can do this quite easily in Java or C++, mutatis mutandis. You
can't
do this in Haskell, I don't think. You can't actually do this in
O'Haskell
ICFP '06 CALL FOR WORKSHOP PROPOSALS
The ICFP 2006 ACM SIGPLAN International Conference on Functional
Programming
will be held in Portland, Oregon from September 18 to September 20,
2006.
Proposals for workshops are invited for consideration of ACM SIGPLAN
sponsorship and
For some reason the following code is producing an error
message from ghci that the the patterns are non-exhaustive.
Does anyone have any idea why that could be, given that the
patterns are, at least in my meaning, provably exhaustive?
You forgot to match against the empty list. Try