source: ghc/compiler/typecheck/Inst.lhs

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @ab241c5   7 years simonpj Fix a bug in the handling of implication constraints (Trac #1430) Trac ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @940524a   7 years simonmar Store a SrcSpan instead of a SrcLoc inside a Name This has been 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @2c8701f   7 years simonpj Tidy up the interface to lookupInstEnv This patch changes the interface ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @90dc9026   8 years lennart Add support for overloaded string literals. The class is named IsString ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @8ffdb8ee   8 years simonpj Fix several bugs related to finding free variables Now that coercion ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @84923cc7   8 years simonpj Big tidy-up of deriving code This tidy-up, triggered by Trac #1068, ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @02c48cf1   8 years chak Make dicts for arbitrary type equalities 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @0aa1d46   8 years chak Construction of EqPred dictionaries 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @ea2d0a5   8 years simonpj q 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @a3a15a6   8 years simonpj Simplify TcSimplify, by removing Free For a long time TcSimplify used 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @ac704fc   8 years simonpj Add assertion checks for mkCoVar/mkTyVar A type variable has a flag ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @32722dc   8 years simonpj Make Inst into a record type to ease subsequent changes 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @49c98d1   8 years simonmar Module header tidyup, phase 1 This patch is a start on removing import ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @bf40e268   8 years simonpj Remove Linear Implicit Parameters, and all their works Linear implicit ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @9b8aaa2   8 years chak Another comment Mon Sep 18 17:45:06 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @3e83dfb2   8 years chak Massive patch for the first months work adding System FC to GHC #34 Fri ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(edit) @61d2625a   8 years simonmar Generalise Package Support This patch pushes through one fundamental ... 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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
(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/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis
Note: See TracRevisionLog for help on using the revision log.