Timeline


and

Mar 5, 2006:

5:15 PM ExistingRecords edited by ross@…
formatting only (diff)
9:57 AM ExistingRecords edited by malcolm.wallace@…
(diff)
1:57 AM CreateProposal edited by ijones
added login instructions (diff)
1:48 AM MultiParamTypeClassesDilemma edited by ijones
added references (diff)

Mar 2, 2006:

4:07 AM Tabs edited by john@…
(diff)
4:05 AM Tabs edited by john@…
(diff)
1:00 AM ArrayIndexing edited by john@…
(diff)
12:06 AM RemovalCandidates edited by john@…
(diff)

Mar 1, 2006:

11:48 PM MinorFixes edited by john@…
(diff)
11:33 PM Ticket #93 (bring together various class-related tickets into something coherent) closed by john@…
invalid
11:27 PM Natural edited by john@…
(diff)
11:25 PM WikiStart edited by ijones@…
added grouping by topic (diff)
1:56 PM CompositionAsDot edited by malcolm.wallace@…
(diff)
9:13 AM FlexibleInstances edited by ross@…
add ref (diff)
2:12 AM ReadonlyConstructors edited by john@…
add pointer to ExistingRecords (diff)
2:10 AM ExistingRecords edited by john@…
(diff)
12:11 AM FlexibleInstances edited by ross@…
re=organize, adding non-local conditions (diff)

Feb 24, 2006:

12:04 PM Prelude edited by malcolm.wallace@…
(diff)

Feb 23, 2006:

2:58 PM TagExportsWithNamespace edited by malcolm.wallace@…
alternative proposal (diff)

Feb 22, 2006:

4:31 PM Prelude edited by malcolm.wallace@…
flesh out a concrete proposal for a minimal prelude (diff)
3:45 PM Ticket #95 (improve module interfaces) created by malcolm.wallace@…
Proposal: adopt TagExportsWithNamespace and PermitSignaturesInExports I …
3:14 PM ModuleSystem edited by malcolm.wallace@…
(diff)
3:12 PM TagExportsWithNamespace created by malcolm.wallace@…
3:05 PM PermitSignaturesInExports created by malcolm.wallace@…
3:01 PM IssuesByReportStructure edited by malcolm.wallace@…
(diff)

Feb 19, 2006:

3:12 PM TimeLine edited by ross@…
update strawman link (diff)
3:08 PM WikiStart edited by ross@…
fix typo (diff)
1:14 AM UndecidableInstances edited by ross@…
(diff)

Feb 18, 2006:

2:05 PM ParallelListComp edited by ross@…
there was a con in there (diff)
12:16 PM ParallelListComp edited by john@…
(diff)
12:10 PM ParallelListComp edited by john@…
a pro was listed as a con. (diff)

Feb 16, 2006:

11:44 PM Ticket #94 (Syntax for specifing language extensions) created by patrykz@…
One of the original Haskell goals was to define a language for …
12:17 PM ParallelListComp edited by ross@…
summarize mailing list discussion (diff)
3:57 AM WikiStart edited by ijones
adding links to TimeLine (diff)

Feb 15, 2006:

4:14 AM MonomorphismRestriction edited by john@…
(diff)
4:06 AM ExistentialQuantification edited by john@…
(diff)
3:51 AM ExistentialQuantifier edited by john@…
(diff)

Feb 14, 2006:

