Timeline


and

Apr 14, 2006:

3:12 PM ClassSystem created by sweirich@…
Current status of proposals relating to type classes
2:46 PM FocusGroups edited by sweirich@…
(diff)
1:05 PM Concurrency edited by simonpj@…
(diff)
1:03 PM Concurrency edited by simonpj@…
(diff)

Apr 13, 2006:

7:59 PM FunctionalDependencies edited by ross@…
amendments from Iaxor (diff)
2:59 PM Concurrency edited by simonmar@…
formatting (diff)
2:55 PM Concurrency edited by simonmar@…
formatting (diff)
2:54 PM Concurrency edited by simonmar@…
(diff)
2:28 PM Concurrency edited by ross@…
restore some deleted text (diff)
2:05 PM Concurrency edited by simonmar@…
add choice of IORef semantics (diff)
1:34 PM Concurrency edited by simonmar@…
Add outstanding issues (diff)
1:14 PM Concurrency edited by simonmar@…
add proposals + rationale from the discussion (more to come) (diff)
12:34 AM FunctionalDependencies edited by ross@…
(diff)

Apr 12, 2006:

9:18 PM thoughtsOnMixing.ps attached to FunctionalDependencies by malcolm.wallace@…
possible use case for FunctionalDependencies
9:17 PM FunctionalDependencies edited by malcolm.wallace@…
(diff)

Apr 10, 2006:

8:09 AM FunctionalDependencies edited by ross@…
(diff)
1:15 AM FunctionalDependencies edited by ross@…
(diff)

Apr 9, 2006:

11:26 PM Ticket #109 (split Enum into two typeclasses) created by guest
The current uses of Enum are somewhat confusing -- this is partially …
11:07 PM Ticket #108 (make toEnum and fromEnum take and return Integers) created by guest
Change the signature of toEnum and fromEnum in the Enum a typeclass to …

Apr 7, 2006:

9:45 AM FunctionalDependencies edited by ross@…
(diff)
9:40 AM FunctionalDependencies edited by ross@…
rearrange, add modified instance improvement rule (diff)

Apr 4, 2006:

8:48 PM Ticket #107 (Add assertions) created by guest
GHC currently has a nice feature for assertions, which allow the …

Apr 3, 2006:

6:32 AM Concurrency edited by john@…
add note about unsafePerformIO (diff)
6:02 AM Concurrency edited by john@…
(diff)
5:44 AM Concurrency edited by john@…
add info on what current compilers support (diff)

Apr 2, 2006:

7:37 PM Concurrency edited by ijones
added page outline (diff)

Apr 1, 2006:

3:56 AM StrawPoll-1 edited by dons@…
(diff)
3:50 AM StrawPoll-1 edited by dons@…
vote (diff)
3:46 AM StrawPoll-1 edited by dons@…
vote on some more (diff)
1:20 AM StrawPoll-1 edited by sweirich@…
(diff)

Mar 31, 2006:

11:08 PM FlexibleInstances edited by ross@…
interaction with newtype deriving (diff)
10:57 PM NewtypeDeriving edited by ross@…
(diff)
10:39 PM FlexibleContexts edited by ross@…
note on derived instances (diff)
3:52 PM Concurrency edited by simonmar@…
(diff)
3:36 PM Concurrency edited by simonmar@…
(diff)
3:28 PM Concurrency edited by simonmar@…
(diff)
12:44 PM Concurrency edited by john@…
remove priorities references. (diff)
11:56 AM Concurrency edited by john@…
(diff)
8:06 AM Concurrency edited by john@…
(diff)
8:04 AM Concurrency edited by john@…
(diff)
8:03 AM Concurrency edited by john@…
(diff)

Mar 30, 2006:

