Haskell Prime: Ticket Queryhttps://prime.haskell.org/query?status=closed&col=id&col=resolution&col=summary&col=owner&col=reporter&order=summary&row=description
Haskell Language Report Working Groupen-USHaskell Primehttps://prime.haskell.org/chrome/site/HaskellLogo_2.jpghttps://prime.haskell.org/query?status=closed&col=id&col=resolution&col=summary&col=owner&col=reporter&order=summary&row=description
Trac 1.2.2https://prime.haskell.org/ticket/23
https://prime.haskell.org/ticket/23#23: DoAndIfThenElseFri, 16 Dec 2005 22:51:37 GMTijones<p>
Fix a common pitfall with the do-notation and if-then-else.
</p>
<p>
See <a class="wiki" href="https://prime.haskell.org/wiki/DoAndIfThenElse">DoAndIfThenElse</a>.
</p>
Resultshttps://prime.haskell.org/ticket/23#changeloghttps://prime.haskell.org/ticket/25
https://prime.haskell.org/ticket/25#25: EmptyDataDeclarationsFri, 16 Dec 2005 22:58:03 GMTijones<p>
See <a class="wiki" href="https://prime.haskell.org/wiki/EmptyDataDecls">EmptyDataDecls</a>.
</p>
Resultshttps://prime.haskell.org/ticket/25#changeloghttps://prime.haskell.org/ticket/30
https://prime.haskell.org/ticket/30#30: FixityResolutionFri, 16 Dec 2005 23:07:49 GMTijones<p>
Remove operator fixity resolution from the context-free grammar, and specify it separately.
</p>
<p>
See <a class="wiki" href="https://prime.haskell.org/wiki/FixityResolution">FixityResolution</a>.
</p>
Resultshttps://prime.haskell.org/ticket/30#changeloghttps://prime.haskell.org/ticket/35
https://prime.haskell.org/ticket/35#35: ForeignFunctionInterfaceFri, 16 Dec 2005 23:31:40 GMTijones<p>
see <a class="wiki" href="https://prime.haskell.org/wiki/ForeignFunctionInterface">ForeignFunctionInterface</a>.
</p>
Resultshttps://prime.haskell.org/ticket/35#changeloghttps://prime.haskell.org/ticket/24
https://prime.haskell.org/ticket/24#24: HierarchicalModulesFri, 16 Dec 2005 22:56:18 GMTijones<p>
See <a class="wiki" href="https://prime.haskell.org/wiki/HierarchicalModules">HierarchicalModules</a>.
</p>
Resultshttps://prime.haskell.org/ticket/24#changeloghttps://prime.haskell.org/ticket/113
https://prime.haskell.org/ticket/113#113: Joined-Up ClassesFri, 29 Sep 2006 21:42:38 GMTashley@…<p>
Currently the Monad class is not a subclass of Functor. It should be.
</p>
<p>
Proposal:
</p>
<ol><li>Add this:
<pre class="wiki"> class (Functor f) =&gt; Idiom f where -- or Applicative
return :: a -&gt; f a
ap :: f (a -&gt; b) -&gt; f a -&gt; f b
(&gt;&gt;) :: f a -&gt; f b -&gt; f b
fa &gt;&gt; fb = ap (fmap (const id) fa) fb
</pre></li></ol><p>
(See also Control.Applicative in GHC HEAD.)
</p>
<ol start="2"><li>Replace existing Monad class with this:
<pre class="wiki"> class (Idiom m) =&gt; Monad m where
(&gt;&gt;=) :: m a -&gt; (a -&gt; m b) -&gt; m b
fail :: String -&gt; m a
fail = error
</pre></li><li>Remove existing "ap", generalise and remove redundant Prelude functions as appropriate.
</li></ol>Resultshttps://prime.haskell.org/ticket/113#changeloghttps://prime.haskell.org/ticket/128
https://prime.haskell.org/ticket/128#128: LanguagePragmaWed, 08 Jul 2009 12:39:28 GMTravi@…<p>
Ticket to track <a class="wiki" href="https://prime.haskell.org/wiki/LanguagePragma">LanguagePragma</a> standardization.
</p>
Resultshttps://prime.haskell.org/ticket/128#changeloghttps://prime.haskell.org/ticket/42
https://prime.haskell.org/ticket/42#42: LineCommentSyntaxFri, 16 Dec 2005 23:44:26 GMTijones<p>
see <a class="wiki" href="https://prime.haskell.org/wiki/LineCommentSyntax">LineCommentSyntax</a>.
</p>
Resultshttps://prime.haskell.org/ticket/42#changeloghttps://prime.haskell.org/ticket/130
https://prime.haskell.org/ticket/130#130: NoNPlusKPatternsSat, 25 Jul 2009 00:44:02 GMTIan Lynagh<p>
Proposal: <a class="wiki" href="https://prime.haskell.org/wiki/NoNPlusKPatterns">NoNPlusKPatterns</a>.
</p>
Resultshttps://prime.haskell.org/ticket/130#changeloghttps://prime.haskell.org/ticket/56
https://prime.haskell.org/ticket/56#56: PatternGuardsSat, 17 Dec 2005 00:33:22 GMTijones<p>
Add "Pattern Guards". See <a class="wiki" href="https://prime.haskell.org/wiki/PatternGuards">PatternGuards</a>.
</p>
Resultshttps://prime.haskell.org/ticket/56#changeloghttps://prime.haskell.org/ticket/65
https://prime.haskell.org/ticket/65#65: RelaxedDependencyAnalysisSat, 17 Dec 2005 00:50:04 GMTijones<p>
see <a class="wiki" href="https://prime.haskell.org/wiki/RelaxedDependencyAnalysis">RelaxedDependencyAnalysis</a>.
</p>
Resultshttps://prime.haskell.org/ticket/65#changeloghttps://prime.haskell.org/ticket/132
https://prime.haskell.org/ticket/132#132: StricterLabelledFieldSyntaxSun, 26 Jul 2009 00:03:04 GMTIan Lynagh<p>
Proposal: <a class="wiki" href="https://prime.haskell.org/wiki/StricterLabelledFieldSyntax">StricterLabelledFieldSyntax</a>
</p>
Resultshttps://prime.haskell.org/ticket/132#changeloghttps://prime.haskell.org/ticket/40
https://prime.haskell.org/ticket/40#40: add proposal(s) / flesh out info about the followingFri, 16 Dec 2005 23:38:03 GMTijones<p>
The following either have no info, unclear info, or no clear proposal. As these are fleshed out, please remove from list by editing this bug:
</p>
<ul><li><a class="wiki" href="https://prime.haskell.org/wiki/IncoherentInstances">IncoherentInstances</a>
</li><li><a class="wiki" href="https://prime.haskell.org/wiki/LibraryVersioning">LibraryVersioning</a>
</li><li><a class="wiki" href="https://prime.haskell.org/wiki/NewLibraryCandidates">NewLibraryCandidates</a>
</li><li><a class="wiki" href="https://prime.haskell.org/wiki/PartialTypeSigs">PartialTypeSigs</a>
</li></ul>Resultshttps://prime.haskell.org/ticket/40#changeloghttps://prime.haskell.org/ticket/8
https://prime.haskell.org/ticket/8#8: brainstorm design space to build concrete informationSat, 26 Nov 2005 01:05:03 GMTijones<p>
Gather basic concrete information about <a class="wiki" href="https://prime.haskell.org/wiki/HaskellExtensions">HaskellExtensions</a>, <a class="missing wiki">HaskellLibraries?</a>, and backward compatibility in order to inform a discussion about the scope of the committee.
</p>
Resultshttps://prime.haskell.org/ticket/8#changeloghttps://prime.haskell.org/ticket/93
https://prime.haskell.org/ticket/93#93: bring together various class-related tickets into something coherentTue, 14 Feb 2006 17:39:08 GMTijones<p>
see <a class="query" href="https://prime.haskell.org/query?component=Proposal&amp;summary=%7Eclass&amp;summary=%7Einstance">this query</a>.
</p>
<p>
Which proposals should be grouped together? What are the most important ones? What are their use cases, and can they be covered by different proposals?
</p>
Resultshttps://prime.haskell.org/ticket/93#changeloghttps://prime.haskell.org/ticket/9
https://prime.haskell.org/ticket/9#9: craft Haskell' announcementSat, 26 Nov 2005 01:07:20 GMTijones<p>
The announcement was on <a class="ext-link" href="http://www.haskell.org//pipermail/haskell-cafe/2006-January/014036.html"><span class="icon">​</span>haskell cafe</a>, haskell, and comp.lang.functional.
</p>
<h2 id="FinalDraft">Final Draft</h2>
<p>
Subject: Haskell': Kicking off the process of defining the next Haskell standard.
</p>
<p>
let haskell' = succ haskell98 in
</p>
<p>
Announcing the Haskell' ("Haskell-Prime") process. A short time ago,
I asked for volunteers to help with the next Haskell standard. A
brave group has spoken up, and we've organized ourselves into a
committee in order to coordinate the community's work. It will be the
committee's task to bring together the very best ideas and work of the
broader community in an "open-source" way, and to fill in any gaps in
order to make Haskell' as coherent and elegant as Haskell 98.
</p>
<p>
Our task is broadly defined by our mission statement:
</p>
<blockquote>
<p>
The Haskell programming language is more-or-less divided into two
"branches". The Haskell 98 standard is the "stable" branch of the
language, and that has been a big success. A lot of progress has been
made over the last few years in the "research" branch of the Haskell
language. It is constantly advancing, and we feel that it is time for
a new standard which reflects those advancements.
</p>
</blockquote>
<blockquote>
<p>
Haskell' will be a conservative refinement of Haskell 98. It will
be the work of this committee to adopt a set of language
extensions and modifications and to standardize a new set of
libraries.
</p>
</blockquote>
<blockquote>
<p>
We will strive to only include tried-and-true language features,
and to define them at least as rigorously as Haskell 98 was
defined. This standard will reflect the realities of developing
practical applications in the Haskell language. We will work closely
with the rest of the Haskell community to create this standard.
</p>
</blockquote>
<p>
Your Haskell' Committee is as follows (slightly munged email addresses
follow):
</p>
<ul><li>Manuel M T Chakravarty &lt;chak at cse.unsw.edu.au&gt;
</li><li>John Goerzen &lt;jgoerzen at complete.org&gt;
</li><li>Bastiaan Heeren &lt;bastiaan at cs.uu.nl&gt;
</li><li>Isaac Jones &lt;ijones at galois.com&gt;
</li><li>John Launchbury &lt;john at galois.com&gt;
</li><li>Andres Loeh &lt;loeh at iai.uni-bonn.de&gt;
</li><li>Simon Marlow &lt;simonmar at microsoft.com&gt;
</li><li>John Meacham &lt;john at repetae.net&gt;
</li><li>Ravi Nanavati &lt;ravi at bluespec.com&gt;
</li><li>Henrik Nilsson &lt;nhn at cs.nott.ac.uk&gt;
</li><li>Ross Paterson &lt;ross at soi.city.ac.uk&gt;
</li><li>Simon Peyton-Jones &lt;simonpj at microsoft.com&gt;
</li><li>Don Stewart &lt;dons at cse.unsw.edu.au&gt;
</li><li>Audrey Tang &lt;autrijus at gmail.com&gt;
</li><li>Simon J. Thompson &lt;S.J.Thompson at kent.ac.uk&gt;
</li><li>Malcolm Wallace &lt;Malcolm.Wallace at cs.york.ac.uk&gt;
</li><li>Stephanie Weirich &lt;sweirich at cis.upenn.edu&gt;
</li></ul><p>
The editors are Isaac Jones and John Launchbury.
</p>
<p>
Feel free to contact any of us with any concerns or questions. If you
don't know who to direct your questions to, email Isaac Jones
ijones@….
</p>
<p>
Community involvement is vital to our task, and there will be a way
for members of the community to make formal proposals. In the opening
phases, please use these more informal resources to help us coordinate
Haskell':
</p>
<ul><li>The haskell-prime mailing list. All technical discussion will take
place here, or (if other meetings take place) be reported here. Anyone
can subscribe, and any subscriber can post questions and comments,
and participate in discussions. Anyone can read the list archives.
<a class="ext-link" href="http://haskell.org/mailman/listinfo/haskell-prime"><span class="icon">​</span>http://haskell.org/mailman/listinfo/haskell-prime</a>
</li></ul><ul><li>A wiki / issue tracking system to document consensus and to track
ongoing tasks. This system is publicly readable, but only
committee writable so that we may present it as the "official"
output of the committee. If you ever feel that the wiki is not
accurate as to the consensus, please alert the committee!
<a class="ext-link" href="http://hackage.haskell.org/trac/haskell-prime"><span class="icon">​</span>http://hackage.haskell.org/trac/haskell-prime</a>
</li></ul><ul><li>A darcs code repository for experiments, proposed libraries,and
complex examples. darcs is a decentralized system, so anyone can use
it, but patches should be sent to Isaac Jones:
<a class="ext-link" href="http://hackage.haskell.org/trac/haskell-prime/wiki/SourceCode"><span class="icon">​</span>http://hackage.haskell.org/trac/haskell-prime/wiki/SourceCode</a>
</li></ul><p>
Please join us in making Haskell' a success.
</p>
<p>
your,
</p>
<blockquote>
<p>
Haskell' Committee
</p>
</blockquote>
<p>
p.s. Please feel free to forward this announcement to appropriate forums.
</p>
Resultshttps://prime.haskell.org/ticket/9#changeloghttps://prime.haskell.org/ticket/75
https://prime.haskell.org/ticket/75#75: create public mission statementFri, 06 Jan 2006 23:42:34 GMTijones<p>
Resolution: Just added intro to the <a class="wiki" href="https://prime.haskell.org/wiki/MissionStatement">MissionStatement</a>.
</p>
<p>
See <a class="wiki" href="https://prime.haskell.org/wiki/PublicMissionStatement">PublicMissionStatement</a>. The committee has a <a class="wiki" href="https://prime.haskell.org/wiki/MissionStatement">MissionStatement</a>, but it lacks some background. The background is obvious to committee members, but we need a more public statement which includes this background, and perhaps links to Haskell and such. That's <a class="closed ticket" href="https://prime.haskell.org/ticket/75" title="#75: task: create public mission statement (closed: fixed)">75</a>.
</p>
Resultshttps://prime.haskell.org/ticket/75#changeloghttps://prime.haskell.org/ticket/2
https://prime.haskell.org/ticket/2#2: decide on infrastructure privacy / secrecy policiesFri, 11 Nov 2005 22:58:15 GMTijones<h2 id="InitialProposal">Initial Proposal</h2>
<ul><li>A private mailing list (haskell-prime-private)
<ol><li>committee only subscription (and archive)
</li><li>unmoderated for committee members
</li></ol></li></ul><ul><li>A public mailing list - (haskel-prime) for technical discussion
<ol><li>publicly available for subscriptions (and archive)
</li><li>unmoderated for committee members
</li><li>moderated for non-committee members, in order to keep traffic low. I feel that if a major flamewar NEEDS to happen, it can happen on haskell-cafe.
</li></ol></li></ul><ul><li>A wiki / issue tracking system <a class="ext-link" href="http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki"><span class="icon">​</span>http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki</a>
<ol><li>publicly readable
</li><li>committee writable
</li><li>folks who ask for an account will get one (and lose it if they're abusive). the main reason for not letting the wiki be world-writable is spam.
</li></ol></li></ul><ul><li>A code repository
<ol><li>publicly readable
</li><li>anyone can submit changes, Isaac will be gate-keeper. We'll use darcs, so this is pretty easy. That's more of a technical issue than a policy one, since there isn't a machine that we all have accounts on.
</li></ol></li></ul>Resultshttps://prime.haskell.org/ticket/2#changeloghttps://prime.haskell.org/ticket/1
https://prime.haskell.org/ticket/1#1: define community feedback processFri, 11 Nov 2005 22:57:25 GMTijonesResultshttps://prime.haskell.org/ticket/1#changeloghttps://prime.haskell.org/ticket/3
https://prime.haskell.org/ticket/3#3: define criteria for including extensionsFri, 11 Nov 2005 23:00:45 GMTijones<p>
Formally specified? n-years-old? used in various libraries? See thread for discussion "officially opening the discussion on scope"
</p>
Resultshttps://prime.haskell.org/ticket/3#changeloghttps://prime.haskell.org/ticket/4
https://prime.haskell.org/ticket/4#4: define criteria for including librariesFri, 11 Nov 2005 23:01:14 GMTijones<p>
Do we want to do an entire library standard?
</p>
Resultshttps://prime.haskell.org/ticket/4#changeloghttps://prime.haskell.org/ticket/5
https://prime.haskell.org/ticket/5#5: define policy on backward compatibilityFri, 11 Nov 2005 23:01:41 GMTijonesResultshttps://prime.haskell.org/ticket/5#changeloghttps://prime.haskell.org/ticket/46
https://prime.haskell.org/ticket/46#46: double check that all MinorFixes are listed as proposals, and minorFri, 16 Dec 2005 23:48:41 GMTijones<p>
see <a class="wiki" href="https://prime.haskell.org/wiki/MinorFixes">MinorFixes</a>.
</p>
Resultshttps://prime.haskell.org/ticket/46#changeloghttps://prime.haskell.org/ticket/10
https://prime.haskell.org/ticket/10#10: finalize mission statementSat, 26 Nov 2005 01:09:15 GMTijones<p>
Finalize a <a class="wiki" href="https://prime.haskell.org/wiki/MissionStatement">MissionStatement</a>. Details may have to be worked out in future iterations.
</p>
<p>
The current mission statement may be OK for the committee, but it lacks background that the "general public" would be interested in. We should state the problem we're trying to solve and for the sake of who. That's the <a class="wiki" href="https://prime.haskell.org/wiki/PublicMissionStatement">PublicMissionStatement</a> and <a class="closed ticket" href="https://prime.haskell.org/ticket/75" title="#75: task: create public mission statement (closed: fixed)">75</a>.
</p>
Resultshttps://prime.haskell.org/ticket/10#changeloghttps://prime.haskell.org/ticket/7
https://prime.haskell.org/ticket/7#7: for each extension, fulfill criteriaFri, 11 Nov 2005 23:29:51 GMTijones<p>
This ticket should be fleshed out once we defined the criteria for inclusion of extensions. Break into sub-tasks, for instance have a define task and an implement task for each extension.
</p>
Resultshttps://prime.haskell.org/ticket/7#changeloghttps://prime.haskell.org/ticket/11
https://prime.haskell.org/ticket/11#11: initiate discussion on refining scope of committeeThu, 01 Dec 2005 20:05:53 GMTijones<p>
Currently we are <a class="closed ticket" href="https://prime.haskell.org/ticket/8" title="#8: task: brainstorm design space to build concrete information (closed: fixed)">brainstorming</a> but we will soon need to start to narrow the scope. Open tickets related to that are listed under the "Scope Defined" <a class="report" href="https://prime.haskell.org/report/3">milestone</a>. Here are some suggestions from Henrik about how to have this discussion:
</p>
<p>
&hellip; Here are some concrete points that could be discussed:
</p>
<ol><li>What should the time frame for the Haskell' effort be?
</li><li>Who are the users, what are their perceived needs, and how
do we prioritize?
</li><li>Informed by 1 and 2, is Haskell' mainly a consolidation effort,
or should the scope be wider?
</li><li>Informed by all of the above, is it possible to agree on
some basic criteria that extensions and changes would have
to meet in order to somewhat bound the size of the part
of the design space that needs to be explored?
</li></ol>Resultshttps://prime.haskell.org/ticket/11#changeloghttps://prime.haskell.org/ticket/6
https://prime.haskell.org/ticket/6#6: release of compilers with HaskellPrime modeFri, 11 Nov 2005 23:08:31 GMTijones<p>
Such a compiler will implement all of the extensions and include the libraries.
</p>
<p>
May break this tickets into sub-tickets for each compiler.
</p>
Resultshttps://prime.haskell.org/ticket/6#changeloghttps://prime.haskell.org/ticket/83
https://prime.haskell.org/ticket/83#83: update CreateProposal to include general guidelinesTue, 31 Jan 2006 17:36:29 GMTijones<p>
see <a class="wiki" href="https://prime.haskell.org/wiki/CreateProposal">CreateProposal</a>. Include guidelines for the community making tickets. My related email below:
</p>
<pre class="wiki">
| -= Some Guidelines =-
|
| Use the mailing list for _discussion_ and to reach a consensus. Use
| the tickets to _document_ the consensus as a proposal. You may want
| to post the wiki page you create back to the thread so that the thread
| participants can review and edit it. If you get no support on the
| mailing list for an idea, please think twice about whether or not to
| create a ticket for it.
|
| It is just fine to have conflicting points of view in a ticket, but no
| back-and-forth discussion (use the mailing list for that). Create
| "pros" and "cons" sections in the ticket. Edit the ticket rather than
| adding "comments". Link this ticket with wiki pages or other tickets
| which are related, or for which this is a counter-proposal.
|
| Be sure to set the "component" field as "Proposal" and leave the Adopt
| field alone.
|
| -= Example =-
|
| So for instance, there's a proposal that we modify the comment syntax.
| After some time for discussion on the list, Thomas (cc'd) should
| create a new ticket if he still believes in his suggestion. The
| ticket should have component:proposal. The pros are that it's going to
| be simpler for students, more consistent with the block comment
| syntax, and easier to implement in editors. The cons are that we lose
| a group of possible operators, --&gt; for instance, and this in turn may
| cause some code to break.
|
| Put your email address on the tickets so we know who to ask if we have
| any questions.
|
| To create a ticket, go to the wiki and log in. The user name is guest
| and the password is haskell'. If you think you'll be doing a lot of
| ticket work, email me for a guest account so that your name will
| automatically appear on the changes.
</pre>Resultshttps://prime.haskell.org/ticket/83#changeloghttps://prime.haskell.org/ticket/12
https://prime.haskell.org/ticket/12#12: write public guidelines for wiki editingThu, 01 Dec 2005 21:55:47 GMTijones<p>
Closed by creation of <a class="missing wiki">CoordinationTools?</a>.
</p>
<p>
See also the descriptions of various resources from the <a class="closed ticket" href="https://prime.haskell.org/ticket/9" title="#9: task: craft Haskell' announcement (closed: fixed)">public announcement draft</a>. Guidelines may include:
</p>
<ul><li>Discussion happens on the mailing lists (haskell-prime, haskell-cafe)
</li><li>Organization of ideas happens in the wiki (no back-and-forth discussion)
<ul><li>flesh this out more?
</li></ul></li><li>Issues or things to be decided on are tracked with tickets
</li><li>Experiments to source code happen in the code repository
</li></ul>Resultshttps://prime.haskell.org/ticket/12#changelog