summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Generalize to support arbitrary theories.decision-procedureIavor S. Diatchki2013-10-192-681/+289
* Hook-up an SMT solver.Iavor S. Diatchki2013-10-174-14/+738
* CheckpointIavor S. Diatchki2013-10-163-15/+60
* Weaken the improvement for subtraction.Iavor S. Diatchki2013-10-151-6/+35
* Update `haskeline` library to latest HEADHerbert Valerio Riedel2013-10-121-0/+0
* Reject negative type-level integers created via TH (#8412)Krzysztof Gogolewski2013-10-122-19/+15
* TyposKrzysztof Gogolewski2013-10-1214-14/+14
* Add rts_isDynamic to the linker symbol listAustin Seipp2013-10-121-0/+1
* Fix building RtsProbes.d on Mac OS X 10.9 (#8139)Darin Morrison2013-10-112-1/+7
* Fix mkdirhier.sh on OS X 10.9 (#8139)Darin Morrison2013-10-111-1/+1
* Add machinery to reify annotations (#8397)Austin Seipp2013-10-114-11/+35
* Remove outdated comment (#8434)Austin Seipp2013-10-111-9/+1
* Do not copy stack after stack overflow, fixes #8435Edward Z. Yang2013-10-111-0/+1
* Fix freezing on bare ')' with alternative layout rule (#8431)Krzysztof Gogolewski2013-10-121-1/+1
* Make MO_Prefetch_Data a no-op in the C backend (#8437).Reid Barton2013-10-121-0/+1
* If exceptions are blocked, add stack overflow to blocked exceptions list. Fix...Edward Z. Yang2013-10-113-18/+56
* Reject spurious \end{code} in literate mode (#8430)Krzysztof Gogolewski2013-10-121-4/+10
* Update Cabal to current upstream `1.18` branch tipHerbert Valerio Riedel2013-10-111-0/+0
* Relax build-deps to allow upcoming `array-0.5.0.0`Herbert Valerio Riedel2013-10-113-3/+3
* Future-proof code for upcoming `array-0.5.0.0`Herbert Valerio Riedel2013-10-112-8/+8
* Fix a bug in the canned selector code when profiling.Simon Marlow2013-10-112-8/+21
* Fix up the conditions for zeroing slop (#8402)Simon Marlow2013-10-111-10/+26
* Use dynamic linking only if the GHC package is compiled with -dynamic (#8376)Simon Marlow2013-10-117-19/+48
* Typofix.Edward Z. Yang2013-10-101-1/+1
* Clarify the TSO_SQUEEZED check.Edward Z. Yang2013-10-101-0/+8
* Update `bytestring` to final 0.10.4.0 releaseHerbert Valerio Riedel2013-10-101-0/+0
* Update and clean-up the implmenation of GHC.TypeLitsIavor S. Diatchki2013-10-096-109/+131
* Show parentheses when printing type (forall x. T1) T2 (#8428)Krzysztof Gogolewski2013-10-091-3/+2
* TyposKrzysztof Gogolewski2013-10-092-2/+2
* Nuke {save,restore}StaticFlagGlobals.Austin Seipp2013-10-092-21/+20
* Use evaldUnfolding for proxyHashIdAustin Seipp2013-10-091-6/+11
* Turn -H and -Rghc-timing into dynamic flags.Austin Seipp2013-10-092-30/+37
* Release note fix.Austin Seipp2013-10-091-2/+3
* Clean up some outdated comments (#8418)Austin Seipp2013-10-094-11/+17
* GHCi: Expand ~ in :script commandJoachim Breitner2013-10-091-3/+4
* Catch some popular typos in commentsGabor Greif2013-10-085-7/+7
* Fix grammarGabor Greif2013-10-081-1/+1
* docs for new layout behaviour with MultiWayIf (#7783)Simon Marlow2013-10-081-1/+29
* Print (non-representational) roles when display TyCon informationSimon Peyton Jones2013-10-081-14/+25
* Change backslash to vertical bar in commentSimon Peyton Jones2013-10-081-2/+2
* More clarity on CurrentAlloc docs.Edward Z. Yang2013-10-061-0/+22
* Remove deprecated _scc_ (#8170)Krzysztof Gogolewski2013-10-055-10/+6
* Add release note item for new Monoid Const instanceHerbert Valerio Riedel2013-10-051-0/+5
* Remove tab.Geoffrey Mainland2013-10-041-1/+1
* Merge New Template Haskell branch.Geoffrey Mainland2013-10-0430-464/+1378
|\
| * Add support for Template Haskell state.wip/th-newGeoffrey Mainland2013-10-043-0/+28
| * Add support for Template Haskell module finalizers.Geoffrey Mainland2013-10-045-6/+33
| * Change the types of typed brackets and splices.Geoffrey Mainland2013-10-042-9/+19
| * Allow splices to add additional top-level declarations.Geoffrey Mainland2013-10-045-3/+92
| * Code formatting cleanup.Geoffrey Mainland2013-10-041-32/+34
View Lorry Controller Status