11:58 PM StrawPoll-1 edited by john@…
(diff)
10:51 PM Ticket #106 (Adding deepSeq/strict to Haskell' beside seq.) created by andy@…
We are considering deepSeq for Haskell'. See deep_seq for more …
4:59 PM FunctionalDependencies edited by ross@…
details (diff)
2:03 PM ForeignBlocking edited by simonmar@…
(diff)
9:56 AM Concurrency edited by simonmar@…
(diff)
5:49 AM Ticket #105 (Disambiguate MonadPlus) created by ashley@…
Reform the MonadPlus class along these lines: […] …
5:38 AM Ticket #104 (Add Time Library) created by ashley@…
1. Add Data.Fixed module to the base package. …
1:19 AM StrawPoll-1 edited by dons@…
more votes (diff)

Mar 29, 2006:

6:43 PM FocusGroups edited by ijones
(diff)
6:43 PM Committee edited by ross@…
spelling (diff)
6:39 PM FocusGroups edited by ijones
moved ross to class system (diff)
5:30 PM Concurrency edited by ijones
added page outline (diff)
3:56 PM StrawPoll-1 edited by ravi@…
(diff)
3:44 PM StrawPoll-1 edited by s.j.thompson@…
(diff)
3:03 PM ExistingRecords edited by nhn@…
(diff)
2:53 PM ExistingRecords edited by nhn@…
(diff)
1:22 PM StrawPoll-1 edited by nhn@…
(diff)
1:04 PM StrawPoll-1 edited by nhn@…
(diff)
12:56 PM StrawPoll-1 edited by nhn@…
(diff)
12:52 PM ReadonlyConstructors edited by nhn@…
(diff)
12:40 PM StrawPoll-1 edited by nhn@…
(diff)
12:39 PM Concurrency edited by simonmar@…
(diff)
12:28 PM Concurrency edited by simonmar@…
(diff)
12:22 PM Concurrency edited by simonmar@…
(diff)
12:19 PM Concurrency edited by simonmar@…
(diff)
12:14 PM Concurrency edited by simonmar@…
(diff)
11:43 AM StrawPoll-1 edited by john@…
(diff)
11:09 AM StrawPoll-1 edited by nhn@…
(diff)
11:00 AM StrawPoll-1 edited by nhn@…
(diff)
10:40 AM StrawPoll-1 edited by nhn@…
(diff)
10:37 AM StrawPoll-1 edited by nhn@…
(diff)
10:33 AM StrawPoll-1 edited by nhn@…
(diff)
10:29 AM RecursiveDo edited by nhn@…
(diff)
10:12 AM Concurrency edited by malcolm.wallace@…
(diff)
9:38 AM StrawPoll-1 edited by nhn@…
(diff)
9:19 AM StrawPoll-1 edited by nhn@…
(diff)
9:16 AM StrawPoll-1 edited by nhn@…
(diff)
8:52 AM StrawPoll-1 edited by nhn@…
(diff)
7:33 AM MonomorphicPatternBindings created by simonpj@…
7:32 AM Ticket #103 (Make pattern bindings monomorphic) created by simonpj@…
See MonomorphicPatternBindings
5:33 AM StrawPoll-1 edited by dons@…
quick pass (diff)
1:36 AM FocusGroups edited by ijones
(diff)
1:26 AM FocusGroups created by ijones
1:12 AM WikiStart edited by ijones
(diff)
1:11 AM Committee edited by ijones
(diff)
12:19 AM StrawPoll-1 edited by ijones
(diff)
12:03 AM StrawPoll-1 edited by ijones
(diff)

Mar 28, 2006:

