-
Notifications
You must be signed in to change notification settings - Fork 63
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
5 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
f3da7fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What's the rationale for this re-export? I don't know why one would typically need the
Default
class; and we exportwith
that can be used instead ofdef
. I ask particularly because this breaks some code in the website (def
clashes with anotherdef
defined inSystem.Console.CmdArgs
).f3da7fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I suppose it is useful when making functions that take records of optional arguments, in diagrams style...
f3da7fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hmm, the clash with
cmdargs
is unfortunate but it looks they do the same thing anyway. I added it because sometimes the worddef
makes more sense, and you can define instances with it.I had a look and
def
doesn't seem to clash and much else and we normally useoptparse-applicative
. I'd like it stay in the prelude but I'm not overly bothered.f3da7fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, let's leave it in. After I commented it out and recompiled, a bunch of things in -contrib and elsewhere broke, and I realized fixing that would be even more annoying. =)