summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Generalize to support arbitrary theories.decision-procedureIavor S. Diatchki2013-10-192-681/+289
| | | | The theory of natural numbers is defined in TcTypeNats.
* Hook-up an SMT solver.Iavor S. Diatchki2013-10-174-14/+738
| | | | | | | | NOTE: This uses a very naive method to call the SMT solver: * GHC will call a program called cvc4, which better be an SMT solver, which is in the path * GHC will create (overwrite!) two files "ghc_input.smt" and "ghc_output,smt" two files in the current directory.
* CheckpointIavor S. Diatchki2013-10-163-15/+60
|
* Weaken the improvement for subtraction.Iavor S. Diatchki2013-10-151-6/+35
| | | | For details see the comment on `interactTopSub`.
* Update `haskeline` library to latest HEADHerbert Valerio Riedel2013-10-121-0/+0
| | | | | | | This is actually a no-op wrt the source-code and is only performed to show that upstream is identical to our lagged repository. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Reject negative type-level integers created via TH (#8412)Krzysztof Gogolewski2013-10-122-19/+15
| | | | This commit moves the check from parser to renamer.
* TyposKrzysztof Gogolewski2013-10-1214-14/+14
|
* Add rts_isDynamic to the linker symbol listAustin Seipp2013-10-121-0/+1
| | | | | | Spotted by Bertram Felgenhauer. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix building RtsProbes.d on Mac OS X 10.9 (#8139)Darin Morrison2013-10-112-1/+7
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix mkdirhier.sh on OS X 10.9 (#8139)Darin Morrison2013-10-111-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | Mac OS X 10.9 mkdir is apparently stricter than the Mac OS X 10.8 mkdir about which paths are considered valid arguments. For example, in a typical build on Mac OS X 10.9, the first of the following invocations of mkdirhier.sh will succeed but the second will fail: "inplace/bin/mkdirhier" utils/ghc-cabal/dist/build/tmp//. # WORKS "inplace/bin/mkdirhier" bootstrapping/. # FAILS Simply prefixing the path arguments with "./" causes both to succeed: "inplace/bin/mkdirhier" ./utils/ghc-cabal/dist/build/tmp//. # WORKS "inplace/bin/mkdirhier" ./bootstrapping/. # WORKS Testing indicates failure on paths satisfying all of these criteria: - path is suffixed with "/." - path is only 1 level deep (e.g., "foo/."; _not_ "foo/bar/.") - path is _not_ prefixed with "./" This workaround prefixes "./" to the path argument passed to mkdir. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add machinery to reify annotations (#8397)Austin Seipp2013-10-114-11/+35
| | | | | Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
* Remove outdated comment (#8434)Austin Seipp2013-10-111-9/+1
| | | | | Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
* Do not copy stack after stack overflow, fixes #8435Edward Z. Yang2013-10-111-0/+1
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Fix freezing on bare ')' with alternative layout rule (#8431)Krzysztof Gogolewski2013-10-121-1/+1
| | | | Patch by errge
* Make MO_Prefetch_Data a no-op in the C backend (#8437).Reid Barton2013-10-121-0/+1
| | | | Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com>
* If exceptions are blocked, add stack overflow to blocked exceptions list. ↵Edward Z. Yang2013-10-113-18/+56
| | | | | | Fixes #8303. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* 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
| | | | | | | This is mainly to relax the `array` build-dep to allow the upcoming `array-0.5.0.0` package. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Relax build-deps to allow upcoming `array-0.5.0.0`Herbert Valerio Riedel2013-10-113-3/+3
| | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Future-proof code for upcoming `array-0.5.0.0`Herbert Valerio Riedel2013-10-112-8/+8
| | | | | | This way CPP conditionals can be avoided for the transition period. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* 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
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Clarify the TSO_SQUEEZED check.Edward Z. Yang2013-10-101-0/+8
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* 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
| | | | | | | | | | | | | | | | | | * Replace class `SingI` with two separate classes: `KnownNat` and `KnownSymbol` * Rename `magicSingId` to `magicDictId`. * Simplify and clean-up the "magic" implementation. This version makes a lot more sense, at least to me :-) * Update notes about how it all works: Note [KnownNat & KnownSymbol and EvLit] explains the evidence for the built-in classes Note [magicDictId magic] explains how we coerce singleton values into dictionaries. This is used to turn run-time integers and strings into Proxy singletons of unknwon type (using an existential).
* Show parentheses when printing type (forall x. T1) T2 (#8428)Krzysztof Gogolewski2013-10-091-3/+2
| | | | Patch by klao
* TyposKrzysztof Gogolewski2013-10-092-2/+2
|
* Nuke {save,restore}StaticFlagGlobals.Austin Seipp2013-10-092-21/+20
| | | | | | | | | | | | | | | | | | | As discussed in #8276, this code was somewhat broken because while you could always revert the actual argument list, you can never revert the CAFs upon which they are based - so really this didn't buy you much. However, Haddock in particular expects to be able to parse GHC flags, including static flags, and used this code to do so. In its place, we instead have discardStaticFlags, which will safely remove any of the remaining 5 flags from a list of arguments. Haddock instead discards these, as they aren't related to anything it does anyway (mostly controlling debugging output and some basic optimizer phases.) This fixes #8276. In the future, we will eventually completely remove the remaining StaticFlags, removing the need for this fix. Unfortunately these changes will be quite invasive and require more time. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Use evaldUnfolding for proxyHashIdAustin Seipp2013-10-091-6/+11
| | | | | | | | | | | | Edward and I noticed this - like realWorld#, we want things applied to proxy# which are INLINE more likely to be inlined - we do this by marking proxy# as having an evaldUnfolding, which in turn makes it look like the primitive is evaluated and makes the simplifier more willing to do so. See Note [evaldUnfoldings] in MkId. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Turn -H and -Rghc-timing into dynamic flags.Austin Seipp2013-10-092-30/+37
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Release note fix.Austin Seipp2013-10-091-2/+3
| | | | | | Thanks to Gergely Risko for pointing this out. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Clean up some outdated comments (#8418)Austin Seipp2013-10-094-11/+17
| | | | | Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
* GHCi: Expand ~ in :script commandJoachim Breitner2013-10-091-3/+4
| | | | Fixes: #7685
* 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
| | | | | | | | | This is to avoid rts/sm/Storage.c: In function ‘allocate’: rts/sm/Storage.c:725:13: error: multi-line comment [-Werror=comment] cc1: all warnings being treated as errors
* More clarity on CurrentAlloc docs.Edward Z. Yang2013-10-061-0/+22
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* 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
| | | | | | See [6f3a194accd2a1a75a3f86c1b4dca30521488110/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* 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
| | | | | | | | Template Haskell module finalizers are run after a module is type checked.
| * Change the types of typed brackets and splices.Geoffrey Mainland2013-10-042-9/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
| * Allow splices to add additional top-level declarations.Geoffrey Mainland2013-10-045-3/+92
| |
| * Code formatting cleanup.Geoffrey Mainland2013-10-041-32/+34
| |