9:50 PM StrawPoll-1 edited by nhn@…
(diff)
9:48 PM StrawPoll-1 edited by nhn@…
(diff)
9:47 PM PatternSynonyms edited by nhn@…
(diff)
9:43 PM PatternSynonyms created by nhn@…
9:41 PM StrawPoll-1 edited by ijones
clarify description and date (diff)
9:34 PM Views edited by nhn@…
(diff)
9:33 PM Views edited by nhn@…
(diff)
9:21 PM StrawPoll-1 edited by nhn@…
(diff)
9:09 PM Natural edited by nhn@…
(diff)
6:42 PM StrawPoll-1 edited by sweirich@…
(diff)
6:40 PM StrawPoll-1 edited by sweirich@…
(diff)
6:36 PM StrawPoll-1 edited by sweirich@…
(diff)
6:29 PM StrawPoll-1 edited by sweirich@…
(diff)
6:29 PM StrawPoll-1 edited by sweirich@…
(diff)
3:59 PM StrawPoll-1 edited by chak@…
(diff)
3:54 PM StrawPoll-1 edited by chak@…
(diff)
3:53 PM ClassMethodTypes edited by chak@…
(diff)
3:45 PM StrawPoll-1 edited by chak@…
(diff)
3:39 PM StrawPoll-1 edited by chak@…
(diff)
3:35 PM StrawPoll-1 edited by chak@…
(diff)
3:32 PM StrawPoll-1 edited by chak@…
(diff)
3:28 PM StrawPoll-1 edited by chak@…
(diff)
3:24 PM StrawPoll-1 edited by chak@…
(diff)
3:21 PM StrawPoll-1 edited by chak@…
(diff)
3:17 PM StrawPoll-1 edited by sweirich@…
(diff)
3:17 PM StrawPoll-1 edited by chak@…
(diff)
3:13 PM StrawPoll-1 edited by chak@…
(diff)
3:07 PM StrawPoll-1 edited by nhn@…
(diff)
2:54 PM StrawPoll-1 edited by nhn@…
(diff)
2:50 PM StrawPoll-1 edited by nhn@…
(diff)
2:22 PM StrawPoll-1 edited by chak@…
(diff)
2:20 PM StrawPoll-1 edited by chak@…
(diff)
12:18 PM Concurrency edited by simonmar@…
(diff)
11:14 AM Ticket #102 (add Liberal Type Synonyms) created by simonmar@…
See LiberalTypeSynonyms
11:13 AM LiberalTypeSynonyms created by simonmar@…
9:32 AM Concurrency edited by simonmar@…
(diff)
9:31 AM Concurrency edited by simonmar@…
(diff)

Mar 27, 2006:

10:12 PM StrawPoll-1 edited by sweirich@…
(diff)
9:50 PM StrawPoll-1 edited by sweirich@…
(diff)
9:43 PM StrawPoll-1 edited by sweirich@…
(diff)
9:28 PM StrawPoll-1 edited by sweirich@…
(diff)
4:51 PM StrawPoll-1 edited by malcolm.wallace@…
(diff)
4:28 PM StrawPoll-1 edited by sweirich@…
(diff)
4:19 PM StrawPoll-1 edited by sweirich@…
(diff)
4:17 PM StrawPoll-1 edited by sweirich@…
(diff)
4:17 PM StrawPoll-1 edited by sweirich@…
(diff)
3:25 PM StrawPoll-1 edited by sweirich@…
(diff)
3:02 PM StrawPoll-1 edited by bastiaan@…
(diff)
2:56 PM StrawPoll-1 edited by bastiaan@…
(diff)
2:49 PM StrawPoll-1 edited by bastiaan@…
(diff)
10:48 AM StrawPoll-1 edited by simonpj@…
(diff)
10:45 AM StrawPoll-1 edited by simonpj@…
(diff)
10:42 AM StrawPoll-1 edited by simonpj@…
(diff)
10:40 AM StrawPoll-1 edited by simonpj@…
(diff)
10:34 AM StrawPoll-1 edited by simonmar@…
(diff)
10:26 AM StrawPoll-1 edited by simonpj@…
(diff)
10:20 AM StrawPoll-1 edited by simonpj@…
(diff)
10:11 AM StrawPoll-1 edited by malcolm.wallace@…
(diff)

Mar 26, 2006:

12:43 AM Ticket #101 (Class Aliases) created by guest
See http://repetae.net/john/recent/out/classalias.html […]
12:29 AM Concurrency edited by john@…
begin breaking down concurrency levels (diff)

Mar 25, 2006:

