Timeline
02/18/06:
- 17:14 UndecidableInstances edited by
- (diff)
- 06:05 ParallelListComp edited by
- there was a con in there (diff)
- 04:16 ParallelListComp edited by
- (diff)
- 04:10 ParallelListComp edited by
- a pro was listed as a con. (diff)
02/16/06:
- 15:44 Ticket #94 (Syntax for specifing language extensions) created by
- One of the original Haskell goals was to define a language for …
- 04:17 ParallelListComp edited by
- summarize mailing list discussion (diff)
02/15/06:
- 19:57 WikiStart edited by
- adding links to TimeLine (diff)
02/14/06:
- 20:14 MonomorphismRestriction edited by
- (diff)
- 20:06 ExistentialQuantification edited by
- (diff)
- 19:51 ExistentialQuantifier edited by
- (diff)
- 12:42 MultiParamTypeClassesDilemma edited by
- (diff)
- 09:39 Ticket #93 (bring together various class-related tickets into something coherent) created by
- see [query:?component=Proposal&summary=%7Eclass&summary=%7Einstance this …
- 03:57 ExistentialQuantifier edited by
- (diff)
- 03:53 ExistentialQuantifier created by
- 03:51 HaskellExtensions edited by
- jhc now supports rank-n some impredicativity and existentials (diff)
02/13/06:
- 12:11 FirstClassLabels created by
- add first class labels, from Claus Reinke
02/11/06:
- 16:33 FunctionalDependencies edited by
- spell out versions (diff)
- 14:52 Ticket #92 (add First Class Labels) created by
- Designing the right record system for Haskell has proven to be tricky, …
- 07:45 MultiParamTypeClassesDilemma edited by
- (diff)
- 07:44 MultiParamTypeClassesDilemma edited by
- (diff)
02/10/06:
- 17:39 Ticket #91 (Unify various annotation proposals) created by
- Is an elegant, more specific proposal possible that will solve these …
- 17:24 MultiParamTypeClassesDilemma edited by
- (diff)
- 16:41 Ticket #90 (solve the MultiParamTypeClassDilemma) created by
- See a description of the dilemma. …
- 16:38 MultiParamTypeClasses edited by
- (diff)
- 16:37 MultiParamTypeClassesDilemma created by
- 16:26 FunctionalDependencies edited by
- (diff)
- 15:01 Ticket #89 (standardize the System.FilePath module for Haskell') created by
02/08/06:
- 02:27 Ticket #88 (unified and extensible annotations) created by
- We have several annotations in current Haskell: deriving, …
- 02:26 BangPatterns edited by
- (diff)
02/07/06:
02/06/06:
- 09:59 CreateProposal edited by
- (diff)
- 07:42 BangPatterns edited by
- (diff)
- 03:03 BangPatterns edited by
- (diff)
02/05/06:
- 23:44 ForeignData edited by
- (diff)
- 23:38 ForeignData edited by
- (diff)
- 02:30 Prelude edited by
- add foreign types (diff)
02/04/06:
- 17:41 FunctionalDependencies edited by
- details from CHR paper (diff)
02/03/06:
- 16:54 Ticket #83 (update CreateProposal to include general guidelines) closed by
- fixed
- 16:54 CreateProposal edited by
- (diff)
- 16:53 WikiStart edited by
- (diff)
- 16:53 WikiGuidelines created by
- 16:49 CreateProposal edited by
- (diff)
- 10:51 Ticket #87 (add dictionary definitions to wiki) created by
- Add some definitions of technical terms users of this wiki may not be …
- 10:17 ExtensionsExperiment created by
- 10:16 HaskellExtensions edited by
- (diff)
- 04:59 ArrayIndexing created by
- 04:05 RemovalCandidates edited by
- (diff)
- 03:54 WikiStart edited by
- revised proposals report (diff)
- 03:36 PartialTypeAnnotations created by
- 03:30 IssuesByReportStructure edited by
- (diff)
02/02/06:
- 10:03 Ticket #86 (add PartialTypeAnnotations?) created by
- See PartialTypeAnnotations.
- 08:57 BangPatterns edited by
- (diff)
- 04:48 Ticket #85 (more liberal kind inference) created by
- see KindInference for a choice of proposals.
- 03:56 KindAnnotations edited by
- (diff)
- 03:08 KindAnnotations edited by
- (diff)
- 03:07 Ticket #84 (Kind Annotations) created by
- Add KindAnnotations to the language of type expressions.
- 03:04 IssuesByReportStructure edited by
- add KindAnnotations (diff)
- 03:02 KindAnnotations created by
02/01/06:
- 20:49 ClassMethodTypes edited by
- remove long winded explanation. replace with concise sentence. (diff)
- 20:43 ClassMethodTypes edited by
- (diff)
- 20:04 ClassMethodTypes edited by
- (diff)
- 20:03 ClassMethodTypes edited by
- (diff)
- 20:02 ClassMethodTypes edited by
- (diff)
- 18:36 ClassMethodTypes/TypedTrans created by
- 18:10 ClassMethodTypes edited by
- (diff)
- 13:41 HaskellExtensions edited by
- (diff)
- 04:38 IssuesByReportStructure edited by
- (diff)
- 04:37 HaskellExtensions edited by
- (diff)
- 04:36 MonomorphismRestriction edited by
- (diff)
- 04:07 ExistentialQuantification edited by
- (diff)
- 03:09 ExistentialQuantification edited by
- move Omega reference (diff)
- 03:04 LanguageQualities edited by
- (diff)
- 03:01 RemovalCandidates edited by
- (diff)
- 02:57 ExistentialQuantification edited by
- make original proposal and extension more clearly separate (diff)
- 02:43 ExistentialQuantification edited by
- (diff)
01/31/06:
- 09:36 Ticket #83 (update CreateProposal to include general guidelines) created by
- see CreateProposal. Include guidelines for the community making tickets. …
- 05:56 ModuleSystem edited by
- (diff)
- 05:29 ScopedTypeVariables edited by
- class & instance examples (diff)
- 03:34 HaskellExtensions edited by
- (diff)
- 03:32 AllowImportAnywhere edited by
- (diff)
- 03:31 Ticket #82 (Allow import declarations anywhere at the top level) created by
- See AllowImportAnywhere.
- 03:29 AllowImportAnywhere created by
- 03:26 IssuesByReportStructure edited by
- (diff)
- 02:24 MonomorphismRestriction edited by
- clarify situation regarding warnings (diff)
- 02:23 Ticket #81 (scoping of type variables in class instances) created by
- The scoping of type variables in class instances is underspecified. GHC …
01/30/06:
- 19:10 MonomorphismRestriction edited by
- (diff)
- 15:30 MonomorphismRestriction edited by
- (diff)
- 11:36 ReadClass edited by
- (diff)
- 09:47 WikiStart edited by
- (diff)
- 09:42 WikiStart edited by
- (diff)
- 08:47 Ticket #80 (Reform the monomorphism restriction) created by
- See MonomorphismRestriction. There are several proposals on the table.
- 08:40 MonomorphismRestriction created by
- 08:12 RemovalCandidates edited by
- (diff)
- 03:44 ReadClass edited by
- some details (diff)
01/27/06:
- 21:24 ClassMethodTypes edited by
- (diff)
- 09:04 HaskellExtensions edited by
- (diff)
- 07:51 InfixTypeConstructors created by
- 07:43 IssuesByReportStructure edited by
- (diff)
- 05:04 HaskellExtensions edited by
- (diff)
- 04:55 ForeignFunctionInterface edited by
- (diff)
- 04:52 GADTs edited by
- (diff)
- 04:51 ParallelListComp edited by
- (diff)
- 04:49 DoAndIfThenElse edited by
- (diff)
- 04:35 CreateProposal edited by
- (diff)
- 04:06 ScopedTypeVariables edited by
- (diff)
- 04:05 PolymorphicComponents edited by
- (diff)
- 04:05 ExistentialQuantification edited by
- (diff)
- 04:03 FunctionalDependencies edited by
- (diff)
- 04:02 TypeSynonymInstances edited by
- (diff)
- 03:59 FlexibleInstances edited by
- (diff)
- 03:58 RankNTypes edited by
- (diff)
- 03:57 OverlappingInstances edited by
- (diff)
- 03:56 IncoherentInstances edited by
- (diff)
- 03:55 Rank2Types edited by
- (diff)
- 03:54 RankNTypes edited by
- (diff)
- 03:53 KindInference edited by
- (diff)
- 03:52 KindInference edited by
- (diff)
- 03:51 Arrows edited by
- (diff)
- 03:50 ReadClass edited by
- (diff)
- 03:49 RecursiveDo edited by
- (diff)
- 03:48 BangPatterns edited by
- (diff)
- 03:47 BinaryIO edited by
- (diff)
- 03:44 MultiParamTypeClasses edited by
- (diff)
- 03:44 NewtypeDeriving edited by
- (diff)
- 03:42 ClassMethodTypes edited by
- (diff)
- 03:41 RelaxedDependencyAnalysis edited by
- (diff)
- 03:38 FlexibleContexts edited by
- rework ticket link (diff)
- 03:17 Natural edited by
- (diff)
- 03:12 Ticket #79 (Natural numbers) created by
- Add a Natural number type to the pre-defined basic types.
- 03:09 RemovalCandidates edited by
- (diff)
- 03:08 Natural created by
- 03:00 IssuesByReportStructure edited by
- (diff)
- 02:58 RemovalCandidates edited by
- add discussion of numeric patterns (diff)
- 02:19 RelaxedDependencyAnalysis edited by
- add proposal (diff)
- 01:50 ClassMethodTypes edited by
- ticket link (diff)
- 01:45 NewtypeDeriving edited by
- ticket link (diff)
- 01:42 MultiParamTypeClasses edited by
- ticket link (diff)
- 01:29 CreateProposal created by
- 01:17 WikiStart edited by
- (diff)
01/26/06:
- 12:58 BinaryIO edited by
- (diff)
- 12:55 BangPatterns created by
- 12:49 IssuesByReportStructure edited by
- (diff)
- 12:46 RecursiveDo edited by
- (diff)
- 12:45 ReadClass edited by
- (diff)
- 12:44 Arrows edited by
- (diff)
- 12:44 KindInference edited by
- (diff)
- 12:42 RelaxedDependencyAnalysis edited by
- (diff)
- 12:41 RankNTypes edited by
- (diff)
- 12:40 Rank2Types edited by
- (diff)
- 12:40 IncoherentInstances edited by
- (diff)
- 12:39 OverlappingInstances edited by
- (diff)
- 12:39 UndecidableInstances edited by
- (diff)
- 12:38 FlexibleInstances edited by
- (diff)
- 12:37 TypeSynonymInstances edited by
- (diff)
- 12:36 FunctionalDependencies edited by
- (diff)
- 12:36 ExistentialQuantification edited by
- (diff)
- 12:35 PolymorphicComponents edited by
- (diff)
- 12:34 FlexibleContexts edited by
- (diff)
- 12:33 ScopedTypeVariables edited by
- (diff)
- 12:06 ReadClass edited by
- (diff)
- 12:03 Arrows edited by
- (diff)
- 12:02 KindInference edited by
- (diff)
- 12:01 RelaxedDependencyAnalysis edited by
- (diff)
- 11:59 RankNTypes edited by
- (diff)
- 11:59 Rank2Types edited by
- (diff)
- 11:58 IncoherentInstances edited by
- (diff)
- 11:57 OverlappingInstances edited by
- (diff)
- 11:56 UndecidableInstances edited by
- (diff)
- 11:55 FlexibleInstances edited by
- (diff)
- 11:54 TypeSynonymInstances edited by
- (diff)
- 11:53 FunctionalDependencies edited by
- (diff)
- 11:51 ExistentialQuantification edited by
- (diff)
- 11:50 PolymorphicComponents edited by
- (diff)
- 11:48 FlexibleContexts edited by
- (diff)
- 09:53 ScopedTypeVariables edited by
- non-numeric ticket link (diff)
- 08:57 ScopedTypeVariables edited by
- play up scoping in class/instance decls a bit (diff)
- 07:54 QualifiedIdentifiers edited by
- (diff)
- 07:54 PatternGuards edited by
- (diff)
- 07:53 NondecreasingIndentation edited by
- (diff)
- 07:52 LineCommentSyntax edited by
- (diff)
- 07:51 ImpreciseExceptions edited by
- (diff)
- 07:50 ExtensibleExceptions edited by
- (diff)
- 07:50 EmptyDataDecls edited by
- (diff)
- 07:49 EmptyDataDecls edited by
- (diff)
- 07:49 CompositionAsDot edited by
- (diff)
- 07:48 FixityResolution edited by
- add ticket link (diff)
- 02:43 FlexiblePartialApplication edited by
- (diff)
01/25/06:
- 08:54 HaskellExtensions edited by
- (diff)
- 07:49 ModuleSystem edited by
- (diff)
- 07:05 FixityResolution edited by
- expand as per John G.'s request (diff)
- 06:10 UnicodeInHaskellSource edited by
- (diff)
- 05:30 HaskellExtensions edited by
- (diff)
- 05:29 Ticket #78 (Add infix type constructors) created by
- see InfixTypeConstructors.
- 05:08 HaskellExtensions edited by
- (diff)
- 05:06 Ticket #77 (add MultiWayIf) created by
- see MultiWayIf
- 04:55 HaskellExtensions edited by
- (diff)
- 03:12 ExistingRecords edited by
- (diff)
- 03:02 PartialTypeSigs edited by
- (diff)
- 02:50 MagicUnderscore edited by
- (diff)
- 02:50 FlexiblePartialApplication created by
- 02:46 IssuesByReportStructure edited by
- (diff)
01/24/06:
- 03:37 Prelude edited by
- some data (diff)
01/23/06:
01/22/06:
- 07:33 WikiStart edited by
- minor tweaks (diff)
01/21/06:
01/20/06:
- 18:17 WikiStart edited by
- some rearrangement, after discussion with Isaac (diff)
- 17:18 WikiStart edited by
- (diff)
- 16:16 WikiStart edited by
- (diff)
- 16:16 WikiStart edited by
- (diff)
- 16:15 WikiStart edited by
- (diff)
- 16:15 MissionStatement edited by
- (diff)
- 16:13 Ticket #75 (create public mission statement) closed by
- fixed
- 16:12 PublicMissionStatement edited by
- (diff)
- 16:12 WikiStart edited by
- (diff)
- 16:09 WikiStart edited by
- (diff)
- 16:08 MissionStatement edited by
- (diff)
- 15:55 TimeLine edited by
- (diff)
- 15:50 SourceCode edited by
- (diff)
- 15:31 Ticket #2 (decide on infrastructure privacy / secrecy policies) closed by
- fixed
- 15:31 WikiStart edited by
- (diff)
- 15:26 Ticket #12 (write public guidelines for wiki editing) closed by
- fixed
- 15:22 WikiStart edited by
- (diff)
- 15:22 MailingLists edited by
- (diff)
- 15:22 MailingList created by
- 15:15 MailingLists edited by
- (diff)
- 15:13 Ticket #10 (finalize mission statement) closed by
- fixed: adopted.
- 09:01 ScopedTypeVariables edited by
- refer to GHC changes (diff)
01/19/06:
Note: See TracTimeline
for information about the timeline view.