8:42 PM MultiParamTypeClassesDilemma edited by ravi@…
(diff)
5:39 PM Ticket #93 (bring together various class-related tickets into something coherent) created by ijones
see [query:?component=Proposal&summary=%7Eclass&summary=%7Einstance this …
11:57 AM ExistentialQuantifier edited by john@…
(diff)
11:53 AM ExistentialQuantifier created by john@…
11:51 AM HaskellExtensions edited by john@…
jhc now supports rank-n some impredicativity and existentials (diff)

Feb 13, 2006:

8:11 PM FirstClassLabels created by ijones
add first class labels, from Claus Reinke

Feb 12, 2006:

12:33 AM FunctionalDependencies edited by ross@…
spell out versions (diff)

Feb 11, 2006:

10:52 PM Ticket #92 (add First Class Labels) created by claus.reinke@…
Designing the right record system for Haskell has proven to be tricky, …
3:45 PM MultiParamTypeClassesDilemma edited by john@…
(diff)
3:44 PM MultiParamTypeClassesDilemma edited by john@…
(diff)
1:39 AM Ticket #91 (Unify various annotation proposals) created by ijones
Is an elegant, more specific proposal possible that will solve these …
1:24 AM MultiParamTypeClassesDilemma edited by ijones
(diff)
12:41 AM Ticket #90 (solve the MultiParamTypeClassDilemma) created by ijones
See a description of the dilemma. …
12:38 AM MultiParamTypeClasses edited by ijones
(diff)
12:37 AM MultiParamTypeClassesDilemma created by ijones
12:26 AM FunctionalDependencies edited by ijones
(diff)

Feb 10, 2006:

11:01 PM Ticket #89 (standardize the System.FilePath module for Haskell') created by ijones

Feb 8, 2006:

10:27 AM Ticket #88 (unified and extensible annotations) created by waldmann@…
We have several annotations in current Haskell: deriving, …
10:26 AM BangPatterns edited by simonpj@…
(diff)

Feb 7, 2006:

2:37 PM FunctionalDependencies edited by ross@…
(diff)
1:43 PM FunctionalDependencies edited by ravi@…
(diff)

Feb 6, 2006:

5:59 PM CreateProposal edited by ijones
(diff)
3:42 PM BangPatterns edited by simonpj@…
(diff)
11:03 AM BangPatterns edited by simonpj@…
(diff)
7:44 AM ForeignData edited by john@…
(diff)
7:38 AM ForeignData edited by john@…
(diff)

Feb 5, 2006:

10:30 AM Prelude edited by ross@…
add foreign types (diff)
1:41 AM FunctionalDependencies edited by ross@…
details from CHR paper (diff)

Feb 4, 2006:

12:54 AM Ticket #83 (update CreateProposal to include general guidelines) closed by ijones
fixed
12:54 AM CreateProposal edited by ijones
(diff)
12:53 AM WikiStart edited by ijones
(diff)
12:53 AM WikiGuidelines created by ijones
12:49 AM CreateProposal edited by ijones
(diff)

Feb 3, 2006:

6:51 PM Ticket #87 (add dictionary definitions to wiki) created by flippa
Add some definitions of technical terms users of this wiki may not be …
6:17 PM ExtensionsExperiment created by ijones
6:16 PM HaskellExtensions edited by ijones
(diff)
12:59 PM ArrayIndexing created by simonmar@…
12:05 PM RemovalCandidates edited by simonmar@…
(diff)
11:54 AM WikiStart edited by ross@…
revised proposals report (diff)
11:36 AM PartialTypeAnnotations created by malcolm.wallace@…
11:30 AM IssuesByReportStructure edited by malcolm.wallace@…
(diff)

Feb 2, 2006:

6:03 PM Ticket #86 (add PartialTypeAnnotations?) created by flippa
See PartialTypeAnnotations.
4:57 PM BangPatterns edited by simonpj@…
(diff)
12:48 PM Ticket #85 (more liberal kind inference) created by ross@…
see KindInference for a choice of proposals.
11:56 AM KindAnnotations edited by ross@…
(diff)
11:08 AM KindAnnotations edited by malcolm.wallace@…
(diff)
11:07 AM Ticket #84 (Kind Annotations) created by malcolm.wallace@…
Add KindAnnotations to the language of type expressions.
11:04 AM IssuesByReportStructure edited by malcolm.wallace@…
add KindAnnotations (diff)
11:02 AM KindAnnotations created by malcolm.wallace@…
4:49 AM ClassMethodTypes edited by john@…
remove long winded explanation. replace with concise sentence. (diff)
4:43 AM ClassMethodTypes edited by john@…
(diff)
4:04 AM ClassMethodTypes edited by john@…
(diff)
4:03 AM ClassMethodTypes edited by john@…
(diff)
4:02 AM ClassMethodTypes edited by john@…
(diff)
2:36 AM ClassMethodTypes/TypedTrans created by chak@…
2:10 AM ClassMethodTypes edited by chak@…
(diff)

Feb 1, 2006:

9:41 PM HaskellExtensions edited by malcolm.wallace@…
(diff)
12:38 PM IssuesByReportStructure edited by simonmar@…
(diff)
12:37 PM HaskellExtensions edited by simonmar@…
(diff)
12:36 PM MonomorphismRestriction edited by simonmar@…
(diff)
12:07 PM ExistentialQuantification edited by john@…
(diff)
11:09 AM ExistentialQuantification edited by ross@…
move Omega reference (diff)
11:04 AM LanguageQualities edited by malcolm.wallace@…
(diff)
11:01 AM RemovalCandidates edited by malcolm.wallace@…
(diff)
10:57 AM ExistentialQuantification edited by malcolm.wallace@…
make original proposal and extension more clearly separate (diff)
10:43 AM ExistentialQuantification edited by s.j.thompson@…
(diff)

Jan 31, 2006:

5:36 PM Ticket #83 (update CreateProposal to include general guidelines) created by ijones
see CreateProposal. Include guidelines for the community making tickets. …
1:56 PM ModuleSystem edited by malcolm.wallace@…
(diff)
1:29 PM ScopedTypeVariables edited by ross@…
class & instance examples (diff)
11:34 AM HaskellExtensions edited by simonmar@…
(diff)
11:32 AM AllowImportAnywhere edited by simonmar@…
(diff)
11:31 AM Ticket #82 (Allow import declarations anywhere at the top level) created by simonmar@…
See AllowImportAnywhere.
11:29 AM AllowImportAnywhere created by simonmar@…
11:26 AM IssuesByReportStructure edited by simonmar@…
(diff)
10:24 AM MonomorphismRestriction edited by simonmar@…
clarify situation regarding warnings (diff)
10:23 AM Ticket #81 (scoping of type variables in class instances) created by guest
The scoping of type variables in class instances is underspecified. GHC …
3:10 AM MonomorphismRestriction edited by john@…
(diff)

Jan 30, 2006:

11:30 PM MonomorphismRestriction edited by john@…
(diff)
7:36 PM ReadClass edited by malcolm.wallace@…
(diff)
5:47 PM WikiStart edited by ijones@…
(diff)
5:42 PM WikiStart edited by ijones@…
(diff)
4:47 PM Ticket #80 (Reform the monomorphism restriction) created by simonmar@…
See MonomorphismRestriction. There are several proposals on the table.
4:40 PM MonomorphismRestriction created by simonmar@…
4:12 PM RemovalCandidates edited by simonmar@…
(diff)
11:44 AM ReadClass edited by ross@…
some details (diff)

Jan 28, 2006:

5:24 AM ClassMethodTypes edited by chak@…
(diff)

Jan 27, 2006:

5:04 PM HaskellExtensions edited by ross@…
(diff)
3:51 PM InfixTypeConstructors created by ross@…
3:43 PM IssuesByReportStructure edited by ross@…
(diff)
1:04 PM HaskellExtensions edited by ross@…
(diff)
12:55 PM ForeignFunctionInterface edited by ross@…
(diff)
12:52 PM GADTs edited by ross@…
(diff)
12:51 PM ParallelListComp edited by ross@…
(diff)
12:49 PM DoAndIfThenElse edited by ross@…
(diff)
12:35 PM CreateProposal edited by ross@…
(diff)
12:06 PM ScopedTypeVariables edited by ross@…
(diff)
12:05 PM PolymorphicComponents edited by ross@…
(diff)
12:05 PM ExistentialQuantification edited by ross@…
(diff)
12:03 PM FunctionalDependencies edited by ross@…
(diff)
12:02 PM TypeSynonymInstances edited by ross@…
(diff)
11:59 AM FlexibleInstances edited by ross@…
(diff)
11:58 AM RankNTypes edited by ross@…
(diff)
11:57 AM OverlappingInstances edited by ross@…
(diff)
11:56 AM IncoherentInstances edited by ross@…
(diff)
11:55 AM Rank2Types edited by ross@…
(diff)
11:54 AM RankNTypes edited by ross@…
(diff)
11:53 AM KindInference edited by ross@…
(diff)
11:52 AM KindInference edited by ross@…
(diff)
11:51 AM Arrows edited by ross@…
(diff)
11:50 AM ReadClass edited by ross@…
(diff)
11:49 AM RecursiveDo edited by ross@…
(diff)
11:48 AM BangPatterns edited by ross@…
(diff)
11:47 AM BinaryIO edited by ross@…
(diff)
11:44 AM MultiParamTypeClasses edited by ross@…
(diff)
11:44 AM NewtypeDeriving edited by ross@…
(diff)
11:42 AM ClassMethodTypes edited by ross@…
(diff)
11:41 AM RelaxedDependencyAnalysis edited by ross@…
(diff)
11:38 AM FlexibleContexts edited by ross@…
rework ticket link (diff)
11:17 AM Natural edited by malcolm.wallace@…
(diff)
11:12 AM Ticket #79 (Natural numbers) created by malcolm.wallace@…
Add a Natural number type to the pre-defined basic types.
11:09 AM RemovalCandidates edited by malcolm.wallace@…
(diff)
11:08 AM Natural created by malcolm.wallace@…
11:00 AM IssuesByReportStructure edited by malcolm.wallace@…
(diff)
10:58 AM RemovalCandidates edited by malcolm.wallace@…
add discussion of numeric patterns (diff)
10:19 AM RelaxedDependencyAnalysis edited by ross@…
add proposal (diff)
9:50 AM ClassMethodTypes edited by ross@…
ticket link (diff)
9:45 AM NewtypeDeriving edited by ross@…
ticket link (diff)
9:42 AM MultiParamTypeClasses edited by ross@…
ticket link (diff)
9:29 AM CreateProposal created by simonmar@…
9:17 AM WikiStart edited by simonmar@…
(diff)

Jan 26, 2006:

8:58 PM BinaryIO edited by ross@…
(diff)
8:55 PM BangPatterns created by ross@…
8:49 PM IssuesByReportStructure edited by ross@…
(diff)
8:46 PM RecursiveDo edited by ross@…
(diff)
8:45 PM ReadClass edited by ross@…
(diff)
8:44 PM Arrows edited by ross@…
(diff)
8:44 PM KindInference edited by ross@…
(diff)
8:42 PM RelaxedDependencyAnalysis edited by ross@…
(diff)
8:41 PM RankNTypes edited by ross@…
(diff)
8:40 PM Rank2Types edited by ross@…
(diff)
8:40 PM IncoherentInstances edited by ross@…
(diff)
8:39 PM OverlappingInstances edited by ross@…
(diff)
8:39 PM UndecidableInstances edited by ross@…
(diff)
8:38 PM FlexibleInstances edited by ross@…
(diff)
8:37 PM TypeSynonymInstances edited by ross@…
(diff)
8:36 PM FunctionalDependencies edited by ross@…
(diff)
8:36 PM ExistentialQuantification edited by ross@…
(diff)
8:35 PM PolymorphicComponents edited by ross@…
(diff)
8:34 PM FlexibleContexts edited by ross@…
(diff)
8:33 PM ScopedTypeVariables edited by ross@…
(diff)
8:06 PM ReadClass edited by ross@…
(diff)
8:03 PM Arrows edited by ross@…
(diff)
8:02 PM KindInference edited by ross@…
(diff)
8:01 PM RelaxedDependencyAnalysis edited by ross@…
(diff)
7:59 PM RankNTypes edited by ross@…
(diff)
7:59 PM Rank2Types edited by ross@…
(diff)
7:58 PM IncoherentInstances edited by ross@…
(diff)
7:57 PM OverlappingInstances edited by ross@…
(diff)
7:56 PM UndecidableInstances edited by ross@…
(diff)
7:55 PM FlexibleInstances edited by ross@…
(diff)
7:54 PM TypeSynonymInstances edited by ross@…
(diff)
7:53 PM FunctionalDependencies edited by ross@…
(diff)
7:51 PM ExistentialQuantification edited by ross@…
(diff)
7:50 PM PolymorphicComponents edited by ross@…
(diff)
7:48 PM FlexibleContexts edited by ross@…
(diff)
5:53 PM ScopedTypeVariables edited by ross@…
non-numeric ticket link (diff)
4:57 PM ScopedTypeVariables edited by ross@…
play up scoping in class/instance decls a bit (diff)
3:54 PM QualifiedIdentifiers edited by simonmar@…
(diff)
3:54 PM PatternGuards edited by simonmar@…
(diff)
3:53 PM NondecreasingIndentation edited by simonmar@…
(diff)
3:52 PM LineCommentSyntax edited by simonmar@…
(diff)
3:51 PM ImpreciseExceptions edited by simonmar@…
(diff)
3:50 PM ExtensibleExceptions edited by simonmar@…
(diff)
3:50 PM EmptyDataDecls edited by simonmar@…
(diff)
3:49 PM EmptyDataDecls edited by simonmar@…
(diff)
3:49 PM CompositionAsDot edited by simonmar@…
(diff)
3:48 PM FixityResolution edited by simonmar@…
add ticket link (diff)
10:43 AM FlexiblePartialApplication edited by malcolm.wallace@…
(diff)

Jan 25, 2006:

4:54 PM HaskellExtensions edited by ross@…
(diff)
3:49 PM ModuleSystem edited by simonmar@…
(diff)
3:05 PM FixityResolution edited by simonmar@…
expand as per John G.'s request (diff)
2:10 PM UnicodeInHaskellSource edited by simonmar@…
(diff)
1:30 PM HaskellExtensions edited by simonmar@…
(diff)
1:29 PM Ticket #78 (Add infix type constructors) created by simonmar@…
see InfixTypeConstructors.
1:08 PM HaskellExtensions edited by simonmar@…
(diff)
1:06 PM Ticket #77 (add MultiWayIf) created by simonmar@…
see MultiWayIf
12:55 PM HaskellExtensions edited by simonmar@…
(diff)
11:12 AM ExistingRecords edited by malcolm.wallace@…
(diff)
11:02 AM PartialTypeSigs edited by malcolm.wallace@…
(diff)
10:50 AM MagicUnderscore edited by malcolm.wallace@…
(diff)
10:50 AM FlexiblePartialApplication created by malcolm.wallace@…
10:46 AM IssuesByReportStructure edited by malcolm.wallace@…
(diff)

Jan 24, 2006:

11:37 AM Prelude edited by ross@…
some data (diff)
12:57 AM ExistentialTypeSynonyms created by john@…
12:54 AM IssuesByReportStructure edited by john@…
(diff)

Jan 22, 2006:

3:33 PM WikiStart edited by ross@…
minor tweaks (diff)

Jan 21, 2006:

6:45 PM Ticket #9 (craft Haskell' announcement) closed by ijones
fixed
2:17 AM WikiStart edited by ross@…
some rearrangement, after discussion with Isaac (diff)
1:18 AM WikiStart edited by ijones
(diff)
12:16 AM WikiStart edited by ijones
(diff)
12:16 AM WikiStart edited by ijones
(diff)
12:15 AM WikiStart edited by ijones
(diff)
12:15 AM MissionStatement edited by ijones
(diff)
12:13 AM Ticket #75 (create public mission statement) closed by ijones
fixed
12:12 AM PublicMissionStatement edited by ijones
(diff)
12:12 AM WikiStart edited by ijones
(diff)
12:09 AM WikiStart edited by ijones
(diff)
12:08 AM MissionStatement edited by ijones
(diff)

Jan 20, 2006:

11:55 PM TimeLine edited by ijones
(diff)
11:50 PM SourceCode edited by ijones
(diff)
11:31 PM Ticket #2 (decide on infrastructure privacy / secrecy policies) closed by ijones
fixed
11:31 PM WikiStart edited by ijones
(diff)
11:26 PM Ticket #12 (write public guidelines for wiki editing) closed by ijones
fixed
11:22 PM WikiStart edited by ijones
(diff)
11:22 PM MailingLists edited by ijones
(diff)
11:22 PM MailingList created by ijones
11:15 PM MailingLists edited by ijones
(diff)
11:13 PM Ticket #10 (finalize mission statement) closed by ijones
fixed: adopted.
5:01 PM ScopedTypeVariables edited by ross@…
refer to GHC changes (diff)

Jan 19, 2006:

2:26 PM DerivedInstances edited by malcolm.wallace@…
(diff)

Jan 18, 2006:

12:00 AM IssuesByReportStructure edited by ross@…
link to bang patterns (diff)

Jan 17, 2006:

3:07 PM Ticket #76 (Bang patterns) created by simonpj@…
See BangPatterns.

Jan 16, 2006:

11:51 PM PatternGuards edited by ross@…
(diff)
1:23 AM ImpreciseExceptions edited by ross@…
a little more explanation (diff)
1:08 AM NewLibraryCandidates edited by ross@…
summarize discussion (diff)

Jan 14, 2006:

1:14 AM WikiStart edited by ijones
(diff)
1:09 AM TimeLine created by ijones
12:35 AM Committee edited by ijones
(diff)

Jan 13, 2006:

11:37 PM MissionStatement edited by ijones
(diff)

Jan 12, 2006:

2:01 AM BinaryIO edited by dons@…
some clarifications in response to JohnGoerzen?'s comments (diff)
12:52 AM ScopedTypeVariables edited by ross@…
(diff)

Jan 11, 2006:

5:24 PM PolymorphicComponents edited by ross@…
(diff)
4:09 PM FlexibleContexts edited by ross@…
(diff)

Jan 9, 2006:

5:15 PM IssuesByReportStructure edited by ross@…
trim repetitions (diff)

Jan 8, 2006:

2:57 PM RankNTypes edited by ross@…
(diff)

Jan 7, 2006:

3:32 PM ScopedTypeVariables edited by ross@…
(diff)
2:45 PM ScopedTypeVariables edited by ross@…
(diff)
12:15 AM WikiStart edited by ijones
(diff)

Jan 6, 2006:

11:43 PM PublicMissionStatement created by ijones
11:42 PM Ticket #75 (create public mission statement) created by ijones
Resolution: Just added intro to the MissionStatement. See …
11:10 PM Ticket #46 (double check that all MinorFixes are listed as proposals, and minor) closed by ijones
duplicate
11:22 AM RankNTypes edited by ross@…
some details (diff)

Jan 4, 2006:

7:55 PM FlexibleInstances edited by ross@…
minor rewording (diff)

Dec 23, 2005:

9:38 AM IssuesByReportStructure edited by ross@…
(diff)

Dec 21, 2005:

1:17 AM IssuesByReportStructure edited by john@…
get rid of newlineafterequals page until a more precise proposal surfaces (diff)

Dec 20, 2005:

4:00 PM DerivedInstances edited by malcolm.wallace@…
(diff)
3:35 PM BinaryIO edited by malcolm.wallace@…
(diff)
6:28 AM Committee edited by autrijus@…
Reflect my official name change here, too (diff)
4:01 AM IssuesByReportStructure edited by john@…
(diff)
12:27 AM BinaryIO edited by dons@…
Polish the BinaryIO story (diff)

Dec 19, 2005:

11:55 PM AssociatedTypes edited by dons@…
typo (diff)
11:47 PM Concurrency edited by dons@…
Some more points on concurrency (diff)

Dec 18, 2005:

4:29 AM ExtensibleExceptions edited by john@…
(diff)
4:28 AM ImpreciseExceptions edited by john@…
(diff)

Dec 17, 2005:

12:15 PM RankNTypes edited by ross@…
(diff)
11:34 AM TypeSynonymInstances edited by ross@…
(diff)
11:29 AM IssuesByReportStructure edited by ross@…
(diff)
11:28 AM DoAndIfThenElse edited by ross@…
(diff)
3:14 AM BinaryIO edited by dons@…
Expand on binary IO (diff)
2:24 AM Concurrency edited by john@…
(diff)
2:07 AM Concurrency edited by dons@…
(diff)
1:38 AM Concurrency created by ijones
1:33 AM Ticket #74 (add some kind of concurrency) created by ijones
Concurrency seems vital to modern applications.
1:11 AM WikiStart edited by ijones
(diff)
1:01 AM Ticket #73 (add views) created by ijones
see Views.
12:59 AM Ticket #72 (Make underscore 'caseless') created by ijones
see Underscore.
12:58 AM Ticket #71 (Allow Undecidable Instances) created by ijones
see UndecidableInstances.
12:57 AM Ticket #70 (allow TypeSynonymInstances) created by ijones
see TypeSynonymInstances.
12:55 AM Ticket #69 (allow tuple sections) created by ijones
see TupleSections.
12:54 AM Ticket #68 (Eliminate tabs) created by ijones
see Tabs.
12:51 AM Ticket #67 (add Scoped Type Variables) created by ijones
see ScopedTypeVariables.
12:50 AM Ticket #66 (make sure removal candidates are added as proposals) created by ijones
see RemovalCandidates.
12:50 AM Ticket #65 (RelaxedDependencyAnalysis) created by ijones
see RelaxedDependencyAnalysis.
12:48 AM Ticket #64 (add recursive do syntax) created by ijones
see RecursiveDo.
12:47 AM Ticket #63 ("Informal Semantics of Pattern Matching", is a bit vague on matching ...) created by ijones
should we delete this page: RecordPatternMatching?
12:44 AM Ticket #62 (allow data consructors to be exported and imported readonly) created by ijones
see ReadonlyConstructors
12:41 AM Ticket #61 (replace the Read class) created by ijones
see ReadClass.
12:41 AM Ticket #60 (add RankNTypes or Rank2Types) created by ijones
See: * Rank2Types * RankNTypes One is needed; we need to …
12:37 AM Ticket #59 (Fix the lexical syntax for qualified identifiers) created by ijones
see QualifiedIdentifiers.
12:36 AM QualifiedIdentifiers edited by ijones
(diff)
12:35 AM Ticket #58 (prelude re-organisation proposal) created by ijones
see the concrete proposal at the bottom of this page: Prelude. See …
12:34 AM Ticket #57 (add polymorphic components) created by ijones
see PolymorphicComponents.
12:33 AM Ticket #56 (PatternGuards) created by ijones
Add "Pattern Guards". See PatternGuards.
12:32 AM Ticket #55 (add Parallel List comprehensions) created by ijones
see ParallelListComp.
12:31 AM Ticket #54 (add overlapping or incoherent instances) created by ijones
see OverlappingInstances and IncoherentInstances.
12:22 AM Ticket #53 (Nondecreasing Indentation) created by ijones
see NondecreasingIndentation.
12:21 AM Ticket #52 (Generalised deriving for newtype) created by ijones
see NewtypeDeriving.

Dec 16, 2005:

11:58 PM Ticket #51 (add new pragmas) created by ijones
see NewPragmas.
11:56 PM Ticket #50 (get rid of unary '-' operator) created by ijones
See NegativeSyntax.
11:53 PM Ticket #49 (add multi parameter type classes) created by ijones
see MultiParamTypeClasses and the [wiki:MultiParamTypeClassesDilemma
11:52 PM Ticket #48 (clarify module system proposals) created by ijones
see ModuleSystem. Lots of stuff here, not necessarily clear proposals.
11:49 PM Ticket #47 (make sure all minor library changes are added as proposals?) created by ijones
See MinorLibraryChanges. This might be too much to track w/ ticket …
11:49 PM MinorLibraryChanges edited by ijones
(diff)
11:48 PM Ticket #45 (double check that all MinorFixes are listed as proposals, and minor) created by ijones
see MinorFixes.
11:48 PM Ticket #46 (double check that all MinorFixes are listed as proposals, and minor) created by ijones
see MinorFixes.
11:47 PM Ticket #44 (add MagicUnderscore) created by ijones
see MagicUnderscore.
11:46 PM Ticket #43 (add Linear implicit params) created by ijones
see LinearImplicitParams.
11:44 PM Ticket #42 (LineCommentSyntax) created by ijones
see LineCommentSyntax.
11:41 PM Ticket #41 (add LambdaCase) created by ijones
See LambdaCase (see also MultiWayIf, #77)
11:38 PM Ticket #40 (add proposal(s) / flesh out info about the following) created by ijones
The following either have no info, unclear info, or no clear proposal. As …
11:36 PM Ticket #39 (add ImpreciseExceptions) created by ijones
see ImpreciseExceptions. (JL). We've had challenges with imprecise …
11:35 PM Ticket #38 (add implicit parameters) created by ijones
see ImplicitParams.
11:34 PM Ticket #37 (add GADTs) created by ijones
see GADTs.
11:33 PM Ticket #36 (add FunctionalDependencies) created by ijones
see FunctionalDependencies.
11:31 PM Ticket #35 (ForeignFunctionInterface) created by ijones
see ForeignFunctionInterface.
11:30 PM Ticket #34 (add ForeignData) created by ijones
see ForeignData.
11:28 PM Ticket #33 (add Blockable) created by ijones
see ForeignBlocking.
11:27 PM Ticket #32 (add FlexibleInstances) created by ijones
see FlexibleInstances.
11:23 PM Ticket #31 (add Flexible Contexts) created by ijones
See FlexibleContexts.
11:07 PM Ticket #30 (FixityResolution) created by ijones
Remove operator fixity resolution from the context-free grammar, and …
11:05 PM Ticket #29 (add ExtensibleExceptions) created by ijones
See ExtensibleExceptions. There are multiple proposals here, so we need …
11:02 PM Ticket #28 (Require explicit quantification on all expression bound type sigatures) created by ijones
See ExplicitQuantification.
11:01 PM Ticket #27 (create proposal(s): tweak the existing records system) created by ijones
See ExistingRecords. Create specific proposals for this. Here's a …
11:00 PM Ticket #26 (add ExistentialQuantification) created by ijones
see ExistentialQuantification.
10:58 PM Ticket #25 (EmptyDataDeclarations) created by ijones
See EmptyDataDecls.
10:56 PM Ticket #24 (HierarchicalModules) created by ijones
See HierarchicalModules.
10:51 PM Ticket #23 (DoAndIfThenElse) created by ijones
Fix a common pitfall with the do-notation and if-then-else. See …
10:49 PM Ticket #22 (create DerivedInstances proposal) created by ijones
There are a number of issues relating to DerivedInstances. Create …
10:48 PM Ticket #21 (improve defaulting rules) created by ijones
see proposal on this page: Defaulting.
10:45 PM Ticket #20 (Eliminate . as an operator) created by ijones
See CompositionAsDot.
10:44 PM Ticket #19 (control export and import of class instances) created by ijones
Allow class instances to be imported or exported somehow.
10:39 PM Ticket #18 (add closed classes) created by ijones
See ClosedClasses.
10:37 PM Ticket #17 (relax restriction on signatures of class methods) created by ijones
See ClassMethodTypes.
10:35 PM Ticket #16 (Create unicode proposal) created by ijones
Create a proposal based on unicode. Current proposals: * …
10:29 PM Ticket #15 (add a binary IO interface) created by ijones
See BinaryIO.
10:28 PM Ticket #14 (add Associated Types) created by ijones
See AssociatedTypes.
10:26 PM Ticket #13 (add Arrows) created by ijones
See Arrows.

Dec 15, 2005:

12:26 AM FlexibleInstances edited by ross@…
(diff)

Dec 13, 2005:

4:57 PM FixityResolution created by simonmar@…
4:43 PM MinorFixes edited by simonmar@…
(diff)
12:40 PM Changeset in report [1f5ca44]h2010h98 by Malcolm Wallace <Malcolm.Wallace@…>
New lexical bug discovered. --: introduces a comment, but should be a …
11:44 AM OverlappingInstances edited by ross@…
(diff)
8:39 AM Underscore edited by malcolm.wallace@…
(diff)
2:19 AM IssuesByReportStructure edited by john@…
(diff)
2:18 AM MagicUnderscore created by john@…
2:14 AM Underscore edited by john@…
(diff)
2:13 AM Underscore created by john@…
2:07 AM IssuesByReportStructure edited by john@…
(diff)
12:36 AM NewLibraryCandidates edited by ross@…
(diff)
12:35 AM ImpreciseExceptions created by ross@…
12:19 AM FlexibleContexts edited by ross@…
(diff)

Dec 12, 2005:

5:19 PM RecordPatternMatching edited by malcolm.wallace@…
(diff)
3:18 PM FlexibleContexts edited by ross@…
(diff)
2:57 PM FlexibleContexts edited by ross@…
(diff)
2:45 PM RecordPatternMatching created by simonmar@…
2:30 PM MinorFixes edited by simonmar@…
(diff)
2:14 PM LineCommentSyntax created by simonmar@…
2:11 PM MinorFixes edited by simonmar@…
(diff)
11:55 AM FlexibleInstances edited by ross@…
(diff)

Dec 10, 2005:

9:42 PM HaskellExtensions edited by malcolm.wallace@…
(diff)
9:40 PM IssuesByReportStructure edited by malcolm.wallace@…
(diff)
9:38 PM Views created by malcolm.wallace@…

Dec 9, 2005:

5:37 PM Prelude edited by malcolm.wallace@…
(diff)
4:49 PM Prelude edited by simonmar@…
add some slightly more concrete proposals (diff)
4:33 PM QualifiedIdentifiers edited by simonmar@…
link to CompostionAsDot? (diff)
4:30 PM CompositionAsDot edited by simonmar@…
make the proposal more concrete; remove comment about '..' which wasn't … (diff)
6:59 AM RecursiveDo edited by ravi@…
Suggest choosing a new keyword for mdo (diff)
12:21 AM RemovalCandidates edited by john@…
note about GADT based classes. (diff)

Dec 8, 2005:

6:12 PM RemovalCandidates edited by malcolm.wallace@…
(diff)
3:01 PM RemovalCandidates edited by malcolm.wallace@…
(diff)
2:53 PM CompositionAsDot edited by malcolm.wallace@…
(diff)
12:04 PM CompositionAsDot edited by ross@…
(diff)
11:46 AM RecursiveDo edited by ross@…
(diff)
11:37 AM CompositionAsDot edited by malcolm.wallace@…
(diff)
11:34 AM Prelude edited by malcolm.wallace@…
(diff)
6:06 AM NewtypeDeriving edited by john@…
(diff)
5:37 AM DoAndIfThenElse edited by john@…
(diff)
5:34 AM RecursiveDo edited by john@…
(diff)
12:46 AM PartialTypeSigs created by nhn@…

Dec 7, 2005:

11:11 PM DoAndIfThenElse edited by nhn@…
(diff)
11:10 PM Arrows edited by nhn@…
(diff)
10:59 PM RecursiveDo edited by nhn@…
(diff)
10:42 PM DoAndIfThenElse created by nhn@…
9:53 PM NondecreasingIndentation edited by nhn@…
Added link to the somewhat related issue DoAndIfThenElse (diff)
9:50 PM HaskellExtensions edited by nhn@…
NondecreasingINdentation was not listed among the extensions. Added … (diff)
8:06 PM CompositionAsDot created by john@…
7:50 PM Prelude edited by john@…
(diff)
7:46 PM RemovalCandidates edited by john@…
(diff)
7:42 PM RemovalCandidates edited by john@…
(diff)
12:35 AM Defaulting edited by john@…
(diff)
12:23 AM WikiStart edited by john@…
(diff)

Dec 6, 2005:

5:43 PM Defaulting edited by malcolm.wallace@…
(diff)
5:28 PM LanguageQualities edited by malcolm.wallace@…
(diff)
1:52 PM LanguageQualities edited by ross@…
(diff)
12:43 PM NewPragmas edited by ross@…
(diff)
12:43 PM ForeignFunctionInterface edited by john@…
(diff)
12:33 PM ForeignFunctionInterface edited by ross@…
(diff)
11:55 AM IssuesByReportStructure edited by ross@…
(diff)
11:53 AM Unicode edited by ross@…
(diff)
11:53 AM UnicodeInHaskellSource created by ross@…
11:53 AM CharAsUnicode created by ross@…
11:08 AM Unicode edited by malcolm.wallace@…
(diff)
10:52 AM ScopedTypeVariables edited by malcolm.wallace@…
(diff)
8:04 AM NewtypeDeriving edited by john@…
(diff)
5:09 AM ClosedClasses edited by john@…
(diff)
5:06 AM ReadonlyConstructors created by john@…
4:53 AM IssuesByReportStructure edited by john@…
(diff)
4:51 AM ClosedClasses edited by john@…
(diff)
4:50 AM ClosedClasses created by john@…
4:44 AM IssuesByReportStructure edited by john@…
(diff)
3:01 AM Unicode edited by john@…
(diff)
12:54 AM LanguageQualities edited by john@…
(diff)
12:49 AM ExistingRecords edited by john@…
(diff)
12:48 AM ExistingRecords edited by john@…
(diff)
12:40 AM LanguageQualities edited by john@…
(diff)
12:39 AM LanguageQualities edited by john@…
(diff)
12:34 AM LanguageQualities edited by john@…
(diff)
12:32 AM LanguageQualities created by john@…
12:28 AM WikiStart edited by john@…
(diff)
12:27 AM ScopedTypeVariables edited by john@…
(diff)
12:26 AM ScopedTypeVariables edited by john@…
(diff)
12:16 AM ScopedTypeVariables edited by john@…
(diff)
12:12 AM ExistentialQuantification edited by john@…
(diff)
12:09 AM ExistentialQuantification edited by john@…
(diff)
12:05 AM ExistentialQuantification edited by john@…
(diff)
12:03 AM LinearImplicitParams edited by john@…
(diff)
12:03 AM LinearImplicitParams edited by john@…
(diff)
12:00 AM ExplicitQuantification edited by john@…
(diff)

Dec 5, 2005:

11:59 PM ExplicitQuantification created by john@…
11:51 PM IssuesByReportStructure edited by john@…
(diff)
11:43 PM Defaulting edited by john@…
(diff)
11:33 PM Tabs edited by john@…
(diff)
11:32 PM NegativeSyntax edited by john@…
(diff)
6:26 PM UndecidableInstances edited by ross@…
(diff)
6:18 PM FlexibleInstances edited by ross@…
(diff)
6:04 PM NewLibraryCandidates edited by ross@…
fix URLs (diff)
6:03 PM MultiParamTypeClasses edited by ross@…
fix URL (diff)
5:56 PM MultiParamTypeClasses edited by ross@…
(diff)
4:34 PM MultiWayIf edited by malcolm.wallace@…
(diff)
12:53 PM NegativeSyntax edited by simonmar@…
(diff)
12:28 PM Tabs edited by simonmar@…
(diff)
10:41 AM IssuesByReportStructure edited by malcolm.wallace@…
(diff)
10:39 AM NewPragmas edited by malcolm.wallace@…
(diff)
10:38 AM Prelude edited by malcolm.wallace@…
(diff)
10:17 AM TypeSynonymInstances edited by ross@…
(diff)
4:17 AM Arrows edited by john@…
(diff)
4:11 AM OverlappingInstances edited by john@…
(diff)
3:42 AM HaskellExtensions edited by john@…
(diff)
1:59 AM ToolSupport edited by john@…
(diff)
1:44 AM Unicode edited by john@…
(diff)
1:43 AM Unicode edited by john@…
(diff)
12:22 AM Unicode edited by ross@…
(diff)
Note: See TracTimeline for information about the timeline view.