6:38 PM CompositionAsDot edited by ross@…
(diff)
1:14 PM StrawPoll-1 edited by autrijus@…
(diff)
1:08 PM StrawPoll-1 edited by autrijus@…
(diff)
1:02 PM StrawPoll-1 edited by autrijus@…
(diff)
12:52 PM StrawPoll-1 edited by autrijus@…
(diff)
12:50 PM StrawPoll-1 edited by autrijus@…
(diff)
12:49 PM StrawPoll-1 edited by autrijus@…
(diff)
12:49 PM StrawPoll-1 edited by autrijus@…
(diff)
12:43 PM StrawPoll-1 edited by ross@…
(diff)
12:04 PM StrawPoll-1 edited by loeh@…
(diff)
11:57 AM StrawPoll-1 edited by loeh@…
(diff)
11:50 AM StrawPoll-1 edited by loeh@…
(diff)
11:27 AM StrawPoll-1 edited by loeh@…
(diff)
11:16 AM StrawPoll-1 edited by loeh@…
(diff)
11:11 AM StrawPoll-1 edited by loeh@…
(diff)
11:08 AM StrawPoll-1 edited by loeh@…
(diff)
10:57 AM StrawPoll-1 edited by loeh@…
(diff)
10:53 AM StrawPoll-1 edited by loeh@…
(diff)
10:50 AM StrawPoll-1 edited by loeh@…
(diff)
10:46 AM StrawPoll-1 edited by loeh@…
(diff)
6:18 AM StrawPoll-1 edited by john@…
(diff)
6:16 AM StrawPoll-1 edited by john@…
(diff)
1:19 AM StrawPoll-1 edited by ross@…
(diff)
1:11 AM StrawPoll-1 edited by ross@…
(diff)
1:07 AM StrawPoll-1 edited by ross@…
(diff)
12:36 AM StrawPoll-1 edited by loeh@…
(diff)
12:09 AM StrawPoll-1 edited by jgoerzen@…
(diff)
12:07 AM StrawPoll-1 edited by jgoerzen@…
(diff)
12:04 AM StrawPoll-1 edited by jgoerzen@…
(diff)

Mar 24, 2006:

8:14 PM StrawPoll-1 edited by ijones
(diff)
8:00 PM StrawPolls created by ijones
6:57 PM SandBox edited by ijones
(diff)
12:51 PM MinorLibraryChanges edited by ross@…
(diff)

Mar 23, 2006:

11:16 PM StrawPoll-1 edited by malcolm.wallace@…
change from ABCD rating to Y/N/blank (diff)
7:39 PM StrawPoll-1 edited by ijones
asking to hold off voting util we get the ballot settled (diff)
7:14 PM ExistentialQuantification edited by john@…
(diff)
7:00 PM StrawPoll-1 edited by john@…
align all table columns (diff)
4:10 PM StrawPoll-1 edited by malcolm.wallace@…
add proposals concerning records (diff)
4:09 PM VotingTemplate edited by malcolm.wallace@…
add proposals concerning records (diff)
4:07 PM Ticket #100 (Replace named fields with an extensible record system) created by malcolm.wallace@…
This proposal is to remove the existing named field system, and replace it …
4:03 PM Ticket #99 (Move existing named field (record) system to an addendum.) created by malcolm.wallace@…
This is a proposal to explicitly reject any new record system for …
3:04 PM StrawPoll-1 created by malcolm.wallace@…
2:46 PM WikiStart edited by malcolm.wallace@…
(diff)
2:44 PM VotingTemplate created by malcolm.wallace@…

Mar 22, 2006:

10:53 AM Concurrency edited by simonmar@…
(diff)
12:12 AM Ticket #98 (Restricted Data Types Now) created by guest
We should adopt Oleg's "Restricted Data Types Now" approach for simpler …
12:04 AM Ticket #97 (Collection library interface) created by guest
We should make a collection library interface, using whatever new features …

Mar 21, 2006:

1:50 PM Ticket #96 (Replace the array indexing operator, '!') created by simonmar@…
See ArrayIndexing.

Mar 20, 2006:

11:45 AM FunctionalDependencies edited by ross@…
fix ref (diff)

Mar 19, 2006:

5:08 PM AssociatedTypes edited by chak@…
(diff)

Mar 7, 2006:

7:46 PM Ticket #40 (add proposal(s) / flesh out info about the following) closed by ijones
wontfix

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)
Note: See TracTimeline for information about the timeline view.