Add kind equalities to GHC
AbandonedPublic
Actions

Authored by bgamari on Apr 5 2015, 8:10 PM.

Details

Reviewers

alanz
simonpj
goldfire
hvr
austin

Commits

rGHCDIFF190c555e25d3: fix warning
rGHCDIFF24387e60bdee: Fix warning on x86-64

Trac Issues

#7961

Summary

This implements kind equalities, according to the "System FC with
Explicit Kind Equalities" paper.

See https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1 for
details. This branch is available at github.com/goldfirere/ghc,
on the nokinds branch.

The initial diff is still very much a work in progress; there are
181 failures in the testsuite. A good deal of these have known causes,
and an unknown number are simple error message wibbles. (I haven't
had a chance to go through all the errors yet.)

Test Plan

testsuite; implement several Agda programs in Haskell
and see what happens; compile against all of Hackage.
Soon, I'll invite the community to try this
out.

Diff Detail

Repository

rGHC Glasgow Haskell Compiler

Branch

nokinds-dev

Lint

Lint Skipped

Unit

Unit Tests Skipped

Build Status

Buildable 7325
Build 8862: GHC Patch Validation (amd64/Linux)
Build 8852: GHC Patch Validation (amd64/Linux)
Build 8851: arc lint + arc unit

There are a very large number of changes, so older changes are hidden. Show Older Changes

This revision now requires changes to proceed.May 10 2015, 6:19 PM

jstolarek added a subscriber: jstolarek.Jun 11 2015, 10:36 AM

goldfire mentioned this in D1138: Visible type application.Aug 7 2015, 8:44 PM

