summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'type-nats' of http://git.haskell.org/ghc into type-natstype-natsIavor S. Diatchki2013-09-022-6/+11
|\
| * Merge branch 'type-nats' of git://git.haskell.org/ghc into type-natsSimon Peyton Jones2013-08-29667-56581/+33146
| |\
| * | Comments and questions from Simon and DimitriosSimon Peyton Jones2013-08-294-18/+32
* | | Current implementation of type-nats solver.Iavor S. Diatchki2013-09-010-0/+0
|\ \ \
| * \ \ Squish changes into a single commitIavor S. Diatchki2013-09-010-0/+0
| |\ \ \ | | | |/ | | |/|
| | * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-05-20153-3683/+2979
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-04-14108-3118/+2387
| | |\ \ \
| | * \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-03-18171-31861/+3885
| | |\ \ \ \
| | * | | | | A few simple interval functions.Iavor S. Diatchki2013-03-031-0/+30
| | * | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-03-0359-719/+596
| | |\ \ \ \ \
| | * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-02-25343-8168/+11256
| | |\ \ \ \ \ \
| | * \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2013-01-13107-3029/+3230
| | |\ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-12-2825-267/+377
| | |\ \ \ \ \ \ \ \
| | * | | | | | | | | Add the improvement step, for more direct evaluation.Iavor S. Diatchki2012-12-281-13/+129
| | * | | | | | | | | Fixes to restore proper operation of widening function.Iavor S. Diatchki2012-12-251-19/+45
| | * | | | | | | | | A function to get all constraints (unused at the moment)Iavor S. Diatchki2012-12-251-0/+6
| | * | | | | | | | | Update debug functions for new name/location of unsafeGlobalDynFlagsIavor S. Diatchki2012-12-251-4/+3
| | * | | | | | | | | Limit debugging output to when there's something to report.Iavor S. Diatchki2012-12-251-3/+4
| | * | | | | | | | | Add support for improving with basic rules, and simplify things a bit.Iavor S. Diatchki2012-12-251-30/+108
| | * | | | | | | | | Add TyThing entries for all rules.Iavor S. Diatchki2012-12-251-1/+3
| | * | | | | | | | | Add `TnExp0L` to iff rules.Iavor S. Diatchki2012-12-251-5/+5
| | * | | | | | | | | Add the second half of the rules for subtraction (SubE/SubI).Iavor S. Diatchki2012-12-251-1/+6
| | * | | | | | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-12-22152-3985/+5770
| | |\ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-12-01209-5244/+5897
| | |\ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | |
| | * | | | | | | | | | Fix uses of (<=?) as a function to reduce properly.Iavor S. Diatchki2012-11-112-3/+12
| | * | | | | | | | | | Add support for rewriting equations, and add support for (-) as an example.Iavor S. Diatchki2012-11-112-21/+108
| | * | | | | | | | | | Add type-level '-' as a known name for GHC.Iavor S. Diatchki2012-11-112-4/+14
| | * | | | | | | | | | Comments (also rename `deepSolve` to `solveWanted`)Iavor S. Diatchki2012-11-111-9/+17
| | * | | | | | | | | | Remove unused special case-ing.Iavor S. Diatchki2012-11-111-10/+0
| | * | | | | | | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-11-10131-2278/+3134
| | |\ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | Fix up to build with renamed promoting functions.Iavor S. Diatchki2012-10-291-6/+6
| | * | | | | | | | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-10-28184-12703/+2579
| | |\ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-10-15182-8234/+6643
| | |\ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-10-0692-1670/+2275
| | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/tc-untouchables' into type-natsIavor S. Diatchki2012-09-2957-3591/+3560
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-09-2953-1422/+874
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | Add custom improvement rule for `FromNat1`.Iavor S. Diatchki2012-09-221-8/+36
| | * | | | | | | | | | | | | | | | Bugfix: don't generate infinitely many obvious facts.Iavor S. Diatchki2012-09-221-1/+6
| | * | | | | | | | | | | | | | | | Some rules (partially) specifying that FromNat1 is injective.Iavor S. Diatchki2012-09-221-1/+32
| | * | | | | | | | | | | | | | | | Add type constructors for unary view of type-level nats.Iavor S. Diatchki2012-09-221-1/+60
| | * | | | | | | | | | | | | | | | Add names for types/functions for unary of type-level nats.Iavor S. Diatchki2012-09-221-0/+12
| | * | | | | | | | | | | | | | | | (for debuging) Make it easier to switch traces on and offIavor S. Diatchki2012-09-221-2/+1
| | * | | | | | | | | | | | | | | | Just a note.Iavor S. Diatchki2012-09-221-0/+5
| | * | | | | | | | | | | | | | | | Merge remote branch 'origin/master' into type-natsIavor Diatchki2012-09-20251-6528/+7396
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | Back to generating derived facts (+ comment clarifications & renaming)Iavor S. Diatchki2012-09-161-46/+53
| | * | | | | | | | | | | | | | | | | Remove leftovers of previous refactoring.Iavor S. Diatchki2012-09-161-6/+8
| | * | | | | | | | | | | | | | | | | Remove unused Outputable instance.Iavor S. Diatchki2012-09-161-12/+0
| | * | | | | | | | | | | | | | | | | Add some extra impossible cases (x + 5 ~ x)Iavor S. Diatchki2012-09-161-0/+2
| | * | | | | | | | | | | | | | | | | Prefer Wanteds over Derived when solving family equations:Iavor S. Diatchki2012-09-161-1/+18
| | * | | | | | | | | | | | | | | | | Some simple rules about interactions between computation and ordering.Iavor S. Diatchki2012-09-111-0/+23
View Lorry Controller Status