2015-06-27 |
Richard Eisenberg | Remove vestigial prefixq{var,con}sym from parser.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Clarify some comments around injectivity.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Fix typo in comment
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Treat funTyCon like any other TyCon in can_eq_nc.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Reimplement Unify.typesCantMatch in terms of apartness.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Refactor handling of decomposition.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Testsuite wibble around decomposing newtypes.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | (mostly) Comments only
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Decompose wanted repr. eqs. when no matchable givens.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Test case for #10428.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Fix #10493.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Fix #10495.
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Fix #10494
|
commit | commitdiff | tree |
2015-06-16 |
Richard Eisenberg | Fix #10534
|
commit | commitdiff | tree |
2015-06-05 |
Richard Eisenberg | Fix #10489
|
commit | commitdiff | tree |
2015-06-05 |
Richard Eisenberg | Minor code cleanup
|
commit | commitdiff | tree |
2015-06-05 |
Richard Eisenberg | Fix #10488 by unwrapping type synonyms.
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Change default roles in hs-boot files. (#9204)
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Test case for #10141
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Test #10321 in ghci/scripts/T10321
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Fix the formal operational semantics (#10121)
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Fix #10285 by refusing to use NthCo on a newtype.
|
commit | commitdiff | tree |
2015-04-24 |
Richard Eisenberg | Rename role annotations w.r.t only local decls.
|
commit | commitdiff | tree |
2015-03-23 |
Richard Eisenberg | Do proper depth checking in the flattener to avoid...
|
commit | commitdiff | tree |
2015-03-03 |
Richard Eisenberg | Don't use deriveUnique *twice* in flattenTys.
|
commit | commitdiff | tree |
2015-02-11 |
Richard Eisenberg | Propagate ReturnTvs in matchExpectedFunTys
|
commit | commitdiff | tree |
2015-02-11 |
Richard Eisenberg | Fix egregious typo in checkTauTvUpdate.
|
commit | commitdiff | tree |
2015-02-11 |
Richard Eisenberg | Fix #10079 by recurring after flattening exposes a...
|
commit | commitdiff | tree |
2015-01-27 |
Richard Eisenberg | Fix #10031 by inverting a critical test in kick_out.
|
commit | commitdiff | tree |
2014-12-22 |
Richard Eisenberg | Expand notes in TcFlatten
|
commit | commitdiff | tree |
2014-12-20 |
Richard Eisenberg | Change performance numbers for T3064
|
commit | commitdiff | tree |
2014-12-20 |
Richard Eisenberg | Optimize flattener by trying to reduce a TF before...
|
commit | commitdiff | tree |
2014-12-19 |
Richard Eisenberg | Add instance Lift Natural
|
commit | commitdiff | tree |
2014-12-19 |
Richard Eisenberg | Update release notes for recent language and TH changes.
|
commit | commitdiff | tree |
2014-12-19 |
Richard Eisenberg | Clarify that declaration splices exist at top level...
|
commit | commitdiff | tree |
2014-12-19 |
Richard Eisenberg | Merge some instances from th-orphans.
|
commit | commitdiff | tree |
2014-12-19 |
Richard Eisenberg | Consider equality contexts exotic, uninferrable by...
|
commit | commitdiff | tree |
2014-12-17 |
Richard Eisenberg | Performance enhancements in TcFlatten.
|
commit | commitdiff | tree |
2014-12-13 |
Richard Eisenberg | reduceTyFamApp_maybe should *not* normalise arguments...
|
commit | commitdiff | tree |
2014-12-12 |
Richard Eisenberg | Flat constraint --> Simple constraint
|
commit | commitdiff | tree |
2014-12-12 |
Richard Eisenberg | Rewrite `Coercible` solver
|
commit | commitdiff | tree |
2014-12-10 |
Richard Eisenberg | Add Ord instances to TH
|
commit | commitdiff | tree |
2014-12-08 |
Richard Eisenberg | Fix #9871 by clarifying documentation.
|
commit | commitdiff | tree |
2014-12-08 |
Richard Eisenberg | RAE's response to SPJ's question in flattening-notes
|
commit | commitdiff | tree |
2014-12-07 |
Richard Eisenberg | Added comments to flattening-notes
|
commit | commitdiff | tree |
2014-11-24 |
Richard Eisenberg | Test #8031 in th/T8031
|
commit | commitdiff | tree |
2014-11-24 |
Richard Eisenberg | Test #8044 in typecheck/should_fail/T8044
|
commit | commitdiff | tree |
2014-11-24 |
Richard Eisenberg | Test #7643 in typecheck/should_compile/T7643.
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Update manual for pattern splices (#1476)
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Fix #9824 by not warning about unused matches in pattern...
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Test #9824 in th/T9824
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Release notes for #1476, #7484.
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Fix #1476 by making splice patterns work.
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Test that nested pattern splices don't scope (#1476).
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Test #1476 in th/T1476
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Fix #7484, checking for good binder names in Convert.
|
commit | commitdiff | tree |
2014-11-21 |
Richard Eisenberg | Test #7484 in th/T7484
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Test #9109 in typecheck/should_fail/T9109
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Update manual to get rid of bogus `coerce` example...
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Test #9201 in typecheck/should_fail/T9201
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Test #9318 in typecheck/should_fail/T9318
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Add release notes for #8100, #9527, and #9064.
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Test #9151 in typecheck/should_compile/T9151.
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Fix #9220 by adding role annotations.
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Fix #9209, by reporting an error instead of panicking...
|
commit | commitdiff | tree |
2014-11-20 |
Richard Eisenberg | Test #9209 in th/T9209
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #9404 by removing tcInfExpr.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Testsuite wibble due to #9404
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Test #9404 (typecheck/should_compile/T9404 and T9404b)
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #9788 by giving `coerce` the right type.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Testsuite wibbles due to #9204
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #9204 by outputting extra info on boot file mismatch.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Test #9204 in roles/should_fail/T9204
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #9064 by adding support for generic default signatures...
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Test #9064 in th/T9064
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #8100, by adding StandaloneDerivD to TH's Dec type.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Test #8100 in th/T8100
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Derive Generic for TH types (#9527)
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Remove unboxed Int# fields from NameFlavour (#9527)
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Untabify template-haskell.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Fix #9066.
|
commit | commitdiff | tree |
2014-11-12 |
Richard Eisenberg | Test #9066 in th/T9066
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Update release notes for #9262 #8953 #9084.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Fix #9738, by handling {-# ANN ... #-} in DsMeta.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Test #9738 in th/T9738
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Fix testsuite output from #9084.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Fix #9084 by calling notHandled when unknown bits are...
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Test #9084 in th/T9084.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Testsuite wibbles from fixing #8953
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Annotate poly-kinded type patterns in instance reification.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Annotate reified poly-kinded tycons when necessary...
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Always use KindedTV when reifying. (#8953)
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Test #8953 in th/T8953
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Bring unbound tyvars into scope during reifyInstances.
|
commit | commitdiff | tree |
2014-11-02 |
Richard Eisenberg | Test #9262 in th/T9262, and update other tests.
|
commit | commitdiff | tree |
2014-10-21 |
Richard Eisenberg | Reify data family instances correctly.
|
commit | commitdiff | tree |
2014-10-21 |
Richard Eisenberg | Clarify location of Note. Comment change only.
|
commit | commitdiff | tree |
2014-10-21 |
Richard Eisenberg | Test #9692 in th/T9692
|
commit | commitdiff | tree |
2014-09-18 |
Richard Eisenberg | Fix formatting bug in core-spec.
|
commit | commitdiff | tree |
2014-09-18 |
Richard Eisenberg | Comments only: explain checkAxInstCo in OptCoercion
|
commit | commitdiff | tree |
next |