goldfire mentioned this in D1166: Make Generic (Proxy t) instance poly-kinded (fixes #10775).Aug 24 2015, 7:04 AM

Getting closer to merging. This is WIP -- this doesn't even
compile at the moment.

Comments only
Testsuite
Comments only
Workin' the testsuite.
Workin' the testsuite.
Change an ASSERT to an ASSERT2
Remove some outdated ASSERTs
Zonk in getInitialKinds; remove old ASSERT.
Correct fix for Trac #21
Fix Trac #23.
Don't zonk types during typechecking (# .. #)
Fix Trac #31 by allowing reordering of kind variables.
Merge pull request Trac #36 from deepfire/nokinds
Comments only
Update installation instructions, thanks to Serge Kosyrev
README markdown formatting
Extend the flat-cache only with nom coercions
Add testcase from Trac #32
Fix other half of Trac #32
Tweak to Nix instructions
Tiny optimization in mkTcCoherenceLeftCo
Many levels of kinds test case
A goodly chunk of getting rid of co quantification
Finish removing coercion quantification.
Stage 1 compiles
Bugfixing
"base" builds
Stage 2 compiles
Add test from blog
Urk. We need to make (~) hetero again.
Make GADT equalities unboxed.
Bugfixing
Some more bugfixing. Good for HIW.
Merge branch 'nokinds' of ssh://github.com/goldfirere/ghc into nokinds
Need to solve constraints in sigs when not gen'ing
Fail less often when checking sigs
Support for dynamic paper
exactTyCoVarsOfType is now closed over kinds
occurCheckExpand must look into kinds, too.
Revert "One more analyzeType."
Revert "Fix compiler errors to analyzeType."
Revert "Further checkpoint in reducing import TyCoRep."
Revert "Checkpoint in reducing # of modules that import TyCoRep."
Finish removing analyzeType
Don't merge * and Constraint in instance matching
Remove kind roles.
New test for (C a, C b) => C (a b)
Fix tcGetGlobalTyCoVars, again
Checkpoint in simplifying forallco.
Undo changes to lifting algorithm
Simplify ForAllCo.
Remove comment obseleted by lack of kind roles
Comments only
Fix compilation on 7.8.3
Merge branch 'nokinds-dev' into nokinds
pprTraceIt, emit *unboxed* deriveds
Comments only
Unbox Deriveds; fix canDischarge
Formatting only
Be careful around dirtyTcCoToCo and Derived
Better debugging output
Start at removing eraseType
Finish removing type erasure.
Fix some syms
Add a missing .stderr
Comments only
Start of work toward coercion holes
Checkpoint in coercion holes
Another checkpoint in coercino holes
Finish? coercion holes
Stage 1 compiles.
Checkpoint in typechecking rules
Bugfixing. Still stuck on RULES
More RULE stuff. Don't optimize SubCo (UnivCo)
More bugfixing
Be lazier in TcHsSyn because of knots.
Typo
Remove a panic
Stage 2 compiles.
Better handling of locals with used_tcvs
Bugfixing
More bugfixing
Started abortive attempt to add pi (v :: Levity)
Remove notes about levity stuff
Start toward levity checking
checkpoint in parsing work

Herald added a reviewer: bgamari. · View Herald TranscriptNov 18 2015, 8:01 AM

Herald added a subscriber: mpickering. · View Herald Transcript

This version is working well. Next step: remove lifted equality
from the solver.

Parsing changes actually work. On the first shot.
Remove ITstar
Finish parser changes.
Checkpoint in various bugfixing
Remove buildCoherenceCo
Checkpoint. It's a bit borked.
More TypeInType stuff
Merge remote-tracking branch 'github/nokinds' into nokinds

Herald edited edge metadata. · View Herald TranscriptNov 18 2015, 10:50 PM

Merged with master. Now: just need to work the testsuite
and address a few lingering TODOs.

Oh. and write the manual section.

Wibble in GHC.Types
Make (~) hetero.
Checkpoint in making ~ a class.
No more boxed equalities in solver.
Workin' the testsuite
Checkpoint in bugfixing
Be more careful about FVs in FloatIn
In a decent state now.
instance Typeable (a -> b)
Fix test case around *
Notes only.
Merge remote-tracking branch 'origin/master' into nokinds-dev
Restore separate functions for TcCoercions
Sequelae from TcCoercion stuff
A little cleaning
Define the mkTc function
Stage 1 compiles.
Stage 2 compiles
Merge branch 'nokinds' into nokinds-dev

Herald edited edge metadata. · View Herald TranscriptNov 20 2015, 11:32 PM

Still WIP!

Checkpoint in bugfixing
Checkpoint in bugfixing
Better tracking of kinds v types
Workin' the testsuite
Implement bogus tycons. And other things.
Workin' the testsuite
Checkpoint; zonkCo zonks harder.
Workin' the testsuite.

Herald edited edge metadata. · View Herald TranscriptNov 22 2015, 10:41 AM

@alanz, can you offer any advice on the notes below?

Thanks!

compiler/parser/Parser.y
1637	@alanz, I found this extra call to `ams` and left it as is. But I find it baffling. What is it doing? Should it be there? With the changes I've made around here, some of the `ghc-api/annotations` tests are failing, but I'm not sure whether I should accept the new output. Any advice?
compiler/parser/RdrHsSyn.hs
1066	As the comment says, I think this restructuring leaves behind an annotation for the `~` in the lazy marker behind. Is that a problem?

Made an inline comment on the annotations.

compiler/parser/Parser.y
1637	I think that under certain circumstances this type is split, and the AnnRarrow would go missing if it were not added to the first type. But it may just be an artefact. I would be loathe to remove it, though.

This is the specific commit that brought in the extra AnnRarrow annotation

https://github.com/ghc/ghc/commit/2a0fb5d19500b7d9f0a595ebe08788b675258362

In D808#44427, @alanz wrote:

This is the specific commit that brought in the extra AnnRarrow annotation

https://github.com/ghc/ghc/commit/2a0fb5d19500b7d9f0a595ebe08788b675258362

Thanks -- that's helpful. When you have a chance, could you add a comment in the source code around there? Without any help, that extra annotation looks very very fishy.

Also, did you see my other inline comment in RdrHsSyn? I'm worried about a mistake there, too.

I did, but it is hard to comment without looking at the whole thing.

Currently checking out/compiling D808 so I can look properly

A more detailed response.

I presume there is a body of test code exercising these various features that can be used to check the identity transform in ghc-exactprint once this lands.

compiler/parser/Parser.y
1664	Why are `tyapps` located? they are only used in two places, and in both the location is removed.
1671	In the context of D1512 this will once more bring in an unlocated RdrName. I would prefer `HsAppInfix` to carry the `Located RdrName` instead.
compiler/parser/RdrHsSyn.hs
1066	The original AnnTilde is attached to `loc`, which is discarded in this case. If you move this function into the P monad you can re-attach it to the tilde_loc.

goldfire added inline comments.Nov 22 2015, 1:04 PM

compiler/parser/Parser.y
1664	To propagate the location upwards, for use in `sLL` and `sL1`. I believe it's necessary.
1671	OK. Will do.
compiler/parser/RdrHsSyn.hs
1066	But I don't think that any new annotation is needed, as the `~` goes from being special syntax to just a normal(-ish) type operator. To rephrase: is a stale annotation in the mapping troublesome? I didn't see any functions for removing a mapping, so I thought that it probably isn't.

alanz added inline comments.Nov 22 2015, 1:08 PM

compiler/parser/Parser.y
1671	And I would not be upset if HsAppPrefix carried a LHsType, but it is not critical, it just means a repacking of the type when processing it in ghc-exactprint

goldfire added inline comments.Nov 22 2015, 1:09 PM

compiler/parser/Parser.y
1671	I'm already in the midst of this change. It just made sense when changing `HsAppInfix`. And it's simplifying my code somewhat, so it's just a better design all around. Thanks.

alanz added inline comments.Nov 22 2015, 1:11 PM

compiler/parser/RdrHsSyn.hs
1066	ok, so eqTyCon_Rdr corresponds to '~', so does not need an annotation. The disconnected annotation is not a problem, there are several other cases where it happens too. So this should be fine.

Fewer testcase failures!

Always use implic cts when deferring type errors
Checkpoint in testsuite work
Checkpoint. Refactored HsAppType a bit.
Get rid of atrocious boxity stuff
Optionally keep solving deriveds
Workin' the testsuite
Workin' the testsuite. Fix bug in unifier.

Herald edited edge metadata. · View Herald TranscriptNov 22 2015, 11:22 PM

Finished full pass through testsuite, but now I clearly
need a second pass. On my machine, there are 62 unexpected
failures. I expect just about all of them to be output
wibbles. But I need help on a few points, as I will post
shortly.

Add TcTyMode, among other fixes.
Rewrite bindHsTyVars to check for types vs kinds
Checkpoint in telescope chicanery.
Removed skolem-capture stuff, as it's NMF.
Make ~ homo again; fix SetLevels bug.
Small simplification to Data.Type.Coercion
Workin' the testsuite.
Workin' the testsuite
Testsuite.
More testsuite. More testsuite.
Checkpoint
Remove kind error message
Checkpoint in working on TcTyCon
Testsuite complete?
More testsuite.
Comments.

Herald edited edge metadata. · View Herald TranscriptNov 29 2015, 12:05 AM

This is lurching toward its goal. But I need a bit of help:

stranal/sigs/UnsatFun is failing. I haven't a clue what the output to this test case means and would be grateful for any assistance. (You can build from github.com/goldfirere/ghc.git on the nokinds-dev branch.)
typecheck/should_compile/T6018 is failing. I think this is a bug in the algorithm @simonpj wrote around derived constraints and injective type families. Brief overview: The problem is that we end up with s0 ~ s1 and s0 ~ s2 in the inert set, where we want to find s1 ~ s2. And, because we process deriveds last, the model doesn't get updated accordingly until the end, and then there isn't the right kick-out to re-process TF injectivity stuff.
typecheck/should_fail/T9999 and typecheck/should_fail/tcfail122 are failing with bad error messages. These messages lose helpful information, in comparison to HEAD. But I don't see an easy way to fix. Both are kind errors, say * -> * not matching with *. The problem is that I can't report what the types are that we're comparing. By the time the error is reported, the types have already been unified: the error report would say a |> <<coercion hole>> doesn't match with a, which is useless. (It doesn't say that by default. Enable -fprint-explicit-coercions to see the ugly output.) I don't know how to proceed.

There might be other spots I can't fix, but I tend to think not, at this point. Other than stranal/sigs/UnsatFun, for which I don't know the severity, none of the other problems should hold us up unduly. The error message degradation is regrettable (and I've sweated avoiding a similar fate in other scenarios) but not so bad that it's a showstopper.

This still has to rebase against the latest. But I'm going to nab more testcases first.

I think I solved the T6018 problem. It turns out that there was an eensy-weensy bug in simplifyInfer which triggered very rarely. I just rebuilt all the core libraries as a test-run, and the error triggered somewhere in there. It was a much simpler test case and I was able to figure out what was wrong.

jstolarek mentioned this in D1465: Add proper GADTs support to Template Haskell.Dec 7 2015, 7:35 AM

goldfire mentioned this in D1594: Implement recursive superclasses.Dec 9 2015, 1:02 PM

Working on a few validation bugs.

Address some TODOs. Remove HCoercible.
More TODOs.
Use runTcSDerived after toDerivedWC
More TODOs. Simplify Unify algorithm as per SPJ.
Be more careful when zonking.
More TODOs.
More TODO stuff
Checkpoint.
Remove old code dealing with hetero eqs.
Get AmapCoerce to work. Finally.
Merge remote-tracking branch 'origin/master' into nokinds-dev
Sequelae from merge.
Stage 1 compiles; fix bug in Unify
Stage 2 compiles.
Testsuite wibbles.
Actually fix unify bug.
Fix Unify fix.
Merge remote-tracking branch 'origin/master' into nokinds-dev
Stage 1 compiles.
Stage 2 compiles.
Print phantom kind coercions
Remove calls to coercionKind that slow us down.
Specialise mapType/mapCoercion
Use -fprint-explicit-coercions even in HsSyn
Restore mkKindCo optimisation
Zonk carefully in canEqNC
Skip eager refl check for non-flat types
Fix coercionKind recursion
Coercion destructor optimizations
Optimize (* ~ *)
Comments only
Merge remote-tracking branch 'origin/master' into nokinds-dev
Stage 1 compiles
Few small bugs
Stage 2 compiles
Fix renaming bug
Don't solve hetero wanteds.
Bugfix around TcLevel invariant
Bugfixing
Compile haddock/with 7.8. Submodule update.
Bugfixing
More zonking.
Merge pull request Trac #61 from bgamari/nokinds-dev
Fix warnings when bootstrapping from 7.8
Always put deferred type errs in an EvBindsVar
Comments; fix mkGADTVars
Bind a telescope properly in TcHsType
Don't confuse funtys and foralltys in DmdAnal
Restore old behavior of splitForAllTy

Herald added a reviewer: alanz. · View Herald TranscriptDec 9 2015, 1:09 PM

thomie added inline comments.Dec 9 2015, 6:06 PM

compiler/parser/ApiAnnotation.hs
256	Is this removal of `AnnStar` etc. intentional? They were just added in D1473 by @alanz. But maybe you already discussed this.
testsuite/tests/typecheck/should_fail/T7857.hs
1 ↗	(On Diff #5348)	`FlexibleContexts` doesn't seem necessary, at least in my testing.
testsuite/tests/typecheck/should_fail/T9260.stderr
5	Please double check this change in error message. Note: Expected and Actual are interchanged. `Fin` is no longer mentioned.

Can we please avoid adding/updating un-compressible/un-xdiffable binary files into ghc.git?

core-spec.pdf should never have been committed into ghc.git into the first place.

If we really must, adding the intermediate .tex files generated by ott into Git would be far more tolerable, as those are compressible and diff-able way better than a pdf

This revision now requires changes to proceed.Dec 10 2015, 1:29 AM

Please see my previous comment: https://phabricator.haskell.org/D808#47093

And I like @hvr's suggestion to switch to committing the .tex file instead of the .pdf. I do know that committing generated files is a no-no, but didn't consider this middle path. Will do.

Thanks, both, for the suggestions.

compiler/parser/ApiAnnotation.hs
256	Yes. There is no need for `*` to have special treatment in lexing/parsing any more. Or rather, there is, but it's impossible for the lexer/parser to be able to do the special treatment. So this bit is now done in the renamer, where we have enough info to do the right thing. But in any case, no need for this token.
testsuite/tests/typecheck/should_fail/T9260.stderr
5	Well spotted! I guess I missed the change in ordering. Fixed now.

Posting to get performance validation numbers.
I have no non-performance failures on my machine right now.
Going to rebase against master.

Rejig rejigConRes to do the right thing
Merge pull request Trac #62 from bgamari/nokinds-dev
Fix nasty nasty mdo bug
Align expected/actual
Some testsuite stuff
Restore kind coercions in Unify algorithm
Kick out by coercion hole
Revert "Kick out by coercion hole"
Revert "Don't solve hetero wanteds."
More bugfixing
Remove outdated lint check
Fix telescope checking
Finish? scope checking
Compile with 7.8
Remove debugging output; testsuite
More testsuite. Fix Trac #63.
Fix assoc type defaults; bits & bobs.
Get OptCoercion to compile.
Reverted to rejigged datacon wrappers.
Don't drop case expressions over any unlifted type
Fix splitForAllTys goof in RtClosureInspect
Testsuite wibble
Testsuite.
Testsuite wibbles.

Herald edited edge metadata. · View Herald TranscriptDec 11 2015, 12:24 AM

alanz added inline comments.Dec 11 2015, 12:38 AM

compiler/parser/ApiAnnotation.hs
256	In that case, whichever token does carry the '*' will have to carry a `SourceText`, so that we can retain the original text for the unicode variant, or we will have to bring `ITStar` back, and just add another parser rule to make it the same as the current token, but with the annotation added. If you like I can prepare a patch against your current branch to do this.

Rebased against master. Could this be the last update?

Merge remote-tracking branch 'origin/master' into nokinds-dev
tiny fix

Herald edited edge metadata. · View Herald TranscriptDec 11 2015, 12:44 AM

goldfire added inline comments.Dec 11 2015, 12:46 AM

compiler/parser/ApiAnnotation.hs
256	Shouldn't be necessary. `*` and `<<unicode star>>` are just normal identifiers now. They're exported from `Data.Kind`. So there really shouldn't be any weird interactions here.

Bah. So Harbormaster won't validate. It (quite sensibly) can't find my haddock update.

I tried to push to the haddock repo at git.haskell.org on a branch wip/rae-nokinds but that was rejected by a hook, with no explanation. Can anyone help? Currently, my haddock commit is at github.com/goldfirere/haddock.git on the wip/rae-nokinds branch (but you shouldn't need the branch name, due to submodule magic).

It would be lovely if someone could convince Harbormaster to validate before I wake up. I truly hope just to adjust performance numbers and merge. I'll then post several tickets tracking the few remaining loose ends (a few error message regressions, slightly more eager deferred type errors, performance).

Thanks.

@alanz told me where to point haddock. Validating now.

Adjusted performance numbers. Also see Trac #11196 which tracks
performance problems.

Write a missing Note
Testsuite wibbles.
Update perf numbers

Herald edited edge metadata. · View Herald TranscriptDec 11 2015, 9:20 AM

Thanks.

Fixed testsuite failures. ?

Testsuite wibbles.
Label things as broken from Trac #11203
Testsuite wibble.
Case fixing.
Finish case fixing

Herald edited edge metadata. · View Herald TranscriptDec 11 2015, 3:28 PM

This has landed as 6746549772c5cc0ac66c0fce562f297f4d4b80a2. Abandoning.

bgamari abandoned this revision.Dec 11 2015, 6:54 PM

goldfire mentioned this in D1681: Visible type application..Dec 21 2015, 11:37 AM

Large Diff

This large diff affects 578 files. Files without inline comments have been collapsed. Expand All Files

Revision Contents
Changeset List

			Path
M			.gitmodules (58 lines)
M			README.md (90 lines)
M			compiler/basicTypes/BasicTypes.hs (4 lines)
M			compiler/basicTypes/ConLike.hs (4 lines)
M			compiler/basicTypes/DataCon.hs (360 lines)
M			compiler/basicTypes/DataCon.hs-boot (7 lines)
M			compiler/basicTypes/Id.hs (90 lines)
M			compiler/basicTypes/IdInfo.hs (20 lines)
M			compiler/basicTypes/IdInfo.hs-boot (2 lines)
M			compiler/basicTypes/Lexeme.hs (1 line)
M			compiler/basicTypes/MkId.hs (159 lines)
M			compiler/basicTypes/MkId.hs-boot (3 lines)
M			compiler/basicTypes/Name.hs (8 lines)
M			compiler/basicTypes/NameEnv.hs (5 lines)
M			compiler/basicTypes/OccName.hs (7 lines)
M			compiler/basicTypes/PatSyn.hs (12 lines)
M			compiler/basicTypes/PatSyn.hs-boot (2 lines)
M			compiler/basicTypes/SrcLoc.hs (8 lines)
M			compiler/basicTypes/Unique.hs (9 lines)
M			compiler/basicTypes/Var.hs (75 lines)
M			compiler/basicTypes/VarEnv.hs (63 lines)
M			compiler/basicTypes/VarSet.hs (20 lines)
M			compiler/cmm/Cmm.hs (12 lines)
M			compiler/cmm/CmmExpr.hs (4 lines)
M			compiler/cmm/CmmLayoutStack.hs (8 lines)
M			compiler/cmm/Hoopl/Dataflow.hs (20 lines)
M			compiler/codeGen/StgCmmClosure.hs (18 lines)
M			compiler/codeGen/StgCmmLayout.hs (2 lines)
M			compiler/coreSyn/CoreArity.hs (49 lines)
M			compiler/coreSyn/CoreFVs.hs (284 lines)
M			compiler/coreSyn/CoreLint.hs (680 lines)
M			compiler/coreSyn/CorePrep.hs (11 lines)
M			compiler/coreSyn/CoreSubst.hs (244 lines)
M			compiler/coreSyn/CoreSyn.hs (76 lines)
M			compiler/coreSyn/CoreTidy.hs (11 lines)
M			compiler/coreSyn/CoreUnfold.hs (1 line)
M			compiler/coreSyn/CoreUtils.hs (72 lines)
M			compiler/coreSyn/MkCore.hs (96 lines)
M			compiler/coreSyn/PprCore.hs (8 lines)
M			compiler/coreSyn/TrieMap.hs (432 lines)
M			compiler/deSugar/Check.hs (2 lines)
M			compiler/deSugar/Desugar.hs (32 lines)
M			compiler/deSugar/DsArrows.hs (20 lines)
M			compiler/deSugar/DsBinds.hs (211 lines)
M			compiler/deSugar/DsCCall.hs (32 lines)
M			compiler/deSugar/DsExpr.hs (45 lines)
M			compiler/deSugar/DsForeign.hs (52 lines)
M			compiler/deSugar/DsGRHSs.hs (5 lines)
M			compiler/deSugar/DsListComp.hs (118 lines)
M			compiler/deSugar/DsMeta.hs (93 lines)
M			compiler/deSugar/DsMonad.hs (6 lines)
M			compiler/deSugar/DsUtils.hs (22 lines)
M			compiler/deSugar/Match.hs (20 lines)
M			compiler/deSugar/MatchCon.hs (64 lines)
M			compiler/deSugar/PmExpr.hs (2 lines)
M			compiler/ghc.cabal.in (2 lines)
M			compiler/ghc.mk (2 lines)
M			compiler/ghci/ByteCodeGen.hs (31 lines)
M			compiler/ghci/Debugger.hs (10 lines)
M			compiler/ghci/DebuggerUtils.hs (32 lines)
M			compiler/ghci/RtClosureInspect.hs (59 lines)
M			compiler/hsSyn/Convert.hs (71 lines)
M			compiler/hsSyn/HsDecls.hs (16 lines)
M			compiler/hsSyn/HsExpr.hs (1 line)
M			compiler/hsSyn/HsPat.hs (9 lines)
M			compiler/hsSyn/HsTypes.hs (257 lines)
M			compiler/hsSyn/HsUtils.hs (123 lines)
M			compiler/iface/BinIface.hs (20 lines)
M			compiler/iface/BuildTyCl.hs (92 lines)
M			compiler/iface/IfaceEnv.hs (25 lines)
M			compiler/iface/IfaceSyn.hs (203 lines)
M			compiler/iface/IfaceType.hs (633 lines)
M			compiler/iface/MkIface.hs (56 lines)
M			compiler/iface/TcIface.hs (346 lines)
M			compiler/iface/TcIface.hs-boot (2 lines)
M			compiler/main/Annotations.hs (12 lines)
M			compiler/main/DynFlags.hs (9 lines)
M			compiler/main/DynamicLoading.hs (7 lines)
M			compiler/main/GHC.hs (73 lines)
M			compiler/main/GhcMonad.hs (6 lines)
M			compiler/main/GhcPlugins.hs (12 lines)
M			compiler/main/HscStats.hs (8 lines)
M			compiler/main/HscTypes.hs (20 lines)
M			compiler/main/InteractiveEval.hs (28 lines)
M			compiler/main/InteractiveEvalTypes.hs (2 lines)
M			compiler/main/PipelineMonad.hs (2 lines)
M			compiler/main/PprTyThing.hs (4 lines)
M			compiler/nativeGen/PPC/Ppr.hs (1 line)
M			compiler/nativeGen/RegAlloc/Graph/ArchBase.hs (36 lines)
M			compiler/nativeGen/RegAlloc/Graph/ArchX86.hs (58 lines)
M			compiler/nativeGen/RegAlloc/Graph/Coalesce.hs (32 lines)
M			compiler/nativeGen/RegAlloc/Graph/Main.hs (28 lines)
M			compiler/nativeGen/RegAlloc/Graph/Spill.hs (20 lines)
M			compiler/nativeGen/RegAlloc/Graph/SpillClean.hs (36 lines)
M			compiler/nativeGen/RegAlloc/Graph/SpillCost.hs (30 lines)
M			compiler/nativeGen/RegAlloc/Graph/Stats.hs (22 lines)
M			compiler/nativeGen/RegAlloc/Linear/Main.hs (6 lines)
M			compiler/nativeGen/RegAlloc/Linear/PPC/FreeRegs.hs (4 lines)
M			compiler/nativeGen/RegAlloc/Linear/SPARC/FreeRegs.hs (58 lines)
M			compiler/nativeGen/RegAlloc/Linear/StackMap.hs (4 lines)
M			compiler/nativeGen/RegAlloc/Linear/Stats.hs (6 lines)
M			compiler/nativeGen/SPARC/CodeGen/Gen64.hs (65 lines)
M			compiler/parser/ApiAnnotation.hs (4 lines)
M			compiler/parser/Lexer.x (10 lines)
M			compiler/parser/Parser.y (222 lines)
M			compiler/parser/RdrHsSyn.hs (52 lines)
M			compiler/prelude/PrelInfo.hs (72 lines)
M			compiler/prelude/PrelNames.hs (147 lines)
M			compiler/prelude/PrelNames.hs-boot (3 lines)
M			compiler/prelude/PrelRules.hs (50 lines)
M			compiler/prelude/PrimOp.hs (6 lines)
M			compiler/prelude/TysPrim.hs (245 lines)
M			compiler/prelude/TysWiredIn.hs (396 lines)
M			compiler/prelude/TysWiredIn.hs-boot (10 lines)
M			compiler/rename/RnEnv.hs (21 lines)
M			compiler/rename/RnNames.hs (2 lines)
M			compiler/rename/RnPat.hs (4 lines)
M			compiler/rename/RnSource.hs (98 lines)
M			compiler/rename/RnTypes.hs (832 lines)
M			compiler/simplCore/CSE.hs (4 lines)
M			compiler/simplCore/CoreMonad.hs (1 line)
M			compiler/simplCore/FloatIn.hs (169 lines)
M			compiler/simplCore/OccurAnal.hs (2 lines)
M			compiler/simplCore/SAT.hs (2 lines)
M			compiler/simplCore/SetLevels.hs (30 lines)
M			compiler/simplCore/SimplEnv.hs (64 lines)
M			compiler/simplCore/SimplMonad.hs (4 lines)
M			compiler/simplCore/SimplUtils.hs (17 lines)
M			compiler/simplCore/Simplify.hs (76 lines)
M			compiler/simplStg/UnariseStg.hs (2 lines)
M			compiler/specialise/Rules.hs (54 lines)
M			compiler/specialise/SpecConstr.hs (10 lines)
M			compiler/specialise/Specialise.hs (60 lines)
M			compiler/stgSyn/StgLint.hs (1 line)
M			compiler/stranal/DmdAnal.hs (4 lines)
M			compiler/stranal/WwLib.hs (39 lines)
M			compiler/typecheck/FamInst.hs (120 lines)
M			compiler/typecheck/FunDeps.hs (66 lines)
M			compiler/typecheck/Inst.hs (170 lines)
M			compiler/typecheck/TcArrows.hs (18 lines)
M			compiler/typecheck/TcBinds.hs (139 lines)
M			compiler/typecheck/TcCanonical.hs (570 lines)
M			compiler/typecheck/TcClassDcl.hs (20 lines)
M			compiler/typecheck/TcDefaults.hs (5 lines)
M			compiler/typecheck/TcDeriv.hs (204 lines)
M			compiler/typecheck/TcEnv.hs (37 lines)
M			compiler/typecheck/TcErrors.hs (418 lines)
M			compiler/typecheck/TcEvidence.hs (663 lines)
M			compiler/typecheck/TcExpr.hs (130 lines)
M			compiler/typecheck/TcFlatten.hs (263 lines)
M			compiler/typecheck/TcForeign.hs (55 lines)
M			compiler/typecheck/TcGenDeriv.hs (31 lines)
M			compiler/typecheck/TcGenGenerics.hs (31 lines)
M			compiler/typecheck/TcHsSyn.hs (309 lines)
M			compiler/typecheck/TcHsType.hs (2078 lines)
M			compiler/typecheck/TcInstDcls.hs (87 lines)
M			compiler/typecheck/TcInteract.hs (291 lines)
M			compiler/typecheck/TcMType.hs (741 lines)
M			compiler/typecheck/TcMatches.hs (20 lines)
M			compiler/typecheck/TcPat.hs (72 lines)
M			compiler/typecheck/TcPatSyn.hs (53 lines)
M			compiler/typecheck/TcPluginM.hs (64 lines)
M			compiler/typecheck/TcRnDriver.hs (41 lines)
M			compiler/typecheck/TcRnMonad.hs (60 lines)
M			compiler/typecheck/TcRnTypes.hs (335 lines)
M			compiler/typecheck/TcRules.hs (140 lines)
M			compiler/typecheck/TcSMonad.hs (642 lines)
M			compiler/typecheck/TcSimplify.hs (599 lines)
M			compiler/typecheck/TcSplice.hs (178 lines)
M			compiler/typecheck/TcTyClsDecls.hs (1099 lines)
M			compiler/typecheck/TcTyDecls.hs (229 lines)
M			compiler/typecheck/TcType.hs (990 lines)
M			compiler/typecheck/TcType.hs-boot (1 line)
M			compiler/typecheck/TcTypeNats.hs (111 lines)
M			compiler/typecheck/TcTypeable.hs (5 lines)
M			compiler/typecheck/TcUnify.hs (724 lines)
M			compiler/typecheck/TcUnify.hs-boot (7 lines)
M			compiler/typecheck/TcValidity.hs (702 lines)
M			compiler/types/Class.hs (20 lines)
M			compiler/types/CoAxiom.hs (34 lines)
M			compiler/types/Coercion.hs (2495 lines)
A	M		compiler/types/Coercion.hs-boot (46 lines)
M			compiler/types/FamInstEnv.hs (511 lines)
M			compiler/types/InstEnv.hs (24 lines)
M			compiler/types/Kind.hs (297 lines)
M			compiler/types/OptCoercion.hs (568 lines)
A	M		compiler/types/TyCoRep.hs (2496 lines)
V			compiler/types/{TyCoRep.hs-boot ← TypeRep.hs-boot} (9 lines)
M			compiler/types/TyCon.hs (211 lines)
M			compiler/types/Type.hs (1895 lines)
M			compiler/types/Type.hs-boot (15 lines)
D	M		compiler/types/TypeRep.hs (1020 lines)
V			compiler/types/{TypeRep.hs-boot → TyCoRep.hs-boot}
M			compiler/types/Unify.hs (1237 lines)
M			compiler/utils/Bag.hs (2 lines)
M			compiler/utils/ListSetOps.hs (15 lines)
M			compiler/utils/MonadUtils.hs (24 lines)
M			compiler/utils/Outputable.hs (17 lines)
M			compiler/utils/Pair.hs (12 lines)
M			compiler/utils/Serialized.hs (4 lines)
M			compiler/utils/UniqDFM.hs (4 lines)
M			compiler/utils/UniqDSet.hs (15 lines)
M			compiler/utils/UniqSet.hs (2 lines)
M			compiler/utils/Util.hs (49 lines)
M			compiler/vectorise/Vectorise.hs (74 lines)
M			compiler/vectorise/Vectorise/Builtins.hs (4 lines)
M			compiler/vectorise/Vectorise/Builtins/Base.hs (34 lines)
M			compiler/vectorise/Vectorise/Builtins/Initialise.hs (14 lines)
M			compiler/vectorise/Vectorise/Convert.hs (35 lines)
M			compiler/vectorise/Vectorise/Env.hs (22 lines)
M			compiler/vectorise/Vectorise/Exp.hs (60 lines)
M			compiler/vectorise/Vectorise/Generic/Description.hs (44 lines)
M			compiler/vectorise/Vectorise/Generic/PADict.hs (14 lines)
M			compiler/vectorise/Vectorise/Generic/PAMethods.hs (66 lines)
M			compiler/vectorise/Vectorise/Generic/PData.hs (14 lines)
M			compiler/vectorise/Vectorise/Monad.hs (20 lines)
M			compiler/vectorise/Vectorise/Monad/Base.hs (30 lines)
M			compiler/vectorise/Vectorise/Monad/Global.hs (38 lines)
M			compiler/vectorise/Vectorise/Monad/InstEnv.hs (14 lines)
M			compiler/vectorise/Vectorise/Monad/Local.hs (20 lines)
M			compiler/vectorise/Vectorise/Monad/Naming.hs (19 lines)
M			compiler/vectorise/Vectorise/Type/Classify.hs (33 lines)
M			compiler/vectorise/Vectorise/Type/Env.hs (44 lines)
M			compiler/vectorise/Vectorise/Type/TyConDecl.hs (12 lines)
M			compiler/vectorise/Vectorise/Type/Type.hs (21 lines)
M			compiler/vectorise/Vectorise/Utils.hs (12 lines)
M			compiler/vectorise/Vectorise/Utils/Base.hs (12 lines)
M			compiler/vectorise/Vectorise/Utils/Closure.hs (4 lines)
M			compiler/vectorise/Vectorise/Utils/Hoisting.hs (4 lines)
M			compiler/vectorise/Vectorise/Utils/PADict.hs (37 lines)
M			compiler/vectorise/Vectorise/Utils/Poly.hs (8 lines)
M			compiler/vectorise/Vectorise/Var.hs (2 lines)
M			compiler/vectorise/Vectorise/Vect.hs (8 lines)
M			docs/core-spec/.gitignore (1 line)
M			docs/core-spec/CoreLint.ott (309 lines)
M			docs/core-spec/CoreSyn.ott (219 lines)
M			docs/core-spec/Makefile (2 lines)
M			docs/core-spec/OpSem.ott (6 lines)
M			docs/core-spec/core-spec.mng (83 lines)
M		(bin)	docs/core-spec/core-spec.pdf
M			docs/users_guide/glasgow_exts.rst (3 lines)
M			docs/users_guide/using.rst (19 lines)
M			libraries/base/Data/Coerce.hs (3 lines)
A	M		libraries/base/Data/Kind.hs (19 lines)
M			libraries/base/Data/Monoid.hs (1 line)
M			libraries/base/Data/Type/Coercion.hs (10 lines)
M			libraries/base/Data/Type/Equality.hs (42 lines)
M			libraries/base/Data/Typeable/Internal.hs (48 lines)
M			libraries/base/GHC/Base.hs (19 lines)
M			libraries/base/GHC/Exts.hs (11 lines)
M			libraries/base/GHC/TypeLits.hs (2 lines)
M			libraries/base/base.cabal (1 line)
M			libraries/base/tests/CatEntail.hs (2 lines)
M			libraries/ghc-prim/GHC/Classes.hs (1 line)
M			libraries/ghc-prim/GHC/Types.hs (62 lines)
A	M		rae.txt (319 lines)
M			testsuite/tests/ado/ado004.stderr (4 lines)
M			testsuite/tests/annotations/should_fail/annfail10.stderr (2 lines)
M			testsuite/tests/deSugar/should_compile/T2431.stderr (22 lines)
M			testsuite/tests/deSugar/should_compile/T4488.stderr (32 lines)
A	M		testsuite/tests/dependent/Makefile (3 lines)
A	M		testsuite/tests/dependent/should_compile/Dep1.hs (13 lines)
A	M		testsuite/tests/dependent/should_compile/Dep2.hs (7 lines)
A	M		testsuite/tests/dependent/should_compile/Dep3.hs (26 lines)
A	M		testsuite/tests/dependent/should_compile/KindEqualities.hs (25 lines)
A	M		testsuite/tests/dependent/should_compile/KindEqualities2.hs (43 lines)
A	M		testsuite/tests/dependent/should_compile/KindLevels.hs (9 lines)
A	M		testsuite/tests/dependent/should_compile/Makefile (3 lines)
A	M		testsuite/tests/dependent/should_compile/RAE_T32b.hs (23 lines)
A	M		testsuite/tests/dependent/should_compile/Rae31.hs (24 lines)
A	M		testsuite/tests/dependent/should_compile/RaeBlogPost.hs (63 lines)
A	M		testsuite/tests/dependent/should_compile/all.T (10 lines)
A	M		testsuite/tests/dependent/should_compile/mkGADTVars.hs (9 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope.hs (9 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope.stderr (9 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope2.hs (14 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope2.stderr (16 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope3.hs (9 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope3.stderr (6 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope4.hs (13 lines)
A	M		testsuite/tests/dependent/should_fail/BadTelescope4.stderr (15 lines)
A	M		testsuite/tests/dependent/should_fail/DepFail1.hs (11 lines)
A	M		testsuite/tests/dependent/should_fail/DepFail1.stderr (12 lines)
A	M		testsuite/tests/dependent/should_fail/Makefile (5 lines)
A	M		testsuite/tests/dependent/should_fail/PromotedClass.hs (11 lines)
A	M		testsuite/tests/dependent/should_fail/PromotedClass.stderr (6 lines)
A	M		testsuite/tests/dependent/should_fail/RAE_T32a.hs (35 lines)
A	M		testsuite/tests/dependent/should_fail/RAE_T32a.stderr (19 lines)
A	M		testsuite/tests/dependent/should_fail/SelfDep.hs (3 lines)
A	M		testsuite/tests/dependent/should_fail/SelfDep.stderr (5 lines)
A	M		testsuite/tests/dependent/should_fail/TypeSkolEscape.hs (8 lines)
A	M		testsuite/tests/dependent/should_fail/TypeSkolEscape.stderr (7 lines)
A	M		testsuite/tests/dependent/should_fail/all.T (9 lines)
V			testsuite/tests/deriving/{should_compile ← should_fail}/T10524.hs (1 line)
M			testsuite/tests/deriving/should_compile/all.T (1 line)
V			testsuite/tests/deriving/{should_fail → should_compile}/T10524.hs
M			testsuite/tests/deriving/should_fail/T1496.stderr (8 lines)
M			testsuite/tests/deriving/should_fail/T7959.stderr (12 lines)
M			testsuite/tests/deriving/should_fail/all.T (1 line)
M			testsuite/tests/deriving/should_fail/drvfail005.stderr (9 lines)
M			testsuite/tests/driver/T4437.hs (3 lines)
M			testsuite/tests/driver/werror.stderr (2 lines)
M			testsuite/tests/gadt/T3163.stderr (10 lines)
M			testsuite/tests/gadt/gadt-escape1.stderr (32 lines)
M			testsuite/tests/gadt/gadt10.stderr (4 lines)
M			testsuite/tests/gadt/gadt13.stderr (30 lines)
M			testsuite/tests/gadt/gadt7.stderr (34 lines)
M			testsuite/tests/ghc-api/annotations/T10307.stdout (1 line)
M			testsuite/tests/ghc-api/annotations/T10312.stderr (4 lines)
M			testsuite/tests/ghc-api/annotations/T10312.stdout (2 lines)
M			testsuite/tests/ghc-api/annotations/T10357.stderr (74 lines)
M			testsuite/tests/ghc-api/annotations/T10357.stdout (1 line)
M			testsuite/tests/ghc-api/annotations/T10358.stdout (5 lines)
M			testsuite/tests/ghc-api/annotations/T11018.stderr (2 lines)
M			testsuite/tests/ghc-api/annotations/T11018.stdout (6 lines)
M			testsuite/tests/ghc-api/annotations/exampleTest.stdout (3 lines)
M			testsuite/tests/ghc-api/annotations/listcomps.stdout (2 lines)
M			testsuite/tests/ghc-api/annotations/parseTree.stdout (4 lines)
M			testsuite/tests/ghc-api/landmines/landmines.stdout (4 lines)
M			testsuite/tests/ghci.debugger/scripts/break001.stdout (4 lines)
M			testsuite/tests/ghci.debugger/scripts/break003.stderr (2 lines)
M			testsuite/tests/ghci.debugger/scripts/break003.stdout (8 lines)
M			testsuite/tests/ghci.debugger/scripts/break006.stderr (16 lines)
M			testsuite/tests/ghci.debugger/scripts/break006.stdout (12 lines)
M			testsuite/tests/ghci.debugger/scripts/break012.stdout (10 lines)
M			testsuite/tests/ghci.debugger/scripts/break018.stdout (4 lines)
M			testsuite/tests/ghci.debugger/scripts/break022/break022.stdout (2 lines)
M			testsuite/tests/ghci.debugger/scripts/break026.stdout (116 lines)
M			testsuite/tests/ghci.debugger/scripts/break028.stdout (6 lines)
M			testsuite/tests/ghci.debugger/scripts/hist001.stdout (22 lines)
M			testsuite/tests/ghci.debugger/scripts/print018.stdout (6 lines)
M			testsuite/tests/ghci.debugger/scripts/print022.stdout (6 lines)
M			testsuite/tests/ghci.debugger/scripts/print025.stdout (2 lines)
M			testsuite/tests/ghci.debugger/scripts/print031.stdout (2 lines)
M			testsuite/tests/ghci.debugger/scripts/print036.stdout (1 line)
M			testsuite/tests/ghci/prog009/ghci.prog009.stdout (16 lines)
M			testsuite/tests/ghci/scripts/Defer02.stderr (7 lines)
M			testsuite/tests/ghci/scripts/Defer02.stdout (2 lines)
M			testsuite/tests/ghci/scripts/T10122.stdout (2 lines)
M			testsuite/tests/ghci/scripts/T10508.stderr (8 lines)
M			testsuite/tests/ghci/scripts/T2182ghci.stderr (10 lines)
M			testsuite/tests/ghci/scripts/T4087.stdout (8 lines)
M			testsuite/tests/ghci/scripts/T4175.stdout (15 lines)
M			testsuite/tests/ghci/scripts/T6018ghcifail.stderr (6 lines)
M			testsuite/tests/ghci/scripts/T7627.stdout (6 lines)
M			testsuite/tests/ghci/scripts/T7730.stdout (2 lines)
M			testsuite/tests/ghci/scripts/T7873.script (5 lines)
A	M		testsuite/tests/ghci/scripts/T7873.stderr (7 lines)
M			testsuite/tests/ghci/scripts/T7873.stdout (10 lines)
M			testsuite/tests/ghci/scripts/T7939.stdout (35 lines)
M			testsuite/tests/ghci/scripts/T9181.stdout (24 lines)
M			testsuite/tests/ghci/scripts/ghci001.stdout (4 lines)
M			testsuite/tests/ghci/scripts/ghci013.stdout (2 lines)
M			testsuite/tests/ghci/scripts/ghci047.stderr (26 lines)
M			testsuite/tests/ghci/scripts/ghci051.stderr (4 lines)
M			testsuite/tests/ghci/scripts/ghci055.stdout (4 lines)
M			testsuite/tests/ghci/scripts/ghci059.script (2 lines)
M			testsuite/tests/ghci/scripts/ghci059.stdout (2 lines)
M			testsuite/tests/haddock/should_compile_flag_haddock/haddockA023.stderr (2 lines)
M			testsuite/tests/haddock/should_compile_flag_haddock/haddockA026.stderr (2 lines)
M			testsuite/tests/haddock/should_compile_flag_haddock/haddockA027.stderr (6 lines)
M			testsuite/tests/haddock/should_compile_flag_haddock/haddockA028.stderr (2 lines)
M			testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr (3 lines)
M			testsuite/tests/indexed-types/should_compile/Simple12.hs (1 line)
M			testsuite/tests/indexed-types/should_compile/T3017.stderr (5 lines)
M			testsuite/tests/indexed-types/should_compile/T3208b.stderr (3 lines)
M			testsuite/tests/indexed-types/should_compile/T9316.hs (1 line)
M			testsuite/tests/indexed-types/should_compile/T9747.hs (2 lines)
M			testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr (24 lines)
M			testsuite/tests/indexed-types/should_fail/Overlap4.stderr (1 line)
M			testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr (2 lines)
M			testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr (8 lines)
M			testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr (7 lines)
M			testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr (4 lines)
M			testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr (4 lines)
M			testsuite/tests/indexed-types/should_fail/T10141.stderr (5 lines)
M			testsuite/tests/indexed-types/should_fail/T10899.stderr (2 lines)
M			testsuite/tests/indexed-types/should_fail/T2627b.stderr (13 lines)
M			testsuite/tests/indexed-types/should_fail/T2664.stderr (34 lines)
M			testsuite/tests/indexed-types/should_fail/T3330a.stderr (16 lines)
M			testsuite/tests/indexed-types/should_fail/T3330c.stderr (23 lines)
M			testsuite/tests/indexed-types/should_fail/T4179.stderr (22 lines)
M			testsuite/tests/indexed-types/should_fail/T5439.stderr (46 lines)
M			testsuite/tests/indexed-types/should_fail/T6123.stderr (12 lines)
M			testsuite/tests/indexed-types/should_fail/T7786.stderr (72 lines)
M			testsuite/tests/indexed-types/should_fail/T7788.stderr (6 lines)
M			testsuite/tests/indexed-types/should_fail/T9160.stderr (2 lines)
M			testsuite/tests/indexed-types/should_fail/T9171.stderr (21 lines)
M			testsuite/tests/indexed-types/should_fail/T9357.stderr (2 lines)
M			testsuite/tests/indexed-types/should_run/T5719.hs (2 lines)
M			testsuite/tests/mdo/should_compile/mdo006.hs (2 lines)
M			testsuite/tests/module/mod71.stderr (24 lines)
M			testsuite/tests/module/mod72.stderr (4 lines)
M			testsuite/tests/parser/should_compile/read014.stderr (2 lines)
M			testsuite/tests/parser/should_fail/T3811d.stderr (2 lines)
M			testsuite/tests/parser/should_fail/T7848.stderr (4 lines)
M			testsuite/tests/parser/should_fail/readFail003.stderr (30 lines)
M			testsuite/tests/partial-sigs/should_compile/ADT.stderr (2 lines)
M			testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr (2 lines)
M			testsuite/tests/partial-sigs/should_compile/Meltdown.stderr (2 lines)
M			testsuite/tests/partial-sigs/should_compile/SkipMany.stderr (2 lines)
M			testsuite/tests/partial-sigs/should_compile/T10403.stderr (14 lines)
M			testsuite/tests/partial-sigs/should_compile/T10438.stderr (16 lines)
M			testsuite/tests/partial-sigs/should_compile/T11192.stderr (4 lines)
M			testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr (3 lines)
M			testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr (26 lines)
M			testsuite/tests/partial-sigs/should_fail/T10045.stderr (4 lines)
M			testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr (24 lines)
M			testsuite/tests/patsyn/should_fail/T9161-2.stderr (11 lines)
M			testsuite/tests/perf/compiler/all.T (42 lines)
M			testsuite/tests/perf/haddock/all.T (6 lines)
A	M		testsuite/tests/polykinds/PolyInstances.hs (22 lines)
M			testsuite/tests/polykinds/PolyKinds02.stderr (11 lines)
M			testsuite/tests/polykinds/PolyKinds04.stderr (5 lines)
M			testsuite/tests/polykinds/PolyKinds07.stderr (2 lines)
A	M		testsuite/tests/polykinds/SigTvKinds.hs (7 lines)
A	M		testsuite/tests/polykinds/SigTvKinds2.hs (7 lines)
A	M		testsuite/tests/polykinds/SigTvKinds2.stderr (6 lines)
M			testsuite/tests/polykinds/T10503.stderr (33 lines)
A	M		testsuite/tests/polykinds/T11142.hs (10 lines)
A	M		testsuite/tests/polykinds/T11142.stderr (7 lines)
M			testsuite/tests/polykinds/T5716.hs (2 lines)
M			testsuite/tests/polykinds/T5716.stderr (9 lines)
M			testsuite/tests/polykinds/T6021.hs (2 lines)
M			testsuite/tests/polykinds/T6021.stderr (9 lines)
D	M		testsuite/tests/polykinds/T6039.stderr (4 lines)
M			testsuite/tests/polykinds/T6129.stderr (2 lines)
M			testsuite/tests/polykinds/T7224.stderr (13 lines)
M			testsuite/tests/polykinds/T7230.stderr (6 lines)
M			testsuite/tests/polykinds/T7278.hs (3 lines)
M			testsuite/tests/polykinds/T7278.stderr (11 lines)
M			testsuite/tests/polykinds/T7328.hs (2 lines)
M			testsuite/tests/polykinds/T7328.stderr (15 lines)
M			testsuite/tests/polykinds/T7341.hs (2 lines)
M			testsuite/tests/polykinds/T7341.stderr (4 lines)
M			testsuite/tests/polykinds/T7404.stderr (7 lines)
M			testsuite/tests/polykinds/T7438.stderr (35 lines)
D	M		testsuite/tests/polykinds/T7481.stderr (4 lines)
M			testsuite/tests/polykinds/T7524.stderr (12 lines)
M			testsuite/tests/polykinds/T7594.hs (4 lines)
M			testsuite/tests/polykinds/T7805.stderr (8 lines)
M			testsuite/tests/polykinds/T7939a.stderr (5 lines)
M			testsuite/tests/polykinds/T8566.stderr (37 lines)
M			testsuite/tests/polykinds/T8616.stderr (14 lines)
M			testsuite/tests/polykinds/T9200b.stderr (7 lines)
M			testsuite/tests/polykinds/T9222.stderr (32 lines)
M			testsuite/tests/polykinds/T9569.hs (4 lines)
M			testsuite/tests/polykinds/all.T (10 lines)
M			testsuite/tests/rename/should_fail/T2993.stderr (8 lines)
M			testsuite/tests/rename/should_fail/rnfail026.stderr (23 lines)
M			testsuite/tests/rename/should_fail/rnfail055.stderr (3 lines)
M			testsuite/tests/roles/should_compile/Roles1.stderr (84 lines)
M			testsuite/tests/roles/should_compile/Roles13.stderr (34 lines)
M			testsuite/tests/roles/should_compile/Roles14.stderr (9 lines)
M			testsuite/tests/roles/should_compile/Roles2.stderr (18 lines)
M			testsuite/tests/roles/should_compile/Roles3.stderr (38 lines)
M			testsuite/tests/roles/should_compile/Roles4.stderr (16 lines)
M			testsuite/tests/roles/should_compile/T8958.stderr (6 lines)
M			testsuite/tests/roles/should_compile/all.T (10 lines)
M			testsuite/tests/rts/T9045.hs (1 line)
M			testsuite/tests/simplCore/should_compile/Makefile (2 lines)
M			testsuite/tests/simplCore/should_compile/T7360.stderr (58 lines)
M			testsuite/tests/simplCore/should_compile/T8274.stdout (10 lines)
M			testsuite/tests/simplCore/should_compile/T9400.stderr (6 lines)
M			testsuite/tests/simplCore/should_compile/rule2.stderr (4 lines)
M			testsuite/tests/simplCore/should_compile/spec-inline.stderr (7 lines)
M			testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr (2 lines)
M			testsuite/tests/stranal/sigs/T8569.stderr (2 lines)
M			testsuite/tests/th/T3177a.stderr (22 lines)
M			testsuite/tests/th/T3920.hs (2 lines)
M			testsuite/tests/th/T7021a.hs (2 lines)
M			testsuite/tests/th/T8953.stderr (4 lines)
M			testsuite/tests/th/TH_RichKinds.hs (2 lines)
M			testsuite/tests/th/TH_RichKinds.stderr (4 lines)
M			testsuite/tests/th/TH_Roles2.stderr (1 line)
M			testsuite/tests/typecheck/should_compile/T5581.hs (2 lines)
M			testsuite/tests/typecheck/should_compile/T5655.hs (2 lines)
M			testsuite/tests/typecheck/should_compile/T9834.stderr (142 lines)
M			testsuite/tests/typecheck/should_compile/T9939.stderr (40 lines)
M			testsuite/tests/typecheck/should_compile/tc141.stderr (20 lines)
M			testsuite/tests/typecheck/should_compile/tc167.stderr (11 lines)
M			testsuite/tests/typecheck/should_compile/tc211.stderr (20 lines)
M			testsuite/tests/typecheck/should_compile/tc231.stderr (4 lines)
M			testsuite/tests/typecheck/should_compile/tc243.stderr (6 lines)
M			testsuite/tests/typecheck/should_compile/tc255.hs (2 lines)
M			testsuite/tests/typecheck/should_compile/tc256.hs (2 lines)
M			testsuite/tests/typecheck/should_compile/tc257.hs (4 lines)
M			testsuite/tests/typecheck/should_compile/tc258.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr (14 lines)
M			testsuite/tests/typecheck/should_fail/AssocTyDef06.hs (4 lines)
M			testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr (11 lines)
M			testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr (87 lines)
M			testsuite/tests/typecheck/should_fail/T10285.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/T11112.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/T1633.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/T1633.stderr (6 lines)
M			testsuite/tests/typecheck/should_fail/T2994.stderr (32 lines)
M			testsuite/tests/typecheck/should_fail/T3540.stderr (22 lines)
M			testsuite/tests/typecheck/should_fail/T3950.stderr (22 lines)
M			testsuite/tests/typecheck/should_fail/T4875.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T5570.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T5853.stderr (35 lines)
M			testsuite/tests/typecheck/should_fail/T6018fail.stderr (8 lines)
M			testsuite/tests/typecheck/should_fail/T6018failclosed.stderr (13 lines)
M			testsuite/tests/typecheck/should_fail/T7368.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T7368a.stderr (20 lines)
M			testsuite/tests/typecheck/should_fail/T7410.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T7453.stderr (64 lines)
M			testsuite/tests/typecheck/should_fail/T7609.stderr (27 lines)
M			testsuite/tests/typecheck/should_fail/T7645.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T7696.stderr (4 lines)
M			testsuite/tests/typecheck/should_fail/T7734.stderr (28 lines)
M			testsuite/tests/typecheck/should_fail/T7778.stderr (17 lines)
M			testsuite/tests/typecheck/should_fail/T7857.stderr (30 lines)
M			testsuite/tests/typecheck/should_fail/T7892.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/T8030.stderr (6 lines)
M			testsuite/tests/typecheck/should_fail/T8262.stderr (14 lines)
M			testsuite/tests/typecheck/should_fail/T8514.stderr (3 lines)
M			testsuite/tests/typecheck/should_fail/T8603.stderr (12 lines)
M			testsuite/tests/typecheck/should_fail/T8806.stderr (28 lines)
M			testsuite/tests/typecheck/should_fail/T9109.stderr (27 lines)
M			testsuite/tests/typecheck/should_fail/T9196.stderr (23 lines)
M			testsuite/tests/typecheck/should_fail/T9201.stderr (9 lines)
M			testsuite/tests/typecheck/should_fail/T9260.stderr (10 lines)
M			testsuite/tests/typecheck/should_fail/T9999.stderr (15 lines)
M			testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr (100 lines)
M			testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/TcCoercibleFail2.stderr (4 lines)
M			testsuite/tests/typecheck/should_fail/tcfail002.stderr (14 lines)
M			testsuite/tests/typecheck/should_fail/tcfail004.stderr (18 lines)
M			testsuite/tests/typecheck/should_fail/tcfail005.stderr (18 lines)
M			testsuite/tests/typecheck/should_fail/tcfail010.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail013.stderr (11 lines)
M			testsuite/tests/typecheck/should_fail/tcfail014.stderr (14 lines)
M			testsuite/tests/typecheck/should_fail/tcfail018.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail032.stderr (24 lines)
M			testsuite/tests/typecheck/should_fail/tcfail036.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail036.stderr (10 lines)
M			testsuite/tests/typecheck/should_fail/tcfail049.stderr (4 lines)
M			testsuite/tests/typecheck/should_fail/tcfail050.stderr (6 lines)
M			testsuite/tests/typecheck/should_fail/tcfail057.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail070.stderr (3 lines)
M			testsuite/tests/typecheck/should_fail/tcfail078.stderr (10 lines)
M			testsuite/tests/typecheck/should_fail/tcfail088.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail090.stderr (10 lines)
M			testsuite/tests/typecheck/should_fail/tcfail099.stderr (28 lines)
M			testsuite/tests/typecheck/should_fail/tcfail113.stderr (32 lines)
M			testsuite/tests/typecheck/should_fail/tcfail122.stderr (29 lines)
M			testsuite/tests/typecheck/should_fail/tcfail123.stderr (6 lines)
M			testsuite/tests/typecheck/should_fail/tcfail132.stderr (13 lines)
M			testsuite/tests/typecheck/should_fail/tcfail133.stderr (8 lines)
M			testsuite/tests/typecheck/should_fail/tcfail140.stderr (78 lines)
M			testsuite/tests/typecheck/should_fail/tcfail146.stderr (8 lines)
M			testsuite/tests/typecheck/should_fail/tcfail147.stderr (4 lines)
M			testsuite/tests/typecheck/should_fail/tcfail151.stderr (7 lines)
M			testsuite/tests/typecheck/should_fail/tcfail159.stderr (6 lines)
M			testsuite/tests/typecheck/should_fail/tcfail160.stderr (11 lines)
M			testsuite/tests/typecheck/should_fail/tcfail161.stderr (11 lines)
M			testsuite/tests/typecheck/should_fail/tcfail181.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail184.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail195.stderr (10 lines)
M			testsuite/tests/typecheck/should_fail/tcfail196.stderr (9 lines)
M			testsuite/tests/typecheck/should_fail/tcfail197.stderr (11 lines)
M			testsuite/tests/typecheck/should_fail/tcfail200.stderr (14 lines)
M			testsuite/tests/typecheck/should_fail/tcfail201.stderr (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail212.stderr (32 lines)
M			testsuite/tests/typecheck/should_fail/tcfail213.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail214.hs (2 lines)
M			testsuite/tests/typecheck/should_fail/tcfail217.stderr (2 lines)
M			testsuite/tests/typecheck/should_run/T10284.hs (11 lines)
M			testsuite/tests/typecheck/should_run/T10284.stderr (8 lines)
M			testsuite/tests/typecheck/should_run/T10284.stdout (2 lines)
M			testsuite/tests/typecheck/should_run/T7861.stdout (1 line)
M			testsuite/tests/typecheck/should_run/tcrun043.hs (2 lines)
M			testsuite/tests/typecheck/should_run/tcrun044.hs (6 lines)
M			testsuite/tests/warnings/should_compile/T11077.stderr (2 lines)
M			utils/genprimopcode/Main.hs (2 lines)
M			utils/haddock (2 lines)

Diff	ID	Base	Description	Created	Lint	Unit
Base			Base
Diff 1	2661	30fdf86		Apr 5 2015, 8:10 PM	★	★
Diff 2	5177	96dc041	Getting closer to merging. This is WIP -- this doesn't even	Nov 18 2015, 8:01 AM	★	★
Diff 3	5200	96dc041	This version is working well. Next step: remove lifted equality	Nov 18 2015, 10:50 PM	★	★
Diff 4	5238	f40fe62	Merged with master. Now: just need to work the testsuite	Nov 20 2015, 11:32 PM	★	★
Diff 5	5256	f40fe62	Still WIP!	Nov 22 2015, 10:41 AM	★	★
Diff 6	5263	f40fe62	Fewer testcase failures!	Nov 22 2015, 11:22 PM	★	★
Diff 7	5348	f40fe62	Finished full pass through testsuite, but now I clearly	Nov 29 2015, 12:05 AM	★	★
Diff 8	5587	834f9a4	Working on a few validation bugs.	Dec 9 2015, 1:09 PM	★	★
Diff 9	5596	834f9a4	Posting to get performance validation numbers.	Dec 11 2015, 12:23 AM	★	★
Diff 10	5597	f4f00c0	Rebased against master. Could this be the last update?	Dec 11 2015, 12:44 AM	★	★
Diff 11	5606	f4f00c0	Adjusted performance numbers. Also see #11196 which tracks	Dec 11 2015, 9:20 AM	★	★
Diff 12	5618	f4f00c0	Fixed testsuite failures. ?	Dec 11 2015, 3:28 PM	★	★

Commit	Tree	Parents	Author	Summary	Date
be6768da3d65	4f78a6b00d30	1a9b59b09365	Richard Eisenberg	Finish case fixing	Dec 11 2015, 3:26 PM
1a9b59b09365	8350aadfcaba	2c38da231985	Richard Eisenberg	Case fixing.	Dec 11 2015, 3:26 PM
2c38da231985	079ed0af771f	4f3ba5f29291	Richard Eisenberg	Testsuite wibble.	Dec 11 2015, 3:22 PM
4f3ba5f29291	c02aeacd7716	392953720985	Richard Eisenberg	Label things as broken from #11203	Dec 11 2015, 3:17 PM
392953720985	6afd795cbb33	54631a19967b	Richard Eisenberg	Testsuite wibbles.	Dec 11 2015, 2:02 PM
54631a19967b	342d1c903799	6c6b3ca38e62	Richard Eisenberg	Update perf numbers	Dec 11 2015, 9:15 AM
6c6b3ca38e62	1fde8ad0824c	ba2cbb74cacb	Richard Eisenberg	Testsuite wibbles.	Dec 11 2015, 8:49 AM
ba2cbb74cacb	e299df481aa4	e580365a9cee	Richard Eisenberg	Write a missing Note	Dec 11 2015, 12:57 AM
e580365a9cee	f6a58a3497c7	ffe1f7cc9f8e	Richard Eisenberg	tiny fix	Dec 11 2015, 12:43 AM
ffe1f7cc9f8e	76789d19a5b1	6a5cc7bd9876 f4f00c0f28f3	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds-dev (Show More…)	Dec 11 2015, 12:34 AM
6a5cc7bd9876	330b60fb2e0c	dea98388c52d	Richard Eisenberg	Testsuite wibbles. (Show More…)	Dec 11 2015, 12:16 AM
dea98388c52d	3cfcc8695bf9	b092716cafff	Richard Eisenberg	Testsuite.	Dec 11 2015, 12:06 AM
b092716cafff	230476bb6323	b92a428fbf2d	Richard Eisenberg	Testsuite wibble	Dec 10 2015, 10:33 PM
b92a428fbf2d	d218330671e6	f3bbb6b8aff8	Richard Eisenberg	Fix splitForAllTys goof in RtClosureInspect	Dec 10 2015, 10:32 PM
f3bbb6b8aff8	0694239c3879	b6e2e08f27e2	Richard Eisenberg	Don't drop case expressions over any unlifted type	Dec 10 2015, 9:42 PM
b6e2e08f27e2	edae9fd854a7	b71027ac4209	Richard Eisenberg	Reverted to rejigged datacon wrappers. (Show More…)	Dec 10 2015, 9:00 PM
b71027ac4209	b844470b57d4	6acfe2c00889	Richard Eisenberg	Get OptCoercion to compile. (Show More…)	Dec 10 2015, 8:06 PM
6acfe2c00889	ada66856ae84	3c1a09dbcf65	Richard Eisenberg	Fix assoc type defaults; bits & bobs.	Dec 10 2015, 7:28 PM
3c1a09dbcf65	26cbd71c5152	3c15f77de106	Richard Eisenberg	More testsuite. Fix #63.	Dec 10 2015, 2:54 PM
3c15f77de106	0f32f8e1cf8f	c41af3af5c3d	Richard Eisenberg	Remove debugging output; testsuite	Dec 10 2015, 1:18 PM
c41af3af5c3d	ce2b4fe45bf0	bd93404f19f4	Richard Eisenberg	Compile with 7.8	Dec 10 2015, 1:04 PM
bd93404f19f4	2c5367fc9a32	f6ce553f45ab	Richard Eisenberg	Finish? scope checking	Dec 10 2015, 12:48 PM
f6ce553f45ab	4aa275732852	27619a7ff862	Richard Eisenberg	Fix telescope checking	Dec 10 2015, 11:30 AM
27619a7ff862	60dde1318432	5c2aaf5c842f	Richard Eisenberg	Remove outdated lint check	Dec 10 2015, 12:33 AM
5c2aaf5c842f	18ee0df09dea	da8e6d306c30	Richard Eisenberg	More bugfixing	Dec 10 2015, 12:12 AM
da8e6d306c30	15676ce264b5	9452f18983e3	Richard Eisenberg	Revert "Don't solve hetero wanteds." (Show More…)	Dec 9 2015, 11:23 PM
9452f18983e3	d7b6bfd49746	7710c0d28908	Richard Eisenberg	Revert "Kick out by coercion hole" (Show More…)	Dec 9 2015, 11:20 PM
7710c0d28908	a0a3a4929303	44d096b97329	Richard Eisenberg	Kick out by coercion hole	Dec 9 2015, 11:20 PM
44d096b97329	d7b6bfd49746	53384cf17cd6	Richard Eisenberg	Restore kind coercions in Unify algorithm	Dec 9 2015, 11:19 PM
53384cf17cd6	5e17ff53e3e1	fcbd06ba826d	Richard Eisenberg	Some testsuite stuff	Dec 9 2015, 10:30 PM
fcbd06ba826d	d3097a72082a	599bb42ab697	Richard Eisenberg	Align expected/actual	Dec 9 2015, 9:05 PM
599bb42ab697	9ed28f6f8507	14ef2f6f762b	Richard Eisenberg	Fix nasty nasty mdo bug	Dec 9 2015, 8:59 PM
14ef2f6f762b	7f07222dac74	b2cc5680f767 ea9812f89bc0	Richard Eisenberg	Merge pull request #62 from bgamari/nokinds-dev (Show More…)	Dec 9 2015, 9:05 PM
ea9812f89bc0	7f07222dac74	fb263ef26471	Ben Gamari	More tests	Dec 9 2015, 5:08 PM
fb263ef26471	a6ccb4c72728	7a5a6fc5fe99	Ben Gamari	More testsuite wibbles	Dec 9 2015, 4:36 PM
7a5a6fc5fe99	08501815918d	f1a105da5af2	Ben Gamari	Accept some of the easier testcase changes	Dec 9 2015, 4:07 PM
f1a105da5af2	de38eb095223	b2cc5680f767	Ben Gamari	TcErrors: Remove whitespace	Dec 9 2015, 3:50 PM
b2cc5680f767	ba194951d270	14146a85a5ec	Richard Eisenberg	Rejig rejigConRes to do the right thing	Dec 9 2015, 2:10 PM
14146a85a5ec	d9a561ff4f4c	3a8accba931f	Richard Eisenberg	Restore old behavior of splitForAllTy (Show More…)	Dec 9 2015, 1:04 PM
3a8accba931f	82f072410ab7	376b2cc55d53	Richard Eisenberg	Don't confuse funtys and foralltys in DmdAnal	Dec 9 2015, 11:52 AM
376b2cc55d53	90df00613209	1fe121715fbd	Richard Eisenberg	Bind a telescope properly in TcHsType	Dec 9 2015, 9:37 AM
1fe121715fbd	d4f283d59655	be71d54da65c	Richard Eisenberg	Comments; fix mkGADTVars	Dec 9 2015, 9:25 AM
be71d54da65c	dd81946eed50	8a39488e6cae	Richard Eisenberg	Always put deferred type errs in an EvBindsVar	Dec 9 2015, 8:27 AM
8a39488e6cae	da7f1eb1ee01	6f2919c1f6f7	Richard Eisenberg	Fix warnings when bootstrapping from 7.8	Dec 9 2015, 8:11 AM
6f2919c1f6f7	e4dcb50948a6	091368e0f2ec 80fdd7847136	Richard Eisenberg	Merge pull request #61 from bgamari/nokinds-dev (Show More…)	Dec 9 2015, 8:03 AM
80fdd7847136	e4dcb50948a6	091368e0f2ec	Ben Gamari	Fix various haddock issues (Show More…)	Dec 9 2015, 7:02 AM
091368e0f2ec	433e4839ad2d	5321f6dca83e	Richard Eisenberg	More zonking.	Dec 8 2015, 10:59 PM
5321f6dca83e	4f9c7fd5c2e9	99847b35b1c3	Richard Eisenberg	Bugfixing	Dec 8 2015, 10:12 PM
99847b35b1c3	c9298d323a43	03ced147e647	Richard Eisenberg	Compile haddock/with 7.8. Submodule update.	Dec 8 2015, 10:57 PM
03ced147e647	4e1453df6f2f	7261cd2e927c	Richard Eisenberg	Bugfixing	Dec 8 2015, 8:45 PM
7261cd2e927c	f752335fe00b	3f7d01d34bde	Richard Eisenberg	Bugfix around TcLevel invariant	Dec 8 2015, 4:14 PM
3f7d01d34bde	91caf55f4100	d85bbe03f015	Richard Eisenberg	Don't solve hetero wanteds.	Dec 8 2015, 3:53 PM
d85bbe03f015	d9976de7a3ab	f6aba4469951	Richard Eisenberg	Fix renaming bug	Dec 8 2015, 10:27 AM
f6aba4469951	af3046f52084	afd8ac5948b2	Richard Eisenberg	Stage 2 compiles	Dec 8 2015, 7:31 AM
afd8ac5948b2	98d66997c9bf	39dfb3d7052a	Richard Eisenberg	Few small bugs	Dec 8 2015, 7:14 AM
39dfb3d7052a	bd72ab925a32	6eb5ef1e0aba	Richard Eisenberg	Stage 1 compiles	Dec 7 2015, 11:08 PM
6eb5ef1e0aba	e1b4cce33aaa	bcf12ba3eac5 834f9a46a749	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds-dev (Show More…)	Dec 7 2015, 10:40 PM
bcf12ba3eac5	4b59666005e5	3e99d3ef2efd	Richard Eisenberg	Comments only	Dec 7 2015, 9:38 PM
3e99d3ef2efd	e7a650204b57	e831c6400396	Richard Eisenberg	Optimize (* ~ *)	Dec 7 2015, 7:35 PM
e831c6400396	af9348b76af7	26812f044fd0	Richard Eisenberg	Coercion destructor optimizations	Dec 7 2015, 7:10 PM
26812f044fd0	94be09703e57	e8b197ff0e11	Richard Eisenberg	Fix coercionKind recursion	Dec 7 2015, 7:00 PM
e8b197ff0e11	e1dcc6953ac4	95dc0e95d1b8	Richard Eisenberg	Skip eager refl check for non-flat types	Dec 7 2015, 2:37 PM
95dc0e95d1b8	531f2ebe7c39	44fa9b40c66b	Richard Eisenberg	Zonk carefully in canEqNC	Dec 7 2015, 2:35 PM
44fa9b40c66b	b6e01e5a9e49	3ad0c4cf6fd4	Richard Eisenberg	Restore mkKindCo optimisation	Dec 6 2015, 9:40 AM
3ad0c4cf6fd4	abb9d3fb7603	e23f9214f1e5	Richard Eisenberg	Use -fprint-explicit-coercions even in HsSyn	Dec 6 2015, 9:32 AM
e23f9214f1e5	a42371d76dbb	0f1079e609ce	Richard Eisenberg	Specialise mapType/mapCoercion	Dec 5 2015, 4:43 PM
0f1079e609ce	16804f65d067	6fc9d6008ac7	Richard Eisenberg	Remove calls to coercionKind that slow us down.	Dec 5 2015, 10:06 AM
6fc9d6008ac7	ccb9d7d5719d	9eb7237750f9	Richard Eisenberg	Print phantom kind coercions	Dec 6 2015, 8:44 AM
9eb7237750f9	dce1720bbd20	ad812d7f751c	Richard Eisenberg	Stage 2 compiles.	Dec 4 2015, 9:30 PM
ad812d7f751c	b9fd5b1c9c62	e9f4a68522a5	Richard Eisenberg	Stage 1 compiles.	Dec 4 2015, 5:57 PM
e9f4a68522a5	d3ae3e756547	9ccceb7c8f65 c865c425a37b	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds-dev (Show More…)	Dec 4 2015, 3:37 PM
9ccceb7c8f65	78999d14af72	4f276df89591	Richard Eisenberg	Fix Unify fix.	Dec 4 2015, 2:58 PM
4f276df89591	6c17c97de41f	dd0ef8811dc1	Richard Eisenberg	Actually fix unify bug.	Dec 4 2015, 2:54 PM
dd0ef8811dc1	b296a169258c	185ed5aa6925	Richard Eisenberg	Testsuite wibbles.	Dec 4 2015, 2:49 PM
185ed5aa6925	15b36791a9a0	5d65f328f642	Richard Eisenberg	Stage 2 compiles.	Dec 4 2015, 2:46 PM
5d65f328f642	57aaddcb3d92	8dd72103ba38	Richard Eisenberg	Stage 1 compiles; fix bug in Unify	Dec 4 2015, 9:24 AM
8dd72103ba38	fd3778e9edd6	8fe744ab4231	Richard Eisenberg	Sequelae from merge.	Dec 3 2015, 2:40 PM
8fe744ab4231	7259c92e60b8	28dc4427a63e 1e041b7382b6	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds-dev (Show More…)	Dec 3 2015, 1:43 PM
28dc4427a63e	dce551fb9c79	e6d5ba0a1720	Richard Eisenberg	Get AmapCoerce to work. Finally.	Dec 1 2015, 2:40 PM
e6d5ba0a1720	2cb41e55d966	9aa0f321f9ea	Richard Eisenberg	Remove old code dealing with hetero eqs.	Dec 1 2015, 10:52 AM
9aa0f321f9ea	2297f6e5f124	5fd2c8e165da	Richard Eisenberg	Checkpoint.	Dec 1 2015, 9:28 AM
5fd2c8e165da	721fe79dbf82	8c688735154d	Richard Eisenberg	More TODO stuff	Nov 30 2015, 10:33 PM
8c688735154d	d0b62de9e0e1	1167f253972c	Richard Eisenberg	More TODOs.	Nov 30 2015, 3:12 PM
1167f253972c	791466e72ffc	cb5d8b1a5a22	Richard Eisenberg	Be more careful when zonking.	Nov 30 2015, 1:37 PM
cb5d8b1a5a22	1ce94b6dd13d	1f2351a5e58b	Richard Eisenberg	More TODOs. Simplify Unify algorithm as per SPJ. (Show More…)	Nov 30 2015, 12:43 PM
1f2351a5e58b	ba82a86cfdf6	79bddfd4a440	Richard Eisenberg	Use runTcSDerived after toDerivedWC	Nov 30 2015, 12:42 PM
79bddfd4a440	e72a4aa72087	39fdf5f47544	Richard Eisenberg	More TODOs.	Nov 30 2015, 9:15 AM
39fdf5f47544	59e92a07c942	e0e0f7bec0e9	Richard Eisenberg	Address some TODOs. Remove HCoercible.	Nov 29 2015, 10:00 PM
e0e0f7bec0e9	da06bb778c95	66804f353708	Richard Eisenberg	Comments.	Nov 29 2015, 12:03 AM
66804f353708	b54bedbe1c0f	7f5eb7ae78cc	Richard Eisenberg	More testsuite.	Nov 28 2015, 11:01 PM
7f5eb7ae78cc	bd0e3f133302	33a37e49caee	Richard Eisenberg	Testsuite complete?	Nov 28 2015, 10:45 PM
33a37e49caee	a18ba6899946	d22877dbe38c	Richard Eisenberg	Checkpoint in working on TcTyCon	Nov 28 2015, 3:29 PM
d22877dbe38c	d256c8bcf838	857ceaf8129f	Richard Eisenberg	Remove kind error message	Nov 28 2015, 2:25 PM
857ceaf8129f	b63e67a20d2d	ef96ff79f8f8	Richard Eisenberg	Checkpoint	Nov 28 2015, 2:24 PM
ef96ff79f8f8	cf49ddc5e8d5	00108dcce176	Richard Eisenberg	More testsuite. More testsuite.	Nov 28 2015, 1:56 PM
00108dcce176	abe61bdde426	714318df8189	Richard Eisenberg	Testsuite.	Nov 28 2015, 1:17 PM
714318df8189	e943f1da76c8	d81230200ed1	Richard Eisenberg	Workin' the testsuite	Nov 28 2015, 11:47 AM
d81230200ed1	e6a200e94b4f	3f8d96c9324b	Richard Eisenberg	Workin' the testsuite.	Nov 28 2015, 10:46 AM
3f8d96c9324b	c2ac83aec951	2927ffd2553c	Richard Eisenberg	Small simplification to Data.Type.Coercion	Nov 28 2015, 9:31 AM
2927ffd2553c	ddb4cc51c079	b09141a5842d	Richard Eisenberg	Make ~ homo again; fix SetLevels bug.	Nov 28 2015, 9:06 AM
b09141a5842d	d471f335dfbf	e28c244b7ecd	Richard Eisenberg	Removed skolem-capture stuff, as it's NMF.	Nov 27 2015, 5:13 PM
e28c244b7ecd	21d062b43be3	21f78886bab9	Richard Eisenberg	Checkpoint in telescope chicanery.	Nov 27 2015, 4:55 PM
21f78886bab9	8b718d526ba6	1317110022c9	Richard Eisenberg	Rewrite bindHsTyVars to check for types vs kinds	Nov 25 2015, 8:57 PM
1317110022c9	47bbb4763e5e	75bd9e578173	Richard Eisenberg	Add TcTyMode, among other fixes.	Nov 23 2015, 11:42 AM
75bd9e578173	768658839195	41a75fc871d2	Richard Eisenberg	Workin' the testsuite. Fix bug in unifier.	Nov 22 2015, 11:20 PM
41a75fc871d2	4762d3bffec7	a72babfa6bb3	Richard Eisenberg	Workin' the testsuite	Nov 22 2015, 9:17 PM
a72babfa6bb3	b9d45e84da22	57f5aa6ab475	Richard Eisenberg	Optionally keep solving deriveds	Nov 22 2015, 8:27 PM
57f5aa6ab475	f98cff32e925	272b5afe4b3a	Richard Eisenberg	Get rid of atrocious boxity stuff	Nov 22 2015, 2:09 PM
272b5afe4b3a	3974d46cd055	6a516477c878	Richard Eisenberg	Checkpoint. Refactored HsAppType a bit.	Nov 22 2015, 1:33 PM
6a516477c878	b2686dfe3359	2dca61ef0cdf	Richard Eisenberg	Checkpoint in testsuite work	Nov 22 2015, 12:42 PM
2dca61ef0cdf	04e8c9c0b189	4cb13d0360af	Richard Eisenberg	Always use implic cts when deferring type errors	Nov 22 2015, 11:50 AM
4cb13d0360af	66d2affdc54d	219d79f14bcb	Richard Eisenberg	Workin' the testsuite.	Nov 22 2015, 10:39 AM
219d79f14bcb	e1e597d0909e	d9a9c0901d36	Richard Eisenberg	Checkpoint; zonkCo zonks harder.	Nov 22 2015, 10:28 AM
d9a9c0901d36	7d5d833acbd4	a33e05a4addf	Richard Eisenberg	Workin' the testsuite	Nov 21 2015, 7:43 PM
a33e05a4addf	7faf0051f865	f84a2c7a564e	Richard Eisenberg	Implement bogus tycons. And other things.	Nov 21 2015, 6:51 PM
f84a2c7a564e	f8cf2f025b09	4c029fe94480	Richard Eisenberg	Workin' the testsuite	Nov 21 2015, 4:22 PM
4c029fe94480	c318bbd61803	0755492f543b	Richard Eisenberg	Better tracking of kinds v types	Nov 21 2015, 2:44 PM
0755492f543b	7a0b7fc0d5a7	cf0d1a866bbe	Richard Eisenberg	Checkpoint in bugfixing	Nov 21 2015, 12:40 PM
cf0d1a866bbe	4d586e7a0e0b	8bf32373dbcc	Richard Eisenberg	Checkpoint in bugfixing	Nov 21 2015, 11:05 AM
8bf32373dbcc	8e46071f4292	6b46b357a07e ef3b6bec5c59	Richard Eisenberg	Merge branch 'nokinds' into nokinds-dev	Nov 20 2015, 11:29 PM
6b46b357a07e	6d77ff17f957	3bdff10599b3	Richard Eisenberg	Stage 2 compiles	Nov 20 2015, 11:27 PM
3bdff10599b3	d6f740639ae1	1cdf04ff3d81	Richard Eisenberg	Stage 1 compiles.	Nov 20 2015, 9:48 PM
1cdf04ff3d81	4cde3f0669a2	775102f1871e	Richard Eisenberg	Define the mkTc function	Nov 20 2015, 3:30 PM
775102f1871e	31b83138882d	7ee0dba102e8	Richard Eisenberg	A little cleaning	Nov 20 2015, 3:20 PM
7ee0dba102e8	34a85746c3ff	842296640b23	Richard Eisenberg	Sequelae from TcCoercion stuff	Nov 20 2015, 3:08 PM
842296640b23	e5ac8913bf5b	6cc8e35dc3cb	Richard Eisenberg	Restore separate functions for TcCoercions	Nov 20 2015, 3:06 PM
6cc8e35dc3cb	c0bc0bd5070f	935ce2b2625d f40fe62d451d	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds-dev (Show More…)	Nov 20 2015, 2:43 PM
ef3b6bec5c59	7e2a3785cbe8	880aa9caa2b2 935ce2b2625d	Richard Eisenberg	Merge branch 'nokinds-dev' into nokinds	Nov 20 2015, 11:32 AM
935ce2b2625d	32c65c289944	cf34258dd071	Richard Eisenberg	Notes only.	Nov 20 2015, 11:31 AM
cf34258dd071	55bb6c2e5d56	88d7f534dfb9	Richard Eisenberg	Fix test case around *	Nov 20 2015, 11:04 AM
88d7f534dfb9	579346c09551	b0b9f9392b01	Richard Eisenberg	instance Typeable (a -> b)	Nov 20 2015, 11:04 AM
b0b9f9392b01	2245ffb69629	fbddf8a99ebd	Richard Eisenberg	In a decent state now.	Nov 20 2015, 11:00 AM
fbddf8a99ebd	c65dfa697a5b	94f51954e66e	Richard Eisenberg	Be more careful about FVs in FloatIn	Nov 20 2015, 10:10 AM
94f51954e66e	90df31508c94	2825ef80974c	Richard Eisenberg	Checkpoint in bugfixing	Nov 19 2015, 9:46 PM
2825ef80974c	f21017642bfb	c0c622bf4951	Richard Eisenberg	Workin' the testsuite	Nov 19 2015, 3:34 PM
c0c622bf4951	de417f0060fc	e074f0882140	Richard Eisenberg	No more boxed equalities in solver.	Nov 19 2015, 3:11 PM
e074f0882140	b2f4ffae7203	e7269f57f66f	Richard Eisenberg	Checkpoint in making ~ a class.	Nov 18 2015, 10:51 PM
880aa9caa2b2	96a0829e2f37	7137aa97d462 42eeba310ce6	Richard Eisenberg	Merge remote-tracking branch 'github/nokinds' into nokinds	Nov 18 2015, 10:47 PM
e7269f57f66f	9a2394860f75	ea635ea2077c	Richard Eisenberg	Make (~) hetero. (Show More…)	Aug 25 2015, 10:24 AM
ea635ea2077c	3547f603da10	7137aa97d462	Richard Eisenberg	Wibble in GHC.Types	Nov 18 2015, 9:51 PM
7137aa97d462	a634fe98d0fd	a69e370da6b7	Richard Eisenberg	More TypeInType stuff	Nov 18 2015, 9:31 PM
a69e370da6b7	e5c4649f1f3e	cdf1f00d91bd	Richard Eisenberg	Checkpoint. It's a bit borked.	Nov 18 2015, 4:49 PM
cdf1f00d91bd	c7718db9eb23	8819307218e7	Richard Eisenberg	Remove buildCoherenceCo	Nov 18 2015, 3:56 PM
8819307218e7	920804dd9ba3	f97e9dcb5de4	Richard Eisenberg	Checkpoint in various bugfixing	Nov 18 2015, 3:19 PM
f97e9dcb5de4	277094758b05	886ecc1d2786	Richard Eisenberg	Finish parser changes.	Nov 18 2015, 1:15 PM
886ecc1d2786	0aca9084b49b	97df343f8110	Richard Eisenberg	Remove ITstar	Nov 18 2015, 9:09 AM
97df343f8110	9961b99ed5d7	7635b910d30d	Richard Eisenberg	Parsing changes actually work. On the first shot.	Nov 18 2015, 8:29 AM
7635b910d30d	bf725d9e4039	a15e572accd1	Richard Eisenberg	checkpoint in parsing work	Nov 18 2015, 7:49 AM
42eeba310ce6	5eb2764575cb	571ced228755	Kenneth Foner	Tweak imports and constraints to regain compatibility with 7.8	Nov 17 2015, 9:17 PM
a15e572accd1	cb068c754603	6bd6e475f278	Richard Eisenberg	Start toward levity checking	Nov 17 2015, 8:34 AM
6bd6e475f278	a0ca3db06502	bcb9306a3327	Richard Eisenberg	Remove notes about levity stuff	Nov 16 2015, 2:47 PM
bcb9306a3327	727eb55da530	571ced228755	Richard Eisenberg	Started abortive attempt to add pi (v :: Levity)	Nov 16 2015, 2:45 PM
571ced228755	395d5ddeb71b	83db8dff338c	Richard Eisenberg	More bugfixing	Nov 16 2015, 12:30 PM
83db8dff338c	9e3ea44794bc	bad1f9e76ab3	Richard Eisenberg	Bugfixing	Nov 16 2015, 12:12 PM
bad1f9e76ab3	b79582edc9b4	db0c6c669123	Richard Eisenberg	Better handling of locals with used_tcvs	Nov 16 2015, 11:50 AM
db0c6c669123	b9f7dfb662e4	ab881884036a	Richard Eisenberg	Stage 2 compiles.	Nov 16 2015, 9:32 AM
ab881884036a	2e2d7ac10e74	1a0ce1249a3e	Richard Eisenberg	Remove a panic	Nov 16 2015, 8:50 AM
1a0ce1249a3e	356b122828f8	2f77e1a7f5aa	Richard Eisenberg	Typo	Nov 16 2015, 8:43 AM
2f77e1a7f5aa	a22504e857de	b3e43675ea29	Richard Eisenberg	Be lazier in TcHsSyn because of knots.	Nov 15 2015, 4:04 PM
b3e43675ea29	0870ad16ba0d	79815d2825e5	Richard Eisenberg	More bugfixing	Nov 13 2015, 10:40 PM
79815d2825e5	b1320658efea	67c47800132e	Richard Eisenberg	More RULE stuff. Don't optimize SubCo (UnivCo)	Nov 13 2015, 10:05 PM
67c47800132e	b20a29bd20c6	4d9f576cb5c6	Richard Eisenberg	Bugfixing. Still stuck on RULES	Nov 13 2015, 10:42 AM
4d9f576cb5c6	3a18a4f89ba5	078e4ef0ebea	Richard Eisenberg	Checkpoint in typechecking rules	Nov 12 2015, 11:28 AM
078e4ef0ebea	2a76fa7e1b47	ff7c4266f037	Richard Eisenberg	Stage 1 compiles.	Nov 11 2015, 10:33 PM
ff7c4266f037	33c7a73e2bf1	da46b90de2cf	Richard Eisenberg	Finish? coercion holes	Nov 11 2015, 9:13 PM
da46b90de2cf	549eb6370b52	e1764118c668	Richard Eisenberg	Another checkpoint in coercino holes	Nov 11 2015, 1:13 PM
e1764118c668	4224c2d0ea40	7dd3805f7e73	Richard Eisenberg	Checkpoint in coercion holes	Nov 11 2015, 12:21 PM
7dd3805f7e73	efb43c71e50f	c17490fa69a4	Richard Eisenberg	Start of work toward coercion holes	Nov 10 2015, 10:49 AM
c17490fa69a4	e8aa89f34f24	a6faff36b748	Richard Eisenberg	Comments only	Nov 6 2015, 2:44 PM
a6faff36b748	d747eb9cbce6	01c47c5adb1f	Richard Eisenberg	Add a missing .stderr	Nov 6 2015, 2:43 PM
01c47c5adb1f	146a8f9bd9e7	b7633f2c7bfe	Richard Eisenberg	Fix some syms	Nov 6 2015, 2:38 PM
b7633f2c7bfe	96551c7dfc14	93fa0c758d8b	Richard Eisenberg	Finish removing type erasure.	Nov 6 2015, 1:19 PM
93fa0c758d8b	5fbfa552965d	61d5dd103a93	Richard Eisenberg	Start at removing eraseType	Nov 6 2015, 9:51 AM
61d5dd103a93	c50a58e69924	7d5dfa1a4de5	Richard Eisenberg	Better debugging output	Nov 5 2015, 3:27 PM
7d5dfa1a4de5	e281d9b5cb1e	fd3368ce7b46	Richard Eisenberg	Be careful around dirtyTcCoToCo and Derived	Nov 5 2015, 2:27 PM
fd3368ce7b46	6d7ae65a54fc	90f7527b7cbf	Richard Eisenberg	Formatting only	Nov 5 2015, 2:12 PM
90f7527b7cbf	e4558fab5798	cd363163ccf4	Richard Eisenberg	Unbox Deriveds; fix canDischarge	Nov 5 2015, 1:48 PM
cd363163ccf4	21fe64ee86a1	b34c1490552f	Richard Eisenberg	Comments only	Nov 5 2015, 12:16 PM
b34c1490552f	84d383dbb1b2	95dfdad67019	Richard Eisenberg	pprTraceIt, emit unboxed deriveds	Nov 5 2015, 11:07 AM
95dfdad67019	ed5b41ac4b04	1e7699b68ad8 63d8413f4566	Richard Eisenberg	Merge branch 'nokinds-dev' into nokinds	Nov 4 2015, 8:37 AM
63d8413f4566	ed5b41ac4b04	58064c12a70c	Richard Eisenberg	Notes only	Nov 4 2015, 8:35 AM
58064c12a70c	b1b3804a4e64	0e0d3395b828	Richard Eisenberg	Stage 2 compiles	Nov 3 2015, 6:24 PM
0e0d3395b828	6556b52ee0c7	742717304acb	Richard Eisenberg	Fix a role error.	Nov 3 2015, 11:42 AM
742717304acb	a945025180b5	772a1e883cf1	Richard Eisenberg	All uniques in an unboxed tuple must be unique.	Nov 3 2015, 9:06 AM
1e7699b68ad8	9d48937c6744	2fdb94a212d0	Richard Eisenberg	Fix compilation on 7.8.3	Nov 2 2015, 9:27 AM
772a1e883cf1	77bf1e621e35	2681a9ada6be	Richard Eisenberg	`base` compiles.	Oct 31 2015, 9:16 AM
2681a9ada6be	ceeb32890307	462c87f92465	Richard Eisenberg	more instances are undecidable now	Oct 30 2015, 4:33 PM
462c87f92465	a1a59f7f0974	b2cdfc3991d4	Richard Eisenberg	Quantify over levity var in patsyns	Oct 30 2015, 4:29 PM
b2cdfc3991d4	45b7c12eb356	610ed857356c	Richard Eisenberg	Don't double-zonk.	Oct 29 2015, 4:45 PM
610ed857356c	48c1fdb5b4cb	f0f45127b5fd	Richard Eisenberg	No derived kind equalities; bugfixing	Oct 29 2015, 4:31 PM
f0f45127b5fd	b4066f425acb	adef51abff47	Richard Eisenberg	Comments only	Oct 29 2015, 7:35 AM
adef51abff47	1338c391c96c	a62ce636bdc4	Richard Eisenberg	Restore old flattening behavior	Oct 28 2015, 1:27 PM
a62ce636bdc4	4b3b8733803e	09cb4507d009	Richard Eisenberg	checkpoint in fixing flattening bug	Oct 28 2015, 12:47 PM
09cb4507d009	805109412a08	f85d416f76de	Richard Eisenberg	more bugfixing	Oct 28 2015, 10:07 AM
f85d416f76de	15935c7d74f9	03df46c31855	Richard Eisenberg	bugfixing	Oct 28 2015, 9:02 AM
03df46c31855	6146a5388613	e4bba9062093	Richard Eisenberg	Stage 1 compiles	Oct 27 2015, 1:59 PM
e4bba9062093	bfb51aa87b52	4a94373235d7	Richard Eisenberg	Still working on compiler errors	Oct 26 2015, 8:02 AM
4a94373235d7	ae3cc80714c3	7c557e90b7cb	Richard Eisenberg	Checkpoint in compiling stage1	Oct 26 2015, 7:04 AM
7c557e90b7cb	26744040d3f2	c2708a8500a3	Richard Eisenberg	Checkpoint in getting stage1 to compile	Oct 25 2015, 9:49 PM
c2708a8500a3	fb7299f81ab0	625ba12139b2	Richard Eisenberg	Remove dead matching code	Oct 23 2015, 3:34 PM
625ba12139b2	54e44c4f2050	dbf466540fc3	Richard Eisenberg	Residual cleanup from merge	Oct 23 2015, 3:27 PM
dbf466540fc3	2a8f5be0a6fc	2fdb94a212d0 96dc041a5027	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds (Show More…)	Oct 23 2015, 3:00 PM
2fdb94a212d0	a583c8352063	3f1aa1827a03	Richard Eisenberg	Comments only	Oct 19 2015, 3:29 PM
3f1aa1827a03	90e5bc654de0	22b4e490e369	Richard Eisenberg	Remove comment obseleted by lack of kind roles	Oct 19 2015, 3:17 PM
22b4e490e369	a3b2bdd4ab55	2b90878acd11	Richard Eisenberg	Simplify ForAllCo. (Show More…)	Oct 19 2015, 3:15 PM
2b90878acd11	1c4056b66783	71ed5c35f289	Richard Eisenberg	Undo changes to lifting algorithm	Oct 16 2015, 2:16 PM
71ed5c35f289	7824d63c8645	b833261d5190	Richard Eisenberg	Checkpoint in simplifying forallco. (Show More…)	Oct 16 2015, 2:02 PM
b833261d5190	009eac255186	2f1415a46fc2	Richard Eisenberg	Fix tcGetGlobalTyCoVars, again	Oct 13 2015, 12:40 PM
2f1415a46fc2	f9777163842d	e8188c99efb4	Richard Eisenberg	New test for (C a, C b) => C (a b)	Oct 13 2015, 12:34 PM
e8188c99efb4	af446b279b4b	96913609d2d2	Richard Eisenberg	Remove kind roles. (Show More…)	Oct 12 2015, 10:44 AM
96913609d2d2	bfb63c60fd61	d1ca1a62025d	Richard Eisenberg	Don't merge * and Constraint in instance matching	Oct 12 2015, 4:48 PM
d1ca1a62025d	011ea17d05d8	5086851d3a01	Richard Eisenberg	Finish removing analyzeType	Oct 12 2015, 12:48 PM
5086851d3a01	1ba9131eb6c8	f225f8d71d52	Richard Eisenberg	Revert "Checkpoint in reducing # of modules that import TyCoRep." (Show More…)	Oct 12 2015, 10:42 AM
f225f8d71d52	5c0974767bca	bf1a7c10e6d6	Richard Eisenberg	Revert "Further checkpoint in reducing import TyCoRep." (Show More…)	Oct 12 2015, 10:19 AM
bf1a7c10e6d6	5b8a6189f764	992d2c625f94	Richard Eisenberg	Revert "Fix compiler errors to analyzeType." (Show More…)	Oct 12 2015, 10:06 AM
992d2c625f94	637f93d3a567	061ea20f73b4	Richard Eisenberg	Revert "One more analyzeType." (Show More…)	Oct 12 2015, 10:01 AM
061ea20f73b4	27832989f609	060c48a1c438	Richard Eisenberg	occurCheckExpand must look into kinds, too.	Oct 11 2015, 9:55 PM
060c48a1c438	c6e4092935d0	77cef32f605b	Richard Eisenberg	exactTyCoVarsOfType is now closed over kinds	Oct 7 2015, 3:53 PM
77cef32f605b	5c9a4ab4eb48	f4e98db7d6b1	Richard Eisenberg	Support for dynamic paper	Oct 1 2015, 3:07 PM
f4e98db7d6b1	4b53b458ee5a	0f7d47b06f4d	Richard Eisenberg	Fail less often when checking sigs	Sep 25 2015, 11:44 AM
0f7d47b06f4d	443b78e2bf1e	5f7f64b7fc87	Richard Eisenberg	Need to solve constraints in sigs when not gen'ing	Sep 25 2015, 10:43 AM
5f7f64b7fc87	7f21fa07ca55	f216130e5a36 7ab10234e59a	Richard Eisenberg	Merge branch 'nokinds' of ssh://github.com/goldfirere/ghc into nokinds	Aug 26 2015, 9:51 AM
f216130e5a36	b9832f837d31	3866bb0905d7	Richard Eisenberg	Some more bugfixing. Good for HIW.	Aug 26 2015, 9:49 AM
3866bb0905d7	b5d33c7f5570	86538e2acb80	Richard Eisenberg	Bugfixing	Aug 26 2015, 9:24 AM
86538e2acb80	01caa264e8f3	88ebf7ee37b8	Richard Eisenberg	Make GADT equalities unboxed.	Aug 26 2015, 8:06 AM
88ebf7ee37b8	2d3b126737df	001949506f4f	Richard Eisenberg	Urk. We need to make (~) hetero again.	Aug 25 2015, 7:14 AM
001949506f4f	72b3777d105e	f6f69fe521a5	Richard Eisenberg	Add test from blog	Aug 24 2015, 10:35 PM
f6f69fe521a5	e0c8926afa68	9ad44e0b914a	Richard Eisenberg	Stage 2 compiles	Aug 24 2015, 10:29 PM
9ad44e0b914a	cda6cd3efd39	e6433023c68a	Richard Eisenberg	"base" builds	Aug 24 2015, 4:06 PM
e6433023c68a	746f66cd16d4	2b6d92be5ca9	Richard Eisenberg	Bugfixing	Aug 22 2015, 9:58 PM
2b6d92be5ca9	49673525c13a	1c20f9d47742	Richard Eisenberg	Stage 1 compiles	Aug 21 2015, 2:41 PM
1c20f9d47742	74a66fb884fc	c9799ffb19b3	Richard Eisenberg	Finish removing coercion quantification.	Aug 21 2015, 11:49 AM
c9799ffb19b3	e887089b03c3	4b6e33d9057f	Richard Eisenberg	A goodly chunk of getting rid of co quantification	Aug 16 2015, 9:41 PM
7ab10234e59a	dd2c9f172faf	4cb79c85a497 d8d8828621f2	Richard Eisenberg	Merge pull request #40 from deepfire/nix-doc-fixes (Show More…)	Jul 27 2015, 12:02 PM
4b6e33d9057f	94ff84ea15d0	862cd69bb4d1	Richard Eisenberg	Many levels of kinds test case	Jul 27 2015, 10:31 AM
862cd69bb4d1	39806bda45df	4cb79c85a497	Richard Eisenberg	Tiny optimization in mkTcCoherenceLeftCo	Jul 27 2015, 10:30 AM
d8d8828621f2	dd2c9f172faf	4cb79c85a497	Kosyrev Serge	More tweaking of Nix instructions	Jul 23 2015, 6:25 PM
4cb79c85a497	44ebe84f74a8	b2e9e93a99c4	Richard Eisenberg	Tweak to Nix instructions	Jul 18 2015, 2:08 PM
b2e9e93a99c4	353924f6ae09	eaacce30bf8d	Richard Eisenberg	Fix other half of #32	Jul 14 2015, 1:29 PM
eaacce30bf8d	2761515a910a	ab02aa995a87	Richard Eisenberg	Add testcase from #32	Jul 14 2015, 12:22 PM
ab02aa995a87	dea366c17fd6	85df80392431	Richard Eisenberg	Extend the flat-cache only with nom coercions	Jul 14 2015, 12:19 PM
85df80392431	fc1e5973aa4d	e584a6684216	Richard Eisenberg	README markdown formatting	Jul 13 2015, 10:03 AM
e584a6684216	b3130ee1bfa8	4b8238be4090	Richard Eisenberg	Update installation instructions, thanks to Serge Kosyrev	Jul 13 2015, 10:00 AM
4b8238be4090	349b6ea2e506	887170ac254a	Richard Eisenberg	Comments only	Jul 13 2015, 9:56 AM
887170ac254a	d670b69af944	8c92f076276d 26193164d188	Richard Eisenberg	Merge pull request #36 from deepfire/nokinds (Show More…)	Jul 2 2015, 7:59 AM
26193164d188	d670b69af944	8c92f076276d	Kosyrev Serge	git: absolutize subrepo urls, easing drop-in usage of alternate repositories	Jul 2 2015, 1:52 AM
8c92f076276d	86e1dddf73c8	904b570b8847	Richard Eisenberg	Fix #31 by allowing reordering of kind variables. (Show More…)	Jun 19 2015, 10:54 PM
904b570b8847	fae54deebeab	2a0cb3d9b998	Richard Eisenberg	Don't zonk types during typechecking (# .. #)	May 27 2015, 11:59 AM
2a0cb3d9b998	840506673be7	5aa9b01448ae	Richard Eisenberg	Fix #23. (Show More…)	May 16 2015, 8:45 AM
5aa9b01448ae	503b2847a3b3	acda6e8339bb	Richard Eisenberg	Correct fix for #21 (Show More…)	May 16 2015, 7:45 AM
acda6e8339bb	30d2366f1327	0eb207f189f4	Richard Eisenberg	Zonk in getInitialKinds; remove old ASSERT.	May 6 2015, 8:21 PM
0eb207f189f4	d646ad3c8dab	bf524d71143d	Richard Eisenberg	Remove some outdated ASSERTs	May 6 2015, 4:12 PM
bf524d71143d	e4ddfab23f87	bd527a770e40	Richard Eisenberg	Change an ASSERT to an ASSERT2	May 5 2015, 9:30 AM
bd527a770e40	245f6b7fdcce	58c7a912e137	Richard Eisenberg	Workin' the testsuite.	Apr 20 2015, 8:24 PM
58c7a912e137	079a78947f1d	e2bcceea8526	Richard Eisenberg	Workin' the testsuite.	Apr 20 2015, 12:55 PM
e2bcceea8526	42e296a7c864	1c67f2db614e	Richard Eisenberg	Comments only	Apr 20 2015, 11:18 AM
1c67f2db614e	b9639e9b011a	d5cb1ccce44c	Richard Eisenberg	Testsuite	Apr 2 2015, 2:48 PM
d5cb1ccce44c	9238f37249c4	d045b8c53c72	Simon Peyton Jones	Comments only	Apr 10 2015, 4:42 AM
d045b8c53c72	f18b50aa291b	d7b6a4afa221	Richard Eisenberg	Comments only	Apr 2 2015, 1:47 PM
d7b6a4afa221	2f8de835008f	b45e5855303f	Richard Eisenberg	Update corespec	Apr 2 2015, 1:13 PM
b45e5855303f	f677690af902	98eb9d858d1e	Richard Eisenberg	No need to be loopy in opt_univ.	Apr 2 2015, 1:09 PM
98eb9d858d1e	e414f696ea9e	6d16a543fcb6	Richard Eisenberg	{UnsafeCo, PhantomCo, ProofIrrelCo} --> UnivCo	Apr 2 2015, 8:14 AM
6d16a543fcb6	3ec6c99e1e4a	2e1160f04a0d	Richard Eisenberg	Bugfixing	Apr 1 2015, 4:07 PM
2e1160f04a0d	1cc386e9de4f	5547c1474614	Richard Eisenberg	Compile errors around removing CoercionArgs	Apr 1 2015, 1:23 PM
5547c1474614	acb1f489f90a	2f387b19a1d4	Richard Eisenberg	Removed more stuff around CoercionArgs	Apr 1 2015, 1:02 PM
2f387b19a1d4	84c6209655a8	6e315185138d	Richard Eisenberg	No more CoercionArg	Apr 1 2015, 11:42 AM
6e315185138d	8889608560d9	f8a2515a67c2	Richard Eisenberg	Started to remove CoercionArg	Mar 31 2015, 3:47 PM
f8a2515a67c2	85627b52cd7a	349e9c901146	Richard Eisenberg	testsuite bugfixing	Mar 31 2015, 3:10 PM
349e9c901146	397723590415	5b2fbb74e9eb	Richard Eisenberg	Remove ASSERT that sometimes legitimately fails.	Mar 31 2015, 1:55 PM
5b2fbb74e9eb	aa15d0cb3618	d1ae3e900dae	Richard Eisenberg	Avoid loop when pushing Refl into a ForAllTy	Mar 31 2015, 1:29 PM
d1ae3e900dae	55ac6279be1f	f81740a512c8	Richard Eisenberg	Remove trailing whitespace (only)	Mar 31 2015, 10:59 AM
f81740a512c8	ce6ae526c4ed	5a8f2be30b8d	Richard Eisenberg	Make the in-scope set more inclusive.	Mar 31 2015, 10:43 AM
5a8f2be30b8d	3cffb4755882	79a6abdf2ec6	Richard Eisenberg	Bugfixing. Add TcForAllCoBndr. Remove mkHomoCoBndr.	Mar 30 2015, 4:43 PM
79a6abdf2ec6	a326fd93a5c9	8a69460b1933	Richard Eisenberg	Checkpoint in ForAllCoBndr. Remove mkHomoCoBndr!	Mar 27 2015, 9:34 AM
8a69460b1933	f6d90bed68b6	e9dd9936c8e3	Richard Eisenberg	Some bugfixing since the ForAllCoBndr stuff.	Mar 26 2015, 4:04 PM
e9dd9936c8e3	007d1e851e55	983a6a8a5718	Richard Eisenberg	Simplify ForAllCoBndr to have only one constructor. (Show More…)	Mar 26 2015, 11:13 AM
983a6a8a5718	26f150967b38	1b141adb4406	Richard Eisenberg	Improved tcInferApps; some testsuite stuff	Mar 25 2015, 4:29 PM
1b141adb4406	7aa17d9989a3	9f58115d60ef	Richard Eisenberg	Testsuite	Mar 25 2015, 12:56 PM
9f58115d60ef	167c9c97b85b	890e34981290	Richard Eisenberg	Remove tcHsTelescope, simplifying a nice chunk of code.	Mar 25 2015, 12:17 PM
890e34981290	881f1011c70b	cdd067c227f9	Richard Eisenberg	Workin the testsuite.	Mar 25 2015, 11:11 AM
cdd067c227f9	9b96a1eba9e2	093757276e02	Richard Eisenberg	Testsuite wibbles from better skolemisation	Mar 24 2015, 9:01 PM
093757276e02	2026fbe14c60	d24f5ef0b76b	Richard Eisenberg	Change system names to internal names during skolemising. (Show More…)	Mar 24 2015, 7:31 PM
d24f5ef0b76b	59218dc8a6aa	277b69ad3813	Richard Eisenberg	Testsuite	Mar 24 2015, 7:29 PM
277b69ad3813	0bef91bb1377	555ad82b8bd5	Richard Eisenberg	Working the testsuite	Mar 24 2015, 4:52 PM
555ad82b8bd5	7d68dae321fa	249d40d5d208	Richard Eisenberg	Notes only	Mar 24 2015, 1:59 PM
249d40d5d208	71977778b405	4ea9b8c559fc	Richard Eisenberg	Re-route unifications in the Pure solver, again.	Mar 24 2015, 1:58 PM
4ea9b8c559fc	319af7c956a0	7906d2fa6d8f	Richard Eisenberg	Fix output from change to tidyer	Mar 24 2015, 1:29 PM
7906d2fa6d8f	7b2a82f9440f	a58f8c03526a	Richard Eisenberg	Undo change to tidying	Mar 24 2015, 12:50 PM
a58f8c03526a	5a809bcadada	77d6a7455160	Richard Eisenberg	Simplify story around Pure runs of the solver. (Show More…)	Mar 24 2015, 10:24 AM
77d6a7455160	b04ee895077e	eff0a5359b0e	Richard Eisenberg	Only prepare fresh leftover wanteds.	Mar 24 2015, 8:11 AM
eff0a5359b0e	ffad648520f9	a9c1521c85d2	Richard Eisenberg	Prefer to update a ReturnTv when there is a choice.	Mar 23 2015, 9:13 PM
a9c1521c85d2	15abd87053ad	8cd6f5e9e75c	Richard Eisenberg	Further tweaks to decideQuant	Mar 23 2015, 8:59 PM
8cd6f5e9e75c	355dd154e806	e1f6fbbb93db	Richard Eisenberg	Track EvVars better in simplifyInfer to avoid promotion.	Mar 23 2015, 8:20 PM
e1f6fbbb93db	0bbabe4074a6	7328965c40d0	Richard Eisenberg	Notes only	Mar 23 2015, 7:37 PM
7328965c40d0	c4b05859f03c	0ae8ef676da4	Richard Eisenberg	Notes only	Mar 23 2015, 7:36 PM
0ae8ef676da4	dc2961d9773a	4e575e50412f	Richard Eisenberg	More bugfixing around dh-curious	Mar 23 2015, 4:22 PM
4e575e50412f	5a9e46aaf23e	876b6bedecd2	Richard Eisenberg	canRewriteOrSameFRB should only require same flavours, not other bits!	Mar 20 2015, 3:48 PM
876b6bedecd2	892ee307e34a	aeec02b13426	Richard Eisenberg	Bugfixing while getting dh-curious to work	Mar 20 2015, 2:43 PM
aeec02b13426	9afd1515243f	83f4036398df	Richard Eisenberg	Fix bug in splitTelescopeTvs, deleting a nice chunk of code.	Mar 19 2015, 8:47 PM
83f4036398df	5fe0d4a9b5cf	c7d2d842bf4e	Richard Eisenberg	Cherry-pick fix for #10058	Mar 19 2015, 8:46 PM
c7d2d842bf4e	275afe28565b	ffbd56f3f8ab	Richard Eisenberg	Bugfix around more use of tcInstTyCoVarX	Mar 19 2015, 7:51 PM
ffbd56f3f8ab	96c6f6809edc	053831d9b4fd	Richard Eisenberg	Prefer tcInstTyCoVarX over newFlexiTyVarTy sometimes.	Mar 19 2015, 3:38 PM
053831d9b4fd	8ac1a52ec120	b70e0a4862b2	Richard Eisenberg	Bugfixes while trying out singletons	Mar 19 2015, 2:04 PM
b70e0a4862b2	181a4d3ed642	7e8b25f59b2d	Richard Eisenberg	Working the testsuite after rewriting decideQuantification	Mar 18 2015, 9:23 PM
7e8b25f59b2d	fcf86c292b42	e1130d604572	Richard Eisenberg	Don't grow the kvs in decideQuantification.	Mar 18 2015, 2:50 PM
e1130d604572	fdc80d831da1	df4de0f71c18	Richard Eisenberg	Rewrite decideQuantification. (Show More…)	Mar 18 2015, 2:17 PM
df4de0f71c18	4cca1bca9093	86473bbe5faa	Richard Eisenberg	When skolemising, zonk a System name to an Internal name.	Mar 18 2015, 11:42 AM
86473bbe5faa	10cf6916c6dd	1427569f9a85	Richard Eisenberg	More testsuite.	Mar 18 2015, 10:48 AM
1427569f9a85	713f6f951b4a	85729bbfb62e	Richard Eisenberg	Zonking a tyvarbndr should give us a TyVar, not a TcTyVar.	Mar 18 2015, 10:47 AM
85729bbfb62e	b944faa91f5b	5780956da28c	Richard Eisenberg	Testsuite wibbles	Mar 18 2015, 9:31 AM
5780956da28c	13b86eb9036b	9e2184844c84	Richard Eisenberg	More working on the testsuite	Mar 12 2015, 9:39 PM
9e2184844c84	d4b7fb2bd9d0	86ce9a2f4806	Richard Eisenberg	Use a lazy match to avoid a panic in FamInstEnv	Mar 12 2015, 4:03 PM
86ce9a2f4806	dc42143a8c01	f4d882c95ea3	Richard Eisenberg	Update README	Feb 28 2015, 12:00 AM
f4d882c95ea3	6b28a47bbd5c	3bc3956f23d2	Richard Eisenberg	Working the testsuite	Feb 27 2015, 11:04 PM
3bc3956f23d2	977d750d37c6	15c7048d46e7	Richard Eisenberg	More promoting covars in MR case of decideQuant	Feb 27 2015, 8:50 AM
15c7048d46e7	8a28f3c04386	eb9d746674e1	Richard Eisenberg	Zonk coercions when flattening them	Feb 26 2015, 11:02 PM
eb9d746674e1	b6386dd83ac1	5b14624af6a1	Richard Eisenberg	wibble	Feb 26 2015, 10:50 PM
5b14624af6a1	0d3d21c5bff5	c069dba33848	Richard Eisenberg	Workin' the testsuite	Feb 26 2015, 10:33 PM
c069dba33848	64bd75a2a738	ed173e924423	Richard Eisenberg	Smallish fix in flattener	Feb 26 2015, 8:39 PM
ed173e924423	2cf82f51b829	17b431388a4b	Richard Eisenberg	Nokinds is WORKING.	Feb 26 2015, 12:09 PM
17b431388a4b	440fee8d0e3c	56a8fead8a4d	Richard Eisenberg	Deal properly with tyvars that have unflat kinds	Feb 25 2015, 8:38 PM
56a8fead8a4d	ae491e9e0d02	71efe1d99ec7	Richard Eisenberg	An operator is not a free tyvar!	Feb 25 2015, 4:25 PM
71efe1d99ec7	ad13765ce77c	3249c8a758f5	Richard Eisenberg	More minor bugfixing	Feb 25 2015, 3:21 PM
3249c8a758f5	88ec16a126fd	2708a1d89b85	Richard Eisenberg	Bugfix. Exploring why we splitCastTy in canEqTyVar.	Feb 25 2015, 2:46 PM
2708a1d89b85	c14185d20e11	91e652401478	Richard Eisenberg	Minor bugfixing	Feb 25 2015, 1:52 PM
91e652401478	cfec1375230b	1291d4f90b31	Richard Eisenberg	Kind families!	Feb 25 2015, 12:11 PM
1291d4f90b31	06e4fdf348ca	d6bf9cdb9b86	Richard Eisenberg	Toward solving in TcTyClsDecls	Feb 23 2015, 12:41 PM
d6bf9cdb9b86	e342a2cd2deb	e3384fb8a206	Richard Eisenberg	notes only	Feb 19 2015, 7:50 PM
e3384fb8a206	99f1f9c17808	52df6c8c8a99	Richard Eisenberg	Minor bugfixing	Feb 19 2015, 4:44 PM
52df6c8c8a99	b4d1bd533130	8ba30fa9382c	Richard Eisenberg	Sometimes we run out of kvs in splitTelescopeTvs; add kind fundeps	Feb 19 2015, 4:21 PM
8ba30fa9382c	9a823c4eea22	fe42916e1a9d	Richard Eisenberg	Zonking now establishes invariants. Still some cleanup to do.	Feb 19 2015, 3:55 PM
fe42916e1a9d	ecf79a98983f	e1f3b0cbd642	Richard Eisenberg	Don't change the kind of type applications. Large commit!	Feb 19 2015, 3:26 PM
e1f3b0cbd642	d472667f24c0	c803a3edebed	Richard Eisenberg	Start to add KindAppCo	Feb 13 2015, 10:28 AM
c803a3edebed	5be9ad718af1	412f64094d82	Richard Eisenberg	Tiny refactor	Feb 12 2015, 4:35 PM
412f64094d82	a234da24a3bb	4ef6ba642949	Richard Eisenberg	When promoting a tycovar, we should also promote all dependencies.	Feb 11 2015, 11:28 PM
4ef6ba642949	56ed4894fe06	4b8aed619e1a	Richard Eisenberg	Avoid making anonymous binders over covars.	Feb 11 2015, 10:45 PM
4b8aed619e1a	25e69392c66e	3d1a07bd7950	Richard Eisenberg	Remove confusing variants of zonkTcType	Feb 11 2015, 9:53 PM
3d1a07bd7950	ecc99fbfc8bc	e930f495e8b3	Richard Eisenberg	Fix broken occurs check in checkTauTvUpdate	Feb 11 2015, 11:31 AM
e930f495e8b3	edeea85588a6	0fe27c30ec61	Richard Eisenberg	Rewrote unification algorithm to respect new def'n eq.	Feb 11 2015, 11:21 AM
0fe27c30ec61	942c4673c3be	43b1c5f041bb	Richard Eisenberg	Started to change unif algs. Search for "RAE was here"	Feb 6 2015, 9:52 AM
43b1c5f041bb	cdc4f7d8314e	02250bf073b0	Richard Eisenberg	No double underscores when tidying	Feb 10 2015, 1:07 PM
02250bf073b0	ab4555b88a9c	66b9c249e78c	Richard Eisenberg	mkCastTy should not decompose non-decomposable TyCons.	Feb 9 2015, 1:24 PM
66b9c249e78c	ae65cae16ab1	d52fb7a0fb7f	Richard Eisenberg	More tweaks in mkCastTy. This shouldn't be so subtle!	Feb 8 2015, 9:17 PM
d52fb7a0fb7f	7eb29ead9141	94a67bd2c2f2	Richard Eisenberg	Tweaks in mkCastTy	Feb 8 2015, 8:27 PM
94a67bd2c2f2	bd1450437fe4	1bfab7a40393	Richard Eisenberg	Fix broken eqType. It failed at comparing AppTy and TyConApp.	Feb 8 2015, 8:16 PM
1bfab7a40393	247edf117a90	a88a97f4517f	Richard Eisenberg	Extra check in mkCastTy	Feb 8 2015, 5:27 PM
a88a97f4517f	97a80996433f	13dd3a986999	Richard Eisenberg	Fix egregious error in mkCastTy.	Feb 8 2015, 5:12 PM
13dd3a986999	ac52379e60dd	f419de932df8	Richard Eisenberg	New definitional equality. But a bit buggy yet. (tc065)	Feb 8 2015, 4:58 PM
f419de932df8	eedbe2be1547	6c397d7a30df	Richard Eisenberg	Checkpoint in new definitional equality.	Feb 8 2015, 2:08 PM
6c397d7a30df	c0953fc5c924	6fa4f244ce65	Richard Eisenberg	Start toward new definitional equality	Feb 6 2015, 10:13 AM
6fa4f244ce65	889cb43331c1	6d53bf67aae9	Richard Eisenberg	One more analyzeType.	Feb 4 2015, 1:20 PM
6d53bf67aae9	0deb4ef06479	f61e6829bba3	Richard Eisenberg	Fix compiler errors.	Feb 4 2015, 1:08 PM
f61e6829bba3	5d833936ba7f	9da6641c9e7b	Richard Eisenberg	Further checkpoint in reducing import TyCoRep. (Show More…)	Feb 4 2015, 10:49 AM
9da6641c9e7b	d3800a84b21d	5f6515d516e4	Richard Eisenberg	Checkpoint in reducing # of modules that import TyCoRep.	Feb 3 2015, 3:35 PM
5f6515d516e4	da13a9dd4299	007b9113c249	Richard Eisenberg	Notes only	Feb 2 2015, 11:11 AM
007b9113c249	ea98cd96a352	008892793233	Richard Eisenberg	Testsuite wibble	Feb 2 2015, 11:10 AM
008892793233	79e00f623530	65a8bd114ed6	Richard Eisenberg	Check too many parameters to assoc type default	Feb 1 2015, 11:01 PM
65a8bd114ed6	46b1d2c845fd	8d7e3c7a9d9a	Richard Eisenberg	Catch wrong number of parms to associated type default	Feb 1 2015, 10:55 PM
8d7e3c7a9d9a	eec015c43785	66cd9cdd205a	Richard Eisenberg	Testsuite wibble	Feb 1 2015, 10:39 PM
66cd9cdd205a	890bed10fe4a	01ba239f8b68	Richard Eisenberg	Error message improvement	Feb 1 2015, 10:39 PM
01ba239f8b68	b283c2e8f9dc	b3cba2e8cc29	Richard Eisenberg	Testsuite wibbles	Feb 1 2015, 9:52 PM
b3cba2e8cc29	e79c92a04ffc	b3c1058aef6e	Richard Eisenberg	Testsuite wibbles	Feb 1 2015, 9:50 PM
b3c1058aef6e	e6d296f07024	b7e9c81e5e6f	Richard Eisenberg	Prepend a _ to system variables during tidying. (Show More…)	Feb 1 2015, 9:35 PM
b7e9c81e5e6f	fcd1177290f3	2dc46c4ab39c	Richard Eisenberg	Testsuite wibble	Jan 30 2015, 10:49 PM
2dc46c4ab39c	86c4f0338155	77174ac9e44a	Richard Eisenberg	Allow inference of higher-rank types in limited cases	Jan 30 2015, 10:43 PM
77174ac9e44a	f531ad423394	6e2c37e04513	Richard Eisenberg	Testsuite wibbles	Jan 30 2015, 10:26 PM
6e2c37e04513	d3dd90fbd13c	6f38b5de4e51	Richard Eisenberg	Add the typed thing to TypeEqOrigin	Jan 30 2015, 10:20 PM
6f38b5de4e51	28a4fe30cef3	401aea7e575a	Richard Eisenberg	Notes only	Jan 30 2015, 4:23 PM
401aea7e575a	d6e337b88f58	6fdae0467946	Richard Eisenberg	Propagate ReturnTv; update matchExpectedFunKind	Jan 30 2015, 4:22 PM
6fdae0467946	58dd2afc4afc	55de4489a15c	Richard Eisenberg	Testsuite wibbles	Jan 30 2015, 3:54 PM
55de4489a15c	e51d8100325b	3344014fa60e	Richard Eisenberg	Template vars are sometimes covars.	Jan 30 2015, 2:02 PM
3344014fa60e	e19baa58c003	1ad5cc48b45d	Richard Eisenberg	Don't bind unlifted equality to EvDelayedError. Wrap with a lifted.	Jan 30 2015, 1:45 PM
1ad5cc48b45d	6df36c465e36	3a47560f5721	Richard Eisenberg	Quantify over both mentioned and unmentioned kvs in kcHsTyVarBndrs	Jan 30 2015, 12:15 PM
3a47560f5721	10196dc412f0	885582aa0f46	Richard Eisenberg	Don't drop deriveds before defaulting repr equalities.	Jan 30 2015, 12:03 PM
885582aa0f46	3ad50f6276e1	554a39be1177	Richard Eisenberg	DataCon wrappers should use data family name, not data instance name.	Jan 30 2015, 11:47 AM
554a39be1177	a609fb8d6753	de7459dee31e	Richard Eisenberg	Fix reactFunEq, which was abusing coherence.	Jan 30 2015, 11:29 AM
de7459dee31e	533ff145518c	1a7fc386e3a6	Richard Eisenberg	Apply arg_subst to theta when building a rejigged datacon.	Jan 30 2015, 10:48 AM
1a7fc386e3a6	c41573c1b4ed	868377076ad1	Richard Eisenberg	Improvement to pretty printing of Case	Jan 30 2015, 10:37 AM
868377076ad1	267433996f5e	6a7a1d39587b	Richard Eisenberg	Check isCoercionType less often when making Ids. (Show More…)	Jan 30 2015, 10:12 AM
6a7a1d39587b	38c7a8fc0f36	c8764232512e	Richard Eisenberg	Stage 2 compiles. w00t.	Jan 29 2015, 1:48 PM
c8764232512e	e648aa30bfce	f0563fc47344	Richard Eisenberg	It's just too hard to unpack lifted equality for now.	Jan 29 2015, 11:44 AM
f0563fc47344	93ceadc8cfe9	9a6c36d3b917	Richard Eisenberg	My brain should explode only when exstls are used, not just present.	Jan 28 2015, 9:47 PM
9a6c36d3b917	318b1327e630	b6baf0b9b2c4	Richard Eisenberg	Prefer unlifted equality.	Jan 28 2015, 1:12 PM
b6baf0b9b2c4	f4c4959e084e	5f75e58581a9	Richard Eisenberg	Don't rewrite unlifted things with lifted things at top-level. (Show More…)	Jan 28 2015, 12:52 PM
5f75e58581a9	2c638c94ae1a	ee9ce2932f32	Richard Eisenberg	Clean up spplyTy / funResultTy / piResultTy a bit.	Jan 27 2015, 3:35 PM
ee9ce2932f32	b58ab60359de	c44240eb7330	Richard Eisenberg	Drastically simplify mk_alt in desugaring RecordUpdates. (Show More…)	Jan 27 2015, 2:23 PM
c44240eb7330	28ef1d323561	6bd85fbb8958	Richard Eisenberg	Unlifted equalities are equalities, too!	Jan 26 2015, 4:39 PM
6bd85fbb8958	ac5001635199	2a9f9523fb8b	Richard Eisenberg	Still need to import Alternative in 7.10	Jan 25 2015, 11:39 PM
2a9f9523fb8b	37b8e918ba00	33cb018ed790	Richard Eisenberg	Promote covars more aggressively.	Jan 25 2015, 11:19 PM
33cb018ed790	9872b7c561c1	44fdc3e2a214	Richard Eisenberg	Sometimes (simplifyInfer), simplifyWanteds should be Impure.	Jan 25 2015, 10:24 PM
44fdc3e2a214	1d65cdffb5e8	5ec6bd2ecbc0	Richard Eisenberg	Non-quantified predicates are really mono_tvs in decideQuant	Jan 24 2015, 6:46 PM
5ec6bd2ecbc0	a46c8416b167	f75f0e573985	Richard Eisenberg	splitTelescopeTvs requires preserving uniques when zonking to skolem.	Jan 24 2015, 12:32 PM
f75f0e573985	e306120394e8	f8edcb5bea96	Richard Eisenberg	Subst in TcCoercion constructor case; some improvements to dumping.	Jan 23 2015, 8:17 PM
f8edcb5bea96	b7619aa3e46e	74f821683dd3	Richard Eisenberg	Until zonking improves, the "closed" field of ids sometimes lies.	Jan 23 2015, 4:48 PM
74f821683dd3	d91a30092b58	1694be5257a9	Richard Eisenberg	matchAxiom requires all qtvs to be mapped	Jan 23 2015, 4:20 PM
1694be5257a9	1fb3b1edfdd2	d71c00f702f4	Richard Eisenberg	Check for a closed kind in liftCoSubstVarBndr	Jan 23 2015, 3:11 PM
d71c00f702f4	76935b1b5c45	5e24b7fbc239	Richard Eisenberg	It's OK if a var is missing from a LiftingContext. Don't panic!	Jan 23 2015, 12:35 PM
5e24b7fbc239	c27f09ef0f30	17616d0fec4f	Richard Eisenberg	Float out and solve representational equalities. (Show More…)	Jan 23 2015, 12:08 PM
17616d0fec4f	0ef84068666e	728b92a4bcb1	Richard Eisenberg	(~R#) is Representational, not Nominal!	Jan 23 2015, 11:35 AM
728b92a4bcb1	8feb39a72b56	b36ec24e519b	Richard Eisenberg	Respect roles when solving one equality from another.	Jan 23 2015, 11:15 AM
b36ec24e519b	5bc65b2fe610	5ddb5e5bff89	Richard Eisenberg	Floating equalities must be closed over kinds.	Jan 23 2015, 10:59 AM
5ddb5e5bff89	eef9defa019d	348548110cd2	Richard Eisenberg	Allow 'Lifted' to appear in a type without -XDataKinds	Jan 23 2015, 9:55 AM
348548110cd2	4071fcc40cb2	63116c170a1b	Richard Eisenberg	After unify, subst before calling buildCoherenceCo.	Jan 23 2015, 9:54 AM
63116c170a1b	a9703618f3b1	872195d90899	Richard Eisenberg	Tyvars are now ATyVar during kind-checking, not AThing!	Jan 23 2015, 9:16 AM
872195d90899	0bf73b27abae	9053ef04501e	Richard Eisenberg	newSigTyVar uses same unique to work with splitTelescopeTvs	Jan 23 2015, 7:30 AM
9053ef04501e	94e378375df8	4255a7f87cd0	Richard Eisenberg	Restore the complicated splitTelescopeTvs. (Show More…)	Jan 23 2015, 7:27 AM
4255a7f87cd0	011b636a50d0	ae19cf5afb74	Richard Eisenberg	notes only	Jan 23 2015, 7:18 AM
ae19cf5afb74	db46c108509e	decdbf5e607a	Richard Eisenberg	Remove debugging output (only)	Jan 22 2015, 8:28 PM
decdbf5e607a	c9fae99d911b	6dd07e8359df	Richard Eisenberg	Revert "Lots of lots of debugging output (only)" (Show More…)	Jan 22 2015, 8:18 PM
6dd07e8359df	e65c38aa88e8	47b4cb598480	Richard Eisenberg	Adding substs to desugarer compiles	Jan 22 2015, 8:11 PM
47b4cb598480	2a8ecd18103c	65d56f42fd8f	Richard Eisenberg	Checkpoint in adding substitution to desugarer	Jan 22 2015, 1:41 PM
65d56f42fd8f	f9c5f72c2f47	24bc61c5c6c4	Richard Eisenberg	Checkpoint in putting the coercion subst into desugarer	Jan 21 2015, 8:59 AM
24bc61c5c6c4	dda68b8ddbbd	a7424c0948ce	Richard Eisenberg	Look in nested EvBinds when looking for free covars.	Jan 20 2015, 7:56 PM
a7424c0948ce	7e82fee8d64a	9ac7d5e2b9bb	Richard Eisenberg	Lots of lots of debugging output (only) (Show More…)	Jan 15 2015, 9:29 PM
9ac7d5e2b9bb	1c94fe2d15b8	b2e22d4476dd	Richard Eisenberg	Implement tryTcS, which undoes any unifications made.	Jan 20 2015, 1:53 PM
b2e22d4476dd	63003b0d2f9b	1ef8d6834d8c	Richard Eisenberg	Add CtLoc to EvBind	Jan 18 2015, 7:53 PM
1ef8d6834d8c	105c74462624	3747ee8fcf20	Richard Eisenberg	Note about extra evvars	Jan 16 2015, 10:49 PM
3747ee8fcf20	5cfad1f5fcf5	2da66c312edc	Richard Eisenberg	Representational covars are covars, too.	Jan 15 2015, 3:27 PM
2da66c312edc	3e972f393e10	cea5ef3552b7	Richard Eisenberg	Look in ex_tv kinds during role inference.	Jan 15 2015, 2:38 PM
cea5ef3552b7	cdaee3bcefc4	b70792d8dfda	Richard Eisenberg	Deal with instances mentioning promoted GADT constructors.	Jan 15 2015, 2:21 PM
b70792d8dfda	fd9436d2d3bd	f097e6c01d20	Richard Eisenberg	Don't use * as multiplication. :(	Jan 15 2015, 12:53 PM
f097e6c01d20	b8cb94a55166	e6c6dde5abe8	Richard Eisenberg	MkCoercible should have a covar, not a normal argument	Jan 15 2015, 12:44 PM
e6c6dde5abe8	ea331c5405a1	c50656a8589b	Richard Eisenberg	Don't optimize nested CoherenceCos -- it changes types!	Jan 15 2015, 12:20 PM
c50656a8589b	9d23477b7e22	05969c917643	Richard Eisenberg	zonk harder in zonkCt	Jan 15 2015, 12:13 PM
05969c917643	21bafa6e74c8	f5893810fd03	Richard Eisenberg	Promote covars visible in local types	Jan 15 2015, 10:04 AM
f5893810fd03	b9e2768341e3	ad3c9b298ca6	Richard Eisenberg	Checkpoint in thinking about MonoLocalBinds	Jan 14 2015, 12:46 PM
ad3c9b298ca6	6f2633e6830b	acfcb88c5c12	Richard Eisenberg	Fix compiler error	Jan 13 2015, 4:48 PM
acfcb88c5c12	78c4ef944bd8	b9ebc88013ca	Richard Eisenberg	Remove zonkX functions (reverting much of 9c97d9c)	Jan 13 2015, 4:27 PM
b9ebc88013ca	8a7c0bd2e269	5625db2c77c0	Richard Eisenberg	Notes	Jan 13 2015, 4:04 PM
5625db2c77c0	fc9cca3095fa	626dbcd0b7e2	Richard Eisenberg	Notes	Jan 13 2015, 3:52 PM
626dbcd0b7e2	c7a512f556e8	3e6efc08da3b	Richard Eisenberg	Final zonking must be lazy in types!	Jan 13 2015, 3:48 PM
3e6efc08da3b	c690c9c37acd	fdc1e587d912	Richard Eisenberg	Look through casts when checking FlexibleContexts/Instances	Jan 13 2015, 12:00 PM
fdc1e587d912	4e1039a1639f	7ffe9db6e37e	Richard Eisenberg	Remove debugging output	Jan 13 2015, 11:53 AM
7ffe9db6e37e	113839ad4915	9e2bd337cff2	Richard Eisenberg	Tidy w.r.t. all free variables in TcValidity	Jan 13 2015, 11:53 AM
9e2bd337cff2	b2003b040eed	b3067022a15e	Richard Eisenberg	Fix warning	Jan 13 2015, 9:41 AM
b3067022a15e	49770aa812fe	b2ff929cdf51	Richard Eisenberg	tyCoVarsOfType should always close over kinds.	Jan 13 2015, 9:22 AM
b2ff929cdf51	6b3065be8fac	d552337bb05e	Richard Eisenberg	Remove unused tyVarsOnlyOfXXX	Jan 13 2015, 9:12 AM
d552337bb05e	7c1a5d37eb33	771cc95b5039	Richard Eisenberg	Remove debugging output	Jan 11 2015, 10:39 PM
771cc95b5039	7f3d45513951	03f933fb6924	Richard Eisenberg	Be careful to preserve order when optimizing coherence coercions.	Jan 11 2015, 10:38 PM
03f933fb6924	ed0f27d447c9	1b3376695647	Richard Eisenberg	Note to always closeOverKinds	Jan 11 2015, 3:50 PM
1b3376695647	e2ecdf5aef38	8a167cd62846	Richard Eisenberg	Remove optType; add debugging info to OptCoercion	Jan 11 2015, 3:48 PM
8a167cd62846	a9a9dfb2ee74	90f2d55d958e	Richard Eisenberg	Close over some more kinds.	Jan 9 2015, 4:47 PM
90f2d55d958e	52b11bdeb141	dfb0a38681c7	Richard Eisenberg	Look at global tvs when deciding if a var is dependent or not	Jan 9 2015, 4:26 PM
dfb0a38681c7	62f2ce53ea24	9b05064a1d14	Richard Eisenberg	Revert "Some debugging output for cobox quantification" (Show More…)	Jan 9 2015, 4:25 PM
9b05064a1d14	c9f0aedb35f0	820fda4a991a	Richard Eisenberg	Revert "Debugging debugging debugging" (Show More…)	Jan 9 2015, 4:21 PM
820fda4a991a	c1f0820ae271	a44fab522077	Richard Eisenberg	Bring lambda-bound coercions into the subst during simplify	Jan 9 2015, 4:01 PM
a44fab522077	673aec49725d	b79d2db9ec23	Richard Eisenberg	Make sure substCoVarBndr respects vars in types	Jan 9 2015, 3:58 PM
b79d2db9ec23	1f90a5b08d41	f60be67234da	Richard Eisenberg	Debugging debugging debugging	Jan 9 2015, 10:16 AM
f60be67234da	7dc8537c8665	2543fd632c06	Richard Eisenberg	Some debugging output for cobox quantification	Jan 9 2015, 8:22 AM
2543fd632c06	2c951aeb0f21	4a6d00ee9d64	Richard Eisenberg	Add infrastructure to allow matching/unification to ignore casts. (Show More…)	Jan 8 2015, 9:01 PM
4a6d00ee9d64	57ecad1cc5b7	c248c02914a5	Richard Eisenberg	isReflCo is unreliable after zonkCo.	Jan 8 2015, 10:01 AM
c248c02914a5	61a400c996ae	3010c1ebc6e6	Richard Eisenberg	Make sure to get the direction right of coercions in TcUnify	Jan 7 2015, 9:37 AM
3010c1ebc6e6	091ac8aa1bf5	1874cc309122	Richard Eisenberg	Fix some errors around hetero coercions in TcUnify	Jan 6 2015, 3:15 PM
1874cc309122	2db4c97ea846	abec9d0651ec	Richard Eisenberg	Do matching in solver up to coherence. (Show More…)	Jan 6 2015, 2:21 PM
abec9d0651ec	8b92a43dae8e	9c97d9cb2680	Richard Eisenberg	Note about zonkX	Jan 5 2015, 3:42 PM
9c97d9cb2680	c893623873fd	230c0721d1c5	Richard Eisenberg	Zonk bound coercion variables during solving. (Show More…)	Jan 5 2015, 3:38 PM
230c0721d1c5	793c47367b53	688333c6cc85	Richard Eisenberg	Cast by representational coercions; some notes.	Dec 31 2014, 12:06 PM
688333c6cc85	5adf1f6fd9b9	163949e226e2	Richard Eisenberg	Proper recursive tidying in TcValidity	Dec 29 2014, 11:05 PM
163949e226e2	54aac94a5474	28d21d859ff1	Richard Eisenberg	Undo extra tidying	Dec 29 2014, 10:25 PM
28d21d859ff1	330838ac66c9	bf93b58fef31	Richard Eisenberg	Remove kind unifier; tidy more error messages in TcValidity	Dec 29 2014, 10:23 PM
bf93b58fef31	c79e984dda9b	f43ad8a452ae	Richard Eisenberg	Covars are strict in DmdAnal; Equality compiles!!	Dec 27 2014, 4:03 PM
f43ad8a452ae	f5825664bf9b	203a1befd230	Richard Eisenberg	Stage 1 compiles; dies on Equality.	Dec 27 2014, 3:23 PM
203a1befd230	6180b062a79d	ea2c7056fe3d	Richard Eisenberg	Clean up some boxity/equality stuff	Dec 23 2014, 10:26 PM
ea2c7056fe3d	367a896869a9	5ccae645f4d2 30fdf86eec34	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds (Show More…)	Dec 23 2014, 9:54 PM
5ccae645f4d2	d06396954edc	82d4f8e31686	Richard Eisenberg	Stage 1 compiles.	Dec 23 2014, 9:06 AM
82d4f8e31686	c6e0dd20e532	63a1226c5b9f 4d5f83a8dcf1	Richard Eisenberg	Merge commit '4d5f83a' into nokinds (Show More…)	Dec 22 2014, 3:48 PM
63a1226c5b9f	2c29b17ef888	c406bb277f3d	Richard Eisenberg	Stage 1 compiles	Dec 22 2014, 3:14 PM
c406bb277f3d	c22de4970bdd	228ff7d1e263 bc9e81cfe5ae	Richard Eisenberg	Merge commit 'bc9e81c' into nokinds (Show More…)	Dec 22 2014, 3:00 PM
228ff7d1e263	0b68ceca81df	db2807119567 e992317be141	Richard Eisenberg	Merge commit 'e992317' into nokinds (Show More…)	Dec 22 2014, 2:18 PM
db2807119567	2b38a348bd76	1036929fe905	Richard Eisenberg	More traceTcS for hetero equalities	Dec 22 2014, 1:46 PM
1036929fe905	cdcf7cc6775e	10f940ae130d	Richard Eisenberg	Stage 1 compiles; dies on GHC/Float with a Repr equality	Dec 22 2014, 1:35 PM
10f940ae130d	053e96411e13	b7521e6b5566 0511c0ab09f7	Richard Eisenberg	Merge commit '0511c0a' into nokinds (Show More…)	Dec 20 2014, 2:12 PM
b7521e6b5566	c3591ce2ac8c	966dde97f2f7	Richard Eisenberg	Stage 1 compiles	Dec 19 2014, 2:27 PM
966dde97f2f7	04b5a49b0853	d4fc5f07ca49 5770029a1f85	Richard Eisenberg	Merge commit '5770029' into nokinds (Show More…)	Dec 18 2014, 10:04 AM
d4fc5f07ca49	90177fdd293e	6722f1fc23d7	Richard Eisenberg	Fix compiler errors	Dec 10 2014, 9:53 AM
6722f1fc23d7	bf7b776c881e	4a0309b5d367 ce9d6f251f97	Richard Eisenberg	Merge commit 'ce9d6f2' into nokinds (Show More…)	Dec 9 2014, 3:35 PM
4a0309b5d367	e738fd248ebc	6efb61d7cdce	Richard Eisenberg	Wibbles	Dec 9 2014, 1:51 PM
6efb61d7cdce	f3e91eef79ab	43d3c445feb9	Richard Eisenberg	Comments only	Dec 9 2014, 1:48 PM
43d3c445feb9	b2f0fbda68c2	02d4ef221603	Richard Eisenberg	Revert "When homogenizing kinds, don't emit a Repr. wanted!" (Show More…)	Dec 9 2014, 1:17 PM
02d4ef221603	ff03c0003f6b	a074492b17ff	Richard Eisenberg	Comments only -- clarified the kind-role rejiggering notes.	Oct 29 2014, 9:44 AM
a074492b17ff	45c78486da93	b9606ece1487	Richard Eisenberg	Comment only -- clarify the XEvTerm dealing with casts.	Oct 29 2014, 9:03 AM
b9606ece1487	b8a6dbe9c93c	2cfb024e0544	Richard Eisenberg	Add notes into GHC repo.	Oct 27 2014, 3:48 PM
2cfb024e0544	11af6d75d340	2ac4059989db	Richard Eisenberg	Revert "shameful" commit of considering ~R# like Coercible.	Oct 27 2014, 3:46 PM
2ac4059989db	95fb032e04d4	0f38157fdd88	Richard Eisenberg	When homogenizing kinds, don't emit a Repr. wanted! (Show More…)	Oct 27 2014, 3:34 PM
0f38157fdd88	c01321d47288	5879f8d46913	Richard Eisenberg	Don't examine zonked types inside the knot!	Oct 17 2014, 7:49 PM
5879f8d46913	e5fe8ec17d40	29694cea2ed9	Richard Eisenberg	Zonk coercion types during flattening.	Oct 17 2014, 7:30 PM
29694cea2ed9	c462feed3c98	dbea29e3a66e	Richard Eisenberg	Do not write to tyvars during zonking.	Oct 17 2014, 2:54 PM
dbea29e3a66e	36540eaaec79	072fdc9fe8d6	Richard Eisenberg	Consider (~R#) as a proxy for Coercible. This is shameful.	Oct 16 2014, 4:33 PM
072fdc9fe8d6	0925b82e011f	ffd77700b832	Richard Eisenberg	Remove unused variable	Oct 16 2014, 4:33 PM
ffd77700b832	dd102f38c122	d457edc9284a	Richard Eisenberg	Check for casts after zonking RHS of equalities in canonicalizer.	Oct 16 2014, 4:32 PM
d457edc9284a	146d5c28cb02	b2e0e8815c65	Richard Eisenberg	Make sure to reorient CTyEqCans even when their kinds don't equal.	Oct 16 2014, 3:39 PM
b2e0e8815c65	38a16b69d978	536a45b5b382	Richard Eisenberg	Add Outputable instance for PprStyle.	Oct 16 2014, 3:39 PM
536a45b5b382	36320ce9a090	556d4d7f825d	Richard Eisenberg	Actually use dump style when dumping!	Oct 16 2014, 3:38 PM
556d4d7f825d	45e5ad1652b3	ecf0975a86fc	Richard Eisenberg	Checkpoint in fixing bug in flattener	Oct 16 2014, 7:57 AM
ecf0975a86fc	51a0b7454f2c	3b8021e4036e	Richard Eisenberg	Debugging output	Oct 15 2014, 9:45 PM
3b8021e4036e	2779b209561c	45d160f4f928	Richard Eisenberg	Box unboxed covars during desugaring.	Oct 15 2014, 2:00 PM
45d160f4f928	36a1fb7eb0f7	ff53a73a9e28	Richard Eisenberg	Zonk the kind of variables in TcForAllCo.	Oct 15 2014, 12:18 PM
ff53a73a9e28	f89de5621940	31f856ee259c	Richard Eisenberg	Fix kinds of GADT equalities in rejigConRes	Oct 15 2014, 11:19 AM
31f856ee259c	2381876aca1f	599930637488	Richard Eisenberg	Checkpoint in tracking down existential challenges.	Oct 15 2014, 7:11 AM
599930637488	4c17452191b1	ee7505dce040	Richard Eisenberg	In the solver, make new equalities of the same boxity as old eqs.	Oct 15 2014, 6:41 AM
ee7505dce040	9a0fbc19c1d0	48b72152833d	Richard Eisenberg	Don't cast in GADT equalities; they can be hetero.	Oct 15 2014, 6:40 AM
48b72152833d	f8f1eb226e98	6499b36072ee	Richard Eisenberg	Handle covars in simplAlt	Oct 14 2014, 8:38 PM
6499b36072ee	9ef78ca20f56	033b35f75a3e	Richard Eisenberg	Unboxed equality EvBinds should desugar to unboxed equalities.	Oct 14 2014, 8:06 PM
033b35f75a3e	bb3346502dc6	2e76501730cb	Richard Eisenberg	Tracking down a desugaring bug	Oct 14 2014, 7:00 PM
2e76501730cb	330c9b0cc7b9	4070d8ad75ca	Richard Eisenberg	Use existential gadt vars directly in TcPat -- no need to clone.	Oct 14 2014, 4:03 PM
4070d8ad75ca	e096ab77b38b	a28772ccb5dc	Richard Eisenberg	Finish adding WpEvPrimApp	Oct 14 2014, 10:34 AM
a28772ccb5dc	f6b8b65f2369	2b43dc95defe	Richard Eisenberg	Checkpoint in adding WpEvPrimApp. (Show More…)	Oct 14 2014, 9:40 AM
2b43dc95defe	f02607fc53ee	2ac9e0a24974	Richard Eisenberg	Integrate better with dependent equalities on DataCons	Sep 30 2014, 10:48 PM
2ac9e0a24974	e3c12bf9a99c	341553b3ad38	Richard Eisenberg	Debugging output, but it seems useful enough to keep.	Sep 30 2014, 4:37 PM
341553b3ad38	c25ed53349c1	878d29f6deab	Richard Eisenberg	dcSourceArity should really be the source arity!	Sep 30 2014, 4:37 PM
878d29f6deab	6a164b55e424	01bbe276b077	Richard Eisenberg	Rewrite tcTyClsDecls, again. This time, it's much simpler.	Sep 30 2014, 4:36 PM
01bbe276b077	179f0a6782a1	8ee6dd6fee08	Richard Eisenberg	Teach canonicalizer about casted types and hetero equalities.	Sep 30 2014, 11:55 AM
8ee6dd6fee08	993fac238021	c85ebaeaa206	Richard Eisenberg	Prefer mkCoreConApps over mkConApp	Sep 29 2014, 1:59 PM
c85ebaeaa206	a3e6ef6335dd	835a8b1a7277	Richard Eisenberg	Stage 1 compiles again	Sep 29 2014, 1:07 PM
835a8b1a7277	91ada5f847fe	e6348ef2d741	Richard Eisenberg	untabify	Sep 29 2014, 11:58 AM
e6348ef2d741	24a8bb4a4ce0	1fb62c4587b3 23bb90460d7c	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds (Show More…)	Sep 29 2014, 11:47 AM
1fb62c4587b3	49dc7384c167	b2407038fe9a	Richard Eisenberg	Stage 1 compiles.	Sep 29 2014, 11:21 AM
b2407038fe9a	1519380c7b89	d6f07674f7f6	Richard Eisenberg	Teach desugarer about unboxed coercions	Sep 29 2014, 10:24 AM
d6f07674f7f6	0f0ec1ad4d06	0fe1d32e93f7	Richard Eisenberg	Revert "Add the closed type family `Cast`." (Show More…)	Sep 29 2014, 10:05 AM
0fe1d32e93f7	6876b76cfe9c	63cc5126f04b	Richard Eisenberg	Re-tune tcInstTyCoVars and friends to deal with coercions.	Sep 29 2014, 9:59 AM
63cc5126f04b	aa33124ded6a	4875091e504b	Richard Eisenberg	Revert tcInstTyCoVas --> tcInstTyVars	Sep 29 2014, 9:23 AM
4875091e504b	376bebbd1fb5	d48dd89a556c	Richard Eisenberg	TcCoherenceCo is hetero; start removing inst'ed covars; fix rejigConRes	Sep 25 2014, 7:57 AM
d48dd89a556c	f896803ab900	79ec65789477 d5e487483305	Richard Eisenberg	Merge remote-tracking branch 'origin/master' into nokinds (Show More…)	Sep 24 2014, 9:51 AM
79ec65789477	2ce0fd53e5e9	4a659b6bbb51	Richard Eisenberg	Allow mkTcEqPred to be called with heterogeneous types!	Sep 23 2014, 3:54 PM
4a659b6bbb51	df2b21261654	09ba9794bd2f	Richard Eisenberg	Revert (parts of) "Checkpoint. Writing castTyCon in TysPrim." (Show More…)	Sep 23 2014, 2:33 PM
09ba9794bd2f	7045341b4115	2a2c9bc5d700	Richard Eisenberg	Add the closed type family `Cast`.	Sep 23 2014, 2:27 PM
2a2c9bc5d700	8605fb388893	2b3811189195	Richard Eisenberg	Checkpoint. Writing castTyCon in TysPrim.	Sep 23 2014, 10:43 AM
2b3811189195	af5312293c65	79e9a8446166	Richard Eisenberg	Stage 1 compiles.	Aug 13 2014, 12:59 PM
79e9a8446166	03556386016c	ebd17018d94f 0a6cfb57f39b	Richard Eisenberg	Merge branch 'nokinds-merge' into nokinds (Show More…)	Aug 12 2014, 10:41 AM
0a6cfb57f39b	52d5bdeb33e8	31b386e3cead	Richard Eisenberg	Fix most testsuite failures. (Show More…)	Aug 8 2014, 3:47 PM
31b386e3cead	a6c046c0ebd2	9541dd567756	Richard Eisenberg	Fix some testsuite errors...	Aug 4 2014, 12:40 PM
9541dd567756	e4749027b79e	f6fca32a771c	Richard Eisenberg	Stage 2 builds.	Aug 3 2014, 4:49 PM
f6fca32a771c	9866c401cc72	70aaeb09d73e	Richard Eisenberg	More bugfixing. A bunch of libraries build. Trying to build stage2.	Aug 3 2014, 1:32 PM
70aaeb09d73e	2d60f1e3a828	229248d26c87	Richard Eisenberg	Bugfixing. Mostly, refining treatment of unboxed tuples. (Show More…)	Aug 1 2014, 12:28 PM
229248d26c87	4391a53cc71d	96bb6af48e58	Richard Eisenberg	Implement NoSubKinds. Stage 1 compiles.	Jul 30 2014, 10:43 PM
96bb6af48e58	3030bdbe74b4	760a0e1dda28	Richard Eisenberg	Bugfix. Minimal testsuite failures.	Jul 30 2014, 11:24 AM
760a0e1dda28	a86cbf5b4b6b	a4572a6cfa8c	Richard Eisenberg	Stage 2 compiles.	Jul 29 2014, 10:58 PM
a4572a6cfa8c	494e9eaa57d1	cb70c9cdb53e	Richard Eisenberg	Make IfaceTyCons sane.	Jul 29 2014, 9:32 PM
cb70c9cdb53e	cedbfdd100f3	58a97a1b1995	Richard Eisenberg	Stage 1 compiles.	Jul 29 2014, 11:40 AM
58a97a1b1995	3198f68d7ce3	0b4f8155f6bc 2070a8f3565b	Richard Eisenberg	Merge branch 'master' into nokinds-merge (Show More…)	Jul 28 2014, 2:01 PM
ebd17018d94f	34329ff927f9	99839646d295	Richard Eisenberg	Extra logging in TcCan. Probably should revert.	Jul 25 2014, 8:01 AM
99839646d295	a57bb530f212	aa94bc81bc54	Richard Eisenberg	Classify ~# as a pred type, so that the solver can think about it.	Jul 25 2014, 7:02 AM
aa94bc81bc54	fee525d9989e	1136436c43c6	Richard Eisenberg	When skolemising dependent coercions, treat them as givens.	Jul 24 2014, 3:36 PM
1136436c43c6	86fc8d049b5e	ae99c91f69a1	Richard Eisenberg	Add TcCoherenceCo. But I think it's inadequately expressive.	Jul 24 2014, 1:36 PM
ae99c91f69a1	961f814b2633	4a05cfd9e24d	Richard Eisenberg	Split UnivCo into PhantomCo and UnsafeCo. (Show More…)	Jul 24 2014, 12:49 PM
4a05cfd9e24d	1a5407e95bd2	b78aee36f5af	Richard Eisenberg	Fix kind coercion roles, for good. (I think).	Jul 24 2014, 7:30 AM
b78aee36f5af	d1dd97c7518b	cc9625771db6	Richard Eisenberg	Change kind-coercion roles to be representational.	Jul 23 2014, 5:01 PM
cc9625771db6	4b0eb7027ec4	489ceaf30231	Richard Eisenberg	Make rejigConRes work, I think. (Show More…)	Jul 23 2014, 10:43 AM
489ceaf30231	8ace93f24aba	2d3b881a133c	Richard Eisenberg	Start rejigging rejigConRes	Jul 22 2014, 1:35 PM
2d3b881a133c	e7b0e17857ee	c218892db90e	Richard Eisenberg	Note about TH update.	Jul 22 2014, 1:22 PM
c218892db90e	5c5effcf1e7a	ee83465c5b84	Richard Eisenberg	Add another test; fix CoVarId detection.	Jul 22 2014, 1:20 PM
ee83465c5b84	961f4575458e	a9472c9ed5ee	Richard Eisenberg	Another test case.	Jul 17 2014, 2:37 PM
a9472c9ed5ee	323ea9ed9efa	9e73ee5ccf1d	Richard Eisenberg	Hackily parse '*'.	Jul 17 2014, 2:34 PM
9e73ee5ccf1d	c719414519b6	920a2cc54e15	Richard Eisenberg	Add "dependent" tests	Jul 17 2014, 2:21 PM
920a2cc54e15	d10d2e19ebbb	047cf79c406c	Richard Eisenberg	Implement bidirectional type checking for types.	Jul 17 2014, 2:16 PM
047cf79c406c	1d6aa9c03e25	456fbbf97e89	Richard Eisenberg	Fix testsuite output wibble.	Jul 16 2014, 1:49 PM
456fbbf97e89	91123b5ce5c2	337e2f5b9438	Richard Eisenberg	Introduce CoVarId as a new IdDetails.	Jul 15 2014, 11:54 AM
337e2f5b9438	dc42b4ec23e7	cd48e798f01f	Richard Eisenberg	Check arity of type family instances.	Jul 15 2014, 11:53 AM
cd48e798f01f	5934391bb407	3a54a7bdad52	Richard Eisenberg	Fix pretty-printing bug in HsSyn	Jul 15 2014, 9:31 AM
3a54a7bdad52	bee0e4c420d3	4efbeda2893f	Richard Eisenberg	Rejigger roles for kind coercions. (Show More…)	Jul 15 2014, 7:58 AM
4efbeda2893f	8d5a79773f48	69e70b9696f9	Richard Eisenberg	Stage 2 builds.	Jul 11 2014, 9:11 AM
69e70b9696f9	95170aab151e	e848875c2882	Richard Eisenberg	Finished switchover to binders. Stage 1 compiles.	Jul 10 2014, 9:18 PM
e848875c2882	1448a51c2f96	e58bf4606e85	Richard Eisenberg	Continued work on updating binders.	Jun 4 2014, 8:48 AM
e58bf4606e85	4b93e99fa212	e127b1ebb2f2	Richard Eisenberg	Started change to use Binders.	Apr 23 2014, 8:47 PM
e127b1ebb2f2	73e9335ce0dd	3b3da9384eb9 d810691a2628	Richard Eisenberg	Merge branch 'nokinds' of ssh://github.com/goldfirere/ghc into nokinds (Show More…)	Apr 23 2014, 8:08 PM
3b3da9384eb9	339c0a128a5d	f2932eff9e2a	Richard Eisenberg	Stage 1 & libraries compile.	Apr 23 2014, 8:05 PM
f2932eff9e2a	bebd37c6bafb	0fb66ad462a2	Richard Eisenberg	Checkpoint in debugging (fixed defaultKindVarToStar).	Apr 16 2014, 3:25 PM
d810691a2628	15f0a0c748f1	0fb66ad462a2	Richard Eisenberg	Bugfix in TcValidity	Mar 21 2014, 10:20 AM
0fb66ad462a2	a84d4da0f88a	13b6832024e0	Richard Eisenberg	Bugfixing.	Mar 20 2014, 6:59 AM
13b6832024e0	9e0d89fd096d	697f228e8a19	Richard Eisenberg	Checkpoint in fixing bugs.	Mar 18 2014, 7:53 AM
697f228e8a19	9140d0d079cc	e0e28b8340a4	Richard Eisenberg	Checkpoint in getting it to compile. Stuck at GHC.Types.	Mar 14 2014, 5:55 PM
e0e28b8340a4	96ae3962d60b	fca094dfc5fd	Richard Eisenberg	Finished rejiggering implicit things. Trying to compile.	Mar 14 2014, 12:11 PM
fca094dfc5fd	f2cd0ecdae3a	13046774caef	Richard Eisenberg	Checkpoint in typechecking telescopes.	Mar 12 2014, 11:08 AM
13046774caef	c9bc55c274cf	7778faacbcb1	Richard Eisenberg	Checkpoint in revamping the implicit/explicit story.	Feb 11 2014, 12:15 PM
7778faacbcb1	5d4f7217119f	5e07910b5acb	Richard Eisenberg	Stuck at (forall a. ) /= ( -> *). Argh.	Feb 1 2014, 4:41 PM
5e07910b5acb	bd0e24e8c4aa	dd09dd3654cd	Richard Eisenberg	Fixing bugs.	Jan 31 2014, 10:15 AM
dd09dd3654cd	e8a1f0e71f31	b9d904c41fbd	Richard Eisenberg	Compiles.	Jan 30 2014, 11:21 PM
b9d904c41fbd	5f8795410337	073833559fd7	Richard Eisenberg	Removed kind parser.	Jan 30 2014, 10:27 PM
073833559fd7	cae53322df40	8e05894ab459	Richard Eisenberg	Removed tc_lhs_kind.	Jan 30 2014, 10:19 PM
8e05894ab459	0bcdf480f3f5	15e61d4e5ff1	Richard Eisenberg	Pass through Kind.	Jan 30 2014, 9:50 PM
15e61d4e5ff1	bb692eece4c7	178385abb119	Richard Eisenberg	Removed BOX.	Jan 30 2014, 6:42 PM
178385abb119	edc6de3968b1	cb28d93430b7	Richard Eisenberg	Removed promotion.	Jan 29 2014, 4:09 PM
cb28d93430b7	f88d5f022a39	bc967c5ddb51	Richard Eisenberg	Removing superKind...	Jan 29 2014, 2:00 PM
bc967c5ddb51	9d821ff1a817	0b4f8155f6bc c04784be42e6	Richard Eisenberg	Merge branch 'nokinds-newstuff' into nokinds (Show More…)	Jan 28 2014, 9:35 PM
0b4f8155f6bc	43d544f68ca6	c95563d2a5b7	Richard Eisenberg	NO TESTSUITE FAILURES.	Jan 28 2014, 4:44 PM
c95563d2a5b7	1ccd4d163b2a	97f95317bdf2	Richard Eisenberg	Stage 2 compiles. w00t.	Jan 28 2014, 4:02 PM
97f95317bdf2	15da653c3a81	7d15b74dfb09	Richard Eisenberg	Stage 1 compiles.	Jan 28 2014, 2:47 PM
7d15b74dfb09	d93747904f48	8351ac206286	Richard Eisenberg	One more file compiling...	Jan 28 2014, 9:42 AM
8351ac206286	deb22049f926	c65cbcf3846f	Richard Eisenberg	Fixing compiler errors.	Jan 27 2014, 11:09 PM
c65cbcf3846f	47f04c79321d	44e419afdc9e	Richard Eisenberg	Further checkpoint while compiling	Jan 27 2014, 1:28 PM
44e419afdc9e	890c92114e99	feb000a6105b	Richard Eisenberg	Checkpoint while compiling.	Jan 27 2014, 1:05 PM
feb000a6105b	ce28f3d00759	8ab87fa4ed51	Richard Eisenberg	Fix role inference with nokinds.	Jan 23 2014, 7:41 PM
8ab87fa4ed51	5cae67a803b1	f1afcea0a89a 3e633d9b77a5	Richard Eisenberg	Merge branch 'master' into nokinds -- major merge of roles/nokinds (Show More…)	Jan 23 2014, 12:23 AM
c04784be42e6	214b039ff79f	931921931c20	Richard Eisenberg	Further work on removing BOX. (Added implicit tyvars).	Jan 14 2014, 2:55 PM
931921931c20	bb5ad7df99e6	de23887bdb73	Richard Eisenberg	Started removing superKind.	Jan 14 2014, 10:55 AM
de23887bdb73	4394a8f339d2	f1afcea0a89a	Richard Eisenberg	Fix commit for Cabal	Jan 11 2014, 4:23 PM
f1afcea0a89a	e1e319c32d0e	e578c2994f9e	Richard Eisenberg	Changed Unify.lhs to deal correctly with casted types.	Apr 12 2013, 3:37 PM
e578c2994f9e	105958926040	b735307920b9	Richard Eisenberg	Fix size calculation (for real this time)	Mar 28 2013, 9:49 PM
b735307920b9	c0f294f2344e	1808bb449af7	Richard Eisenberg	Fix size calculation	Mar 28 2013, 9:46 PM
1808bb449af7	c6c7e3e30042	6f88e1b4f971	Richard Eisenberg	Adding sorting to varSetElemsWellScoped to make it more deterministic	Mar 28 2013, 9:33 PM
6f88e1b4f971	d028610d82a6	e95cedd5ddb7	Richard Eisenberg	Fixed minor bugs preventing validation	Mar 28 2013, 9:27 PM
e95cedd5ddb7	79a6244ab5e6	be830dafda1a	Richard Eisenberg	Bug fixes. This passes the "make fast" testsuite.	Mar 28 2013, 9:55 AM
be830dafda1a	86f9a497bfc0	00f4b4ec7d2c b9d537317cb7	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Mar 26 2013, 8:51 PM
00f4b4ec7d2c	2a23acd972d6	7c76e43d3031	Richard Eisenberg	More knock-on effects of homogeneous eqTyCon	Mar 18 2013, 1:35 PM
7c76e43d3031	14b02b7cae25	b79cf36d2681	Richard Eisenberg	Continue reversion of heterogeneous (~)	Mar 18 2013, 10:57 AM
b79cf36d2681	7f215aa140fb	6b8ddcc12d6b	Richard Eisenberg	Revert "Made eqTyCon to be heterogeneous." (Show More…)	Mar 18 2013, 10:51 AM
6b8ddcc12d6b	7ee552ee8667	42d3eff9a28e	Richard Eisenberg	Remove debugging printout statements / update some comments	Mar 18 2013, 9:53 AM
42d3eff9a28e	37f7774a59f6	14df2786f6b2 56353e3da9d5	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Mar 13 2013, 10:12 AM
14df2786f6b2	775515144369	b63dd518f932 1ba468003a17	Richard Eisenberg	Merge branch 'nokinds' of ssh://github.com/goldfirere/ghc into nokinds (Show More…)	Mar 12 2013, 10:20 PM
b63dd518f932	96afce40bc89	6f3921704986	Richard Eisenberg	fix warnings	Mar 12 2013, 10:15 PM
6f3921704986	72f69ae3232d	d9902e325a00	Richard Eisenberg	Continuing a merge...	Mar 12 2013, 4:32 PM
1ba468003a17	e1d59cc4d8de	d9902e325a00	Richard Eisenberg	Added one more file to delete in core-spec/Makefile/make clean	Mar 5 2013, 9:39 PM
d9902e325a00	ebf57a542eb7	686117e37076	Richard Eisenberg	Continuing merge.	Mar 2 2013, 9:52 PM
686117e37076	767e51c23e0d	3e2385faa608 e6128759d429	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Mar 2 2013, 9:08 PM
3e2385faa608	1745b4cd401a	ca94efc634c9	Richard Eisenberg	Typos	Mar 1 2013, 11:07 PM
ca94efc634c9	93bef8430105	1fb60f44781f	Richard Eisenberg	Updates to documentation, including formalism.	Feb 22 2013, 9:10 PM
1fb60f44781f	c6e420eaf153	37b55ac2a095	Richard Eisenberg	Added trace statements to help understand T7368. (Show More…)	Feb 22 2013, 7:10 AM
37b55ac2a095	d772e3bf1bbe	95b6d40e030f	Richard Eisenberg	Bug fixes: remove check for (e \|> <t>) and fix isUnLiftedType	Feb 20 2013, 11:42 AM
95b6d40e030f	8aedbc9f9576	dbd11f9886c1	Richard Eisenberg	Fixed bug in KPush rule (dealWithCoercion/liftCoSubstWithEx)	Feb 20 2013, 11:30 AM
dbd11f9886c1	68ac437f85c8	a70e0ade7b0e d1f6dbce07fa	Richard Eisenberg	Merge branch 'nokinds' of ssh://github.com/goldfirere/ghc into nokinds	Feb 19 2013, 11:11 PM
a70e0ade7b0e	f3d22c3df557	e13aaeb939f3	Richard Eisenberg	Typo	Feb 19 2013, 11:11 PM
d1f6dbce07fa	8c2b89346d59	e13aaeb939f3	Richard Eisenberg	Added more checks to CoreLint; bug fix to remove Type (CoercionTy ...)	Feb 19 2013, 11:09 PM
e13aaeb939f3	f7121aa7f252	7345cdb81fdd	Richard Eisenberg	Checkpoint in work on updating CoreLint to check invariants.	Feb 19 2013, 10:21 AM
7345cdb81fdd	c4e0a92b361d	e92d6e366fd9	Richard Eisenberg	Bug fixes; changing tyConTyCoVars to tyConTyVars. (Show More…)	Feb 16 2013, 3:32 PM
e92d6e366fd9	64b07e33a82f	a9f87fc519bf	Richard Eisenberg	Generalized the kinds of types in foralls from * to k.	Feb 14 2013, 1:34 PM
a9f87fc519bf	123bd552bd87	693e8882bd5d	Richard Eisenberg	More bugfixes, including arity calculations in datacons.	Feb 13 2013, 11:08 PM
693e8882bd5d	dfed439598fe	fc106b3f916b	Richard Eisenberg	Typo.	Feb 13 2013, 3:45 PM
fc106b3f916b	bace73115434	c67a62a35619	Richard Eisenberg	Rewrote collectTyAndValBinders to go to the same depth at tcSplitSigmaTy.	Feb 13 2013, 3:43 PM
c67a62a35619	e26b41ac411f	c8c3a957a552	Richard Eisenberg	Fixed applyCo bug, removed warning from Specialise.	Feb 13 2013, 1:41 PM
c8c3a957a552	0d2e8a11f648	09ff8368bcac	Richard Eisenberg	Bug fixes. Updated specCalls to deal with interleaved ty and co vars.	Feb 13 2013, 1:33 PM
09ff8368bcac	257c821ccb61	7296a3d4492c	Richard Eisenberg	Fixing merge errors	Feb 13 2013, 10:03 AM
7296a3d4492c	8376e6dc1068	7de5cecca828 6046b25ea352	Richard Eisenberg	Merge branch 'master' into nokinds	Feb 13 2013, 9:39 AM
7de5cecca828	0498084e08ac	9e117fc9c85a 503b265079a0	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Feb 13 2013, 9:36 AM
9e117fc9c85a	b228263074b4	7b0c9b24134b	Richard Eisenberg	Removed debug printing statements	Feb 12 2013, 1:28 PM
7b0c9b24134b	cacdc481df5e	d014402db609	Richard Eisenberg	Removed debug printing statements from CoreArity.	Feb 12 2013, 1:27 PM
d014402db609	1e420b6a5aac	7ac3d70bb0e6	Richard Eisenberg	Minor bugfixes. (Show More…)	Feb 12 2013, 11:10 AM
7ac3d70bb0e6	e3544244daa4	ef2e587741b0	Richard Eisenberg	Minor bugfixes. (Show More…)	Feb 11 2013, 8:59 PM
ef2e587741b0	75cf116d5bbf	a0af9f70c3db	Richard Eisenberg	Checkpoint on fixing compiler errors. About to fix classTyCoVars.	Feb 8 2013, 8:35 AM
a0af9f70c3db	09f3d8628ff9	673d63a114dd bcfb283d7bfc	Richard Eisenberg	Merge branch 'nokinds' of ssh://seas/home1/e/eir/ghc into nokinds	Feb 7 2013, 9:40 PM
673d63a114dd	b25e0aa0e9cf	ab78161d6ddd	Richard Eisenberg	Checkpoint in fixing compiler errors.	Feb 7 2013, 9:40 PM
bcfb283d7bfc	09f3d8628ff9	ab78161d6ddd	Richard Eisenberg	Checkpoint fixing compiler errors.	Feb 7 2013, 9:39 PM
ab78161d6ddd	d51134c9deb3	3444da26b157	Richard Eisenberg	Checkpoint while fixing compiler errors. Added optType.	Feb 6 2013, 5:08 PM
3444da26b157	dbe82d753730	8ac6cdfcd7b5	Richard Eisenberg	Continued fixing compiler errors. Checkpoint.	Feb 3 2013, 10:32 PM
8ac6cdfcd7b5	ed679aa303e3	36dc7584fdab	Richard Eisenberg	Fixing compiler errors. Checkpoint.	Feb 3 2013, 9:25 PM
36dc7584fdab	ba010c4311d7	fec78e15aa6b 2a06453810ce	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Feb 3 2013, 11:46 AM
fec78e15aa6b	637a214c2841	a435446a3ab1	Richard Eisenberg	Started compiling. This commit renames "import TypeRep" to "import TyCoRep"	Feb 3 2013, 12:02 AM
a435446a3ab1	8f67df206eb6	909539a39447	Richard Eisenberg	Made sure NthCo works with both TyConApp and ForAllTy.	Feb 2 2013, 11:49 PM
909539a39447	c69fcf50ebb4	d01cd62fd67b	Richard Eisenberg	Searched for splitForAllCo; changed CoHetero --> mkCoHeteroCoBndr.	Feb 2 2013, 11:31 PM
d01cd62fd67b	68ceae059fb3	1aeadf7f54a7	Richard Eisenberg	Searched for splitForAllTy(s) and corrected issues that came up.	Feb 2 2013, 11:27 PM
1aeadf7f54a7	8ba79245dadd	b359f1de455f	Richard Eisenberg	Added comments to TyCoRep describing usage locations of (~#).	Feb 2 2013, 10:50 PM
b359f1de455f	ade3e6662c71	81b0b1e7068c	Richard Eisenberg	Now, when tcInstTyCoVars hits a coercion variable, a wanted constraint is… (Show More…)	Feb 2 2013, 8:38 PM
81b0b1e7068c	7db21afbc71d	d7f04b8f1218	Richard Eisenberg	Bits and bobs in type inferencer. Mostly, checkpoint. (Show More…)	Feb 2 2013, 12:32 PM
d7f04b8f1218	08c1b2b39c40	b455f93d212f	Richard Eisenberg	Updated folds on Coercions, by searching for ForAllCo. (Show More…)	Feb 1 2013, 8:47 AM
b455f93d212f	79a4a09a4422	5299b9febbf8	Richard Eisenberg	Undid terrible merge conflict resolution on Coercion, commit 115c6e.	Feb 1 2013, 12:05 AM
5299b9febbf8	e9a51b8e4508	ca8ae65c8257	Richard Eisenberg	Removed dead code from FamInstEnv, implementing the wrong way to normalise… (Show More…)	Jan 31 2013, 11:50 PM
ca8ae65c8257	24ad9bf8cff8	5b1663fc45d4	Richard Eisenberg	Extended pattern-matches on Type, by searching for ForAllTy. (Show More…)	Jan 31 2013, 11:45 PM
5b1663fc45d4	0272501fa659	65469d5d3d32	Richard Eisenberg	Bugfix (typo). (Show More…)	Jan 28 2013, 11:09 PM
65469d5d3d32	80ca917c00c0	30762b5ddc69	Richard Eisenberg	Threaded the possibility of covars in types through the type inference engine. (Show More…)	Jan 28 2013, 10:59 PM
30762b5ddc69	322f2367e6b7	2c5d16ec7597	Richard Eisenberg	Updated iface code to work with new types/coercions. (Show More…)	Jan 27 2013, 11:17 AM
2c5d16ec7597	5110d88c9041	9fe478d5b6c6	Richard Eisenberg	Reimplemented varSetElemsKvsFirst into varSetElemsWellScoped.	Jan 23 2013, 10:47 PM
9fe478d5b6c6	4fded047250e	89dc421c98b2	Richard Eisenberg	Made eqTyCon to be heterogeneous.	Jan 23 2013, 10:23 PM
89dc421c98b2	0a1600feb6ad	124408089882	Richard Eisenberg	Rewrote CoreLint.	Jan 23 2013, 9:22 PM
124408089882	3f97d175a9af	ed94d68c43ca	Richard Eisenberg	Rewrote Kind. (Show More…)	Jan 23 2013, 2:22 PM
ed94d68c43ca	c0d06125dda4	115c6ed76319	Richard Eisenberg	Rewrote OptCoercion, fixing errors in other files as I went.	Jan 23 2013, 2:02 PM
115c6ed76319	9e5ea495071b	ddda36deacb8 2c12b9129498	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Jan 18 2013, 8:48 PM
ddda36deacb8	64a01ee466c1	f1227b75edb4	Richard Eisenberg	Fix Ty/CoHetero scoping.	Jan 18 2013, 8:11 PM
f1227b75edb4	ef238f1716b8	f552be81328b	Richard Eisenberg	Rewrote Coercion and Unify. (Show More…)	Jan 17 2013, 7:24 PM
f552be81328b	076b44ddea5f	37d7a863fb47	Richard Eisenberg	Updated Type.lhs to work with "Down with kinds".	Jan 5 2013, 4:18 PM
37d7a863fb47	514eb8fbf908	971074286e0c	Richard Eisenberg	Checkpoint in "Down with kinds" implementation (Show More…)	Jan 4 2013, 3:49 PM
971074286e0c	96a3447b5754	ffde15427470	Richard Eisenberg	Checkpoint in implementation of "Down with kinds" (Show More…)	Jan 4 2013, 1:29 PM
ffde15427470	42226429eba0	3a6b921db1cb fbff64a41418	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Jan 4 2013, 12:49 PM
3a6b921db1cb	6cd5fd8cef06	1e80422f862f	Richard Eisenberg	Checkpoint in implementation of "Down with kinds" (Show More…)	Jan 4 2013, 12:27 PM
1e80422f862f	17aa6f46c12d	14ea63013972	Richard Eisenberg	Checkpoint in implementing "Down with kinds". (Show More…)	Jan 4 2013, 12:05 PM
14ea63013972	e92136c7ad37	d51ba2a7a30d d2a5a9cfd572	Richard Eisenberg	Merge branch 'master' into nokinds (Show More…)	Dec 26 2012, 3:23 PM
d51ba2a7a30d	2d356164382d	4dc19cce9e98	Richard Eisenberg	Checkpoint on changing over Type and Coercion representation to "nokinds". (Show More…)	Dec 23 2012, 9:57 PM
4dc19cce9e98	4ba7771f91f4	713c514d9edb cc21a70d3b7f	Richard Eisenberg	Merge branch 'overlapping-tyfams' into nokinds	Dec 8 2012, 7:13 PM
cc21a70d3b7f	d2b9e878fc0e	81a2dd3b1e3c	Richard Eisenberg	Change in comments	Dec 6 2012, 9:01 PM
81a2dd3b1e3c	3626cc71744c	77e5aa776643 9b2882c13705	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams	Dec 6 2012, 7:32 PM
77e5aa776643	3461788efaf6	e5ded8b76486	Richard Eisenberg	Change output of CoAxioms to look prettier.	Dec 6 2012, 7:26 PM
e5ded8b76486	f66ddbcf56ed	52f2ba1861e6	Richard Eisenberg	Miscellaneous bug fixes that came up during validation.	Dec 6 2012, 7:06 PM
52f2ba1861e6	3338aab28b52	467d575eb128 b0626b63f4c9	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams	Dec 5 2012, 11:33 AM
467d575eb128	8f85717e2dc3	4f08c12fc745	Richard Eisenberg	Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated docs/core… (Show More…)	Dec 5 2012, 11:29 AM
4f08c12fc745	0c5c9f9643d8	86e4ca307001 e6ce335e8e3b	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams (Show More…)	Dec 4 2012, 12:58 PM
86e4ca307001	7f435697f18a	4df0d1979c36	Richard Eisenberg	Updated user manual to include a section on branched type family instances.	Dec 4 2012, 12:45 PM
4df0d1979c36	88eb2c6b107a	67835fa4fe6e	Richard Eisenberg	Updated Template Haskell to reflect branched type family instances.	Dec 4 2012, 7:57 AM
67835fa4fe6e	94c70011a3a6	1a3c0d345ba1	Richard Eisenberg	Removed confluent overlap check from branched type family instances. (Show More…)	Dec 3 2012, 11:54 AM
1a3c0d345ba1	a29689253278	82e928a2087f	Richard Eisenberg	Used a GADT to control appropriate use of functions on singleton axioms. (Show More…)	Dec 1 2012, 4:37 PM
82e928a2087f	a9475b37f7e4	021ca7b3f4af 086d7c54f5bd	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams (Show More…)	Nov 28 2012, 10:46 AM
021ca7b3f4af	3b7d391edd9d	644475c36757	Richard Eisenberg	Removed tabs from RnSource and FamInstEnv	Nov 28 2012, 8:21 AM
644475c36757	7c68fee2c0ec	839621c50acc	Richard Eisenberg	Continued polishing of overlapping type family instances. (Show More…)	Nov 27 2012, 4:46 PM
839621c50acc	36905c337aa1	728f4cf1da5e 31c07174b34e	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams (Show More…)	Nov 21 2012, 9:34 AM
728f4cf1da5e	a2a33203ed05	74e43f4ded70	Richard Eisenberg	Fixed bugs in overlapping type family instances. (Show More…)	Nov 21 2012, 8:36 AM
74e43f4ded70	fbe6f57c5296	a70242acbebd	Richard Eisenberg	Fixed iface-loading bug, with Simon PJ's help. (Show More…)	Nov 4 2012, 9:03 PM
a70242acbebd	064cf20ed8b5	1ccd6d0be92c	Richard Eisenberg	Reimplemented overlapping type family instances through a change in the CoAxiom… (Show More…)	Oct 18 2012, 3:39 PM
1ccd6d0be92c	7c6cc732a6b7	220b069a4179	Richard Eisenberg	Continuing to revert old bad implementation of overlapping type families	Oct 2 2012, 8:51 PM
220b069a4179	97775d81e244	56adc0b65e8e	Richard Eisenberg	Revert "Fixed bugs in overlapping type families caught by regression testing."… (Show More…)	Oct 2 2012, 8:47 PM
56adc0b65e8e	20231158d8cb	7a01613c1fe8	Richard Eisenberg	reverting changes from first (bad) implementation	Oct 2 2012, 8:47 PM
7a01613c1fe8	0d8f20055773	01b5511e99a0 c3b6b3fb1c54	Richard Eisenberg	Fixing conflicts from merge with master	Sep 9 2012, 4:23 PM
01b5511e99a0	113bec3f7e57	ee178f51c722	Richard Eisenberg	Added check to find inaccessible equations in family instance groups. (Show More…)	Aug 16 2012, 3:22 PM
ee178f51c722	34492c73428e	07483e4cc2ce	Richard Eisenberg	Allowed instance groups to match applications even coinciding. (Show More…)	Aug 16 2012, 10:13 AM
07483e4cc2ce	e3dd5875d5e3	f428eea65739	Richard Eisenberg	Fixed bugs in overlapping type families caught by regression testing.	Aug 13 2012, 12:56 PM
f428eea65739	bafd480c527c	bff9f7ef5ccc	Richard Eisenberg	Added overlapping type family instances. (Show More…)	Aug 12 2012, 2:55 PM
bff9f7ef5ccc	887d62c1adaf	684017d51413	Richard Eisenberg	Removed warnings from dead code	Aug 9 2012, 12:15 PM
684017d51413	86a00974d1bd	0378ac2dd4e4	Richard Eisenberg	Made a type instance group compile into a list of FamInsts. Cleaned up some… (Show More…)	Aug 7 2012, 1:54 PM
0378ac2dd4e4	b3cb39a68bc4	7e5abfc976d1	Richard Eisenberg	Added parsing rules for type instance groups.	Aug 7 2012, 10:36 AM
7e5abfc976d1	fc6b60ed2c70	166e974fdea0	Richard Eisenberg	Bug fix: check don't derive default family instances for both type and data… (Show More…)	Aug 13 2012, 9:29 AM
166e974fdea0	78d631c6d129	d992a96dc4ba d801c96530a6	Richard Eisenberg	Merge branch 'master' into overlapping-tyfams	Aug 12 2012, 8:34 PM
d992a96dc4ba	083956d3f895	21352a30cf19	Richard Eisenberg	Note to self about modifying typechecking algorithm later	Aug 7 2012, 10:13 AM
21352a30cf19	34c01acdbe11	eb2cd97c4321	Richard Eisenberg	Updates to Haddock to deal with changes in Hs syntax tree	Aug 7 2012, 10:11 AM
eb2cd97c4321	4b83ba233f1d	30ce61947d15 73ab57d31ac8	Richard Eisenberg	Merged changes into branch, fixing conflicts.	Aug 6 2012, 10:11 AM
73ab57d31ac8	0109a4fd0532	df58a158873f 190c555e25d3	Richard Eisenberg	Merge branch 'master' of http://darcs.haskell.org/ghc	Aug 6 2012, 10:02 AM
df58a158873f	fca303521ba3	8bedd344dcc9	Richard Eisenberg	Revert "Fixed typo in earlier fix to #7022, as per Simon PJ." (Show More…)	Aug 6 2012, 10:02 AM
8bedd344dcc9	b263d6f2187e	24387e60bdee	Richard Eisenberg	Fixed typo in earlier fix to #7022, as per Simon PJ.	Jul 27 2012, 10:18 AM
30ce61947d15	af5b96bc4ded	bd15c4142e5a	Richard Eisenberg	Refactored TyFamily constructor of TyClDecl to be its own type. (Show More…)	Jul 14 2012, 4:39 AM
bd15c4142e5a	47f6ecde725c	d89ab01ff556	Richard Eisenberg	Changed constructor of TyClDecl: TyDecl --> SynDecl as per Simon PJ's request.	Jul 13 2012, 5:23 PM
d89ab01ff556	005b2e5628aa	67b674b0dd27	Richard Eisenberg	Refactored ClsInstD constructor of InstDecl to use a ClsInstDecl type, upon… (Show More…)	Jul 13 2012, 1:37 PM
67b674b0dd27	f87302f07949	89bd484b6e9a	Richard Eisenberg	Reshuffled definitions in HsDecls to keep related pieces closer together.	Jul 13 2012, 12:53 PM
89bd484b6e9a	fb4e0f7040de	4450cc7f05c6	Richard Eisenberg	Made changes to HsDecls to support multiple equations in a type family group. (Show More…)	Jul 13 2012, 12:40 PM

Add kind equalities to GHCAbandonedPublicActions

Details

Diff Detail

Large Diff

Revision ContentsChangeset List

Diff 5618

.gitmodules

README.md

compiler/basicTypes/BasicTypes.hs

compiler/basicTypes/ConLike.hs

compiler/basicTypes/DataCon.hs

compiler/basicTypes/DataCon.hs-boot

compiler/basicTypes/Id.hs

compiler/basicTypes/IdInfo.hs

compiler/basicTypes/IdInfo.hs-boot

compiler/basicTypes/Lexeme.hs

compiler/basicTypes/MkId.hs

compiler/basicTypes/MkId.hs-boot

compiler/basicTypes/Name.hs

compiler/basicTypes/NameEnv.hs

compiler/basicTypes/OccName.hs

compiler/basicTypes/PatSyn.hs

compiler/basicTypes/PatSyn.hs-boot

compiler/basicTypes/SrcLoc.hs

compiler/basicTypes/Unique.hs

compiler/basicTypes/Var.hs

compiler/basicTypes/VarEnv.hs

compiler/basicTypes/VarSet.hs

compiler/cmm/Cmm.hs

compiler/cmm/CmmExpr.hs

compiler/cmm/CmmLayoutStack.hs

compiler/cmm/Hoopl/Dataflow.hs

compiler/codeGen/StgCmmClosure.hs

compiler/codeGen/StgCmmLayout.hs

compiler/coreSyn/CoreArity.hs

compiler/coreSyn/CoreFVs.hs

compiler/coreSyn/CoreLint.hs

compiler/coreSyn/CorePrep.hs

compiler/coreSyn/CoreSubst.hs

compiler/coreSyn/CoreSyn.hs

compiler/coreSyn/CoreTidy.hs

compiler/coreSyn/CoreUnfold.hs

compiler/coreSyn/CoreUtils.hs

compiler/coreSyn/MkCore.hs

compiler/coreSyn/PprCore.hs

compiler/coreSyn/TrieMap.hs

compiler/deSugar/Check.hs

compiler/deSugar/Desugar.hs

compiler/deSugar/DsArrows.hs

compiler/deSugar/DsBinds.hs

compiler/deSugar/DsCCall.hs

compiler/deSugar/DsExpr.hs

compiler/deSugar/DsForeign.hs

compiler/deSugar/DsGRHSs.hs

compiler/deSugar/DsListComp.hs

compiler/deSugar/DsMeta.hs

compiler/deSugar/DsMonad.hs

compiler/deSugar/DsUtils.hs

compiler/deSugar/Match.hs

compiler/deSugar/MatchCon.hs

compiler/deSugar/PmExpr.hs

compiler/ghc.cabal.in

compiler/ghc.mk

compiler/ghci/ByteCodeGen.hs

compiler/ghci/Debugger.hs

compiler/ghci/DebuggerUtils.hs

compiler/ghci/RtClosureInspect.hs

compiler/hsSyn/Convert.hs

compiler/hsSyn/HsDecls.hs

compiler/hsSyn/HsExpr.hs

compiler/hsSyn/HsPat.hs

compiler/hsSyn/HsTypes.hs

compiler/hsSyn/HsUtils.hs

compiler/iface/BinIface.hs

compiler/iface/BuildTyCl.hs

compiler/iface/IfaceEnv.hs

compiler/iface/IfaceSyn.hs

compiler/iface/IfaceType.hs

compiler/iface/MkIface.hs

compiler/iface/TcIface.hs

Add kind equalities to GHC
AbandonedPublic
Actions

Revision Contents
Changeset List