source: ghc/compiler/typecheck/TcInstDcls.lhs

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @f4510d27   8 years simonpj Use implication constraints to improve type inference coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @ab22f4e6   8 years simonmar More import tidying and fixing the stage 2 build coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @2a8cdc3   8 years chak Rough matches for family instances - Class and type family instances just ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @4a8695c5   8 years bjorn Merged stand-alone deriving with FC stuff. coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @3ad8f84   8 years bjorn New syntax for stand-alone deriving. Implemented fully. coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @e6d05771   8 years simonpj Global renamings in HsSyn coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @1a0edd6   8 years simonpj Fix derived instances (again); prevents infinite superclass loop coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @171d458   8 years simonpj Fix newtype deriving properly (un-doing Audreys patch) The ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @2ce87c70   8 years simonpj Re-work the newtype-deriving support The newtype deriving mechanism is ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @138b885a   8 years chak Basic set up for global family instance environment Mon Sep 18 19:52:34 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @d76c18e   8 years chak Straightened out implicit coercions for indexed types Mon Sep 18 19:35:24 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @b5d068a   8 years chak Better error message for indexes that must be variables Mon Sep 18 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @53569e14   8 years chak Checking conformance of AT indexes with instance heads Mon Sep 18 19:18:18 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @b237646   8 years chak Warn of missing ATs and complain about bad ATs Mon Sep 18 19:17:18 EDT ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @feb584b7   8 years chak Check that AT instance is in a class Mon Sep 18 19:16:40 EDT 2006 Manuel ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @80c89b80   8 years chak Extend TyCons and DataCons to represent data instance decls Mon Sep 18 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @202ac08   8 years chak Kind and type checking of indexed types Mon Sep 18 18:39:03 EDT 2006 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @63c79c1   8 years chak Fix newtype deriving bug Mon Sep 18 17:22:43 EDT 2006 Manuel M T ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @5e0ea42   8 years chak Flip direction of newtype coercions, fix some comments Mon Sep 18 17:19:19 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @15cb792   8 years chak Complete the evidence generation for GADTs Mon Sep 18 14:43:22 EDT 2006 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @44ba24dc   8 years chak some bug-fixes, newtype deriving might work now Mon Sep 18 14:33:01 EDT ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @e6e3c778   8 years chak newtype deriving still not working Mon Sep 18 14:31:59 EDT 2006 Manuel M ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @8697e39   8 years chak newtype deriving dicts, compiling at least Mon Sep 18 14:31:19 EDT 2006 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @5c71a3bc   8 years chak ..and a bit more Mon Sep 18 14:30:11 EDT 2006 Manuel M T Chakravarty ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @d937e740   8 years chak More on newtype deriving Mon Sep 18 14:29:16 EDT 2006 Manuel M T ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @ad4a18b   8 years chak towards newtype deriving dicts Mon Sep 18 14:27:57 EDT 2006 Manuel M T ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @c94408e   8 years chak newtype fixes, coercions for non-recursive newtypes now optional Mon Sep ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @5653634   8 years chak Partial changes for derived newtype instances Sat Aug 5 21:16:57 EDT 2006 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @658372b8   8 years chak Fix migrated AT support Wed Jul 26 18:16:25 EDT 2006 Manuel M T ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @afef397   8 years chak Migrate cvs diff from fptools-assoc branch Wed Jul 26 17:46:55 EDT 2006 ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @951cbb3a   8 years simonpj Tiny comment change (darcs test only) coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(edit) @1dfd773   8 years simonpj Make scoped type variables work for default methods Consider class C a ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
(add) @0065d5ab   8 years simonmar Reorganisation of the source tree Most of the other users of the fptools ... coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new
Note: See TracRevisionLog for help on using the revision log.