summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Cleanup.Alain Frisch2014-10-091-28/+33
* Cleanup.Alain Frisch2014-10-091-2/+1
* Fix.Alain Frisch2014-10-091-1/+3
* Better error message.Alain Frisch2014-10-091-3/+1
* Text.Alain Frisch2014-10-091-1/+1
* Sync with trunk.Alain Frisch2014-10-092-94/+94
|\
| * Move constructor and label description records to the bottom of Types. Conce...Alain Frisch2014-10-092-86/+86
* | Improve error message.Alain Frisch2014-10-071-3/+11
* | Reduce diff with trunk.Alain Frisch2014-10-071-1/+0
* | Reduce diff with trunk.Alain Frisch2014-10-071-2/+3
* | Stop propagating manifest on inlined record types created by rebinding of ext...Alain Frisch2014-10-075-30/+26
* | Sync with trunk.Alain Frisch2014-10-071-37/+27
|\ \ | |/
| * Simplify removal of duplicated values in signatures, reusing the same code as...Alain Frisch2014-10-071-73/+35
| * Factorize.Alain Frisch2014-10-032-24/+35
* | Disallow completely inline records on GADT constructors.Alain Frisch2014-10-071-8/+4
* | Sync with trunk.Alain Frisch2014-10-031-2/+0
* | Sync with trunk.Alain Frisch2014-10-031-3/+3
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-14/+17
* | Sync with trunk.Alain Frisch2014-10-031-0/+1
|\ \ | |/
| * Factorize.Alain Frisch2014-10-033-65/+70
* | Sync with trunk + cleanup.Alain Frisch2014-10-031-17/+13
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-9/+7
| * Cleanup.Alain Frisch2014-10-031-10/+10
* | Cleanup.Alain Frisch2014-10-031-2/+1
* | Sync with trunk.Alain Frisch2014-10-031-8/+2
|\ \ | |/
| * Factorize.Alain Frisch2014-10-031-39/+22
* | Sync with trunk.Alain Frisch2014-10-031-0/+1
|\ \ | |/
| * Cleanup detection of duplicated type/... names.Alain Frisch2014-10-031-37/+42
* | Reduce diff.Alain Frisch2014-10-031-10/+5
* | Reduce diff.Alain Frisch2014-10-032-6/+5
* | Reduce diff.Alain Frisch2014-10-031-2/+2
* | Reduce diff.Alain Frisch2014-10-031-9/+7
* | Sync with trunk.Alain Frisch2014-10-031-12/+10
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-25/+24
* | Reduce diff.Alain Frisch2014-10-031-1/+2
* | Cleanup.Alain Frisch2014-10-031-8/+5
* | Sync with trunk.Alain Frisch2014-10-033-37/+26
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-033-30/+26
* | Sync with trunk.Alain Frisch2014-10-031-7/+8
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-1/+1
| * Factorize.Alain Frisch2014-10-031-22/+21
| * Integrate simple change from constructors_with_record4.Alain Frisch2014-10-033-10/+9
| * Fix PR#6593: Functor application in tests/basic-modules failsJacques Garrigue2014-10-021-7/+8
* | Simplify: the inlined information does not need to be stored with type_descri...Alain Frisch2014-10-035-23/+27
* | Change the definition of type parameters for the inline record types: for non...Alain Frisch2014-10-031-20/+42
* | Cleanup.Alain Frisch2014-10-031-4/+1
* | Cleanup.Alain Frisch2014-10-031-3/+0
* | Cleanup.Alain Frisch2014-10-031-5/+5
* | Cleanup.Alain Frisch2014-10-031-3/+3
* | Factorize.Alain Frisch2014-10-031-44/+27
View Lorry Controller Status