ghc.git
6 years agoLATEX_DOCS is no longer used
Ian Lynagh [Sat, 2 Mar 2013 00:05:22 +0000 (00:05 +0000)] 
LATEX_DOCS is no longer used

6 years agoRemove some more unused build system variables
Ian Lynagh [Fri, 1 Mar 2013 23:45:30 +0000 (23:45 +0000)] 
Remove some more unused build system variables

6 years agoMake ghc.mk a little prettier
Ian Lynagh [Fri, 1 Mar 2013 23:41:14 +0000 (23:41 +0000)] 
Make ghc.mk a little prettier

6 years agoFix haddocking after the build system changes
Ian Lynagh [Fri, 1 Mar 2013 22:43:30 +0000 (22:43 +0000)] 
Fix haddocking after the build system changes

6 years agoFix when terminfo is built; fixes #7700
Ian Lynagh [Fri, 1 Mar 2013 22:29:19 +0000 (22:29 +0000)] 
Fix when terminfo is built; fixes #7700

We now use the 'host' to determine whether stage0 builds terminfo,
and 'target' to determine whether stage1 does.

We don't build it if the platform is either Windows or ios.

6 years agoRename $(Windows) to $(Windows_Host)
Ian Lynagh [Fri, 1 Mar 2013 21:46:02 +0000 (21:46 +0000)] 
Rename $(Windows) to $(Windows_Host)

6 years agoRemove some unused variables
Ian Lynagh [Fri, 1 Mar 2013 21:31:29 +0000 (21:31 +0000)] 
Remove some unused variables

6 years agoChange how the build system handles packages
Ian Lynagh [Fri, 1 Mar 2013 16:34:33 +0000 (16:34 +0000)] 
Change how the build system handles packages

This makes the build system a little simpler, and in particular
will make it easier to handle the changes needed for cross-compilation.

6 years agoComment the fix to Trac #7702
Simon Peyton Jones [Fri, 1 Mar 2013 17:55:07 +0000 (17:55 +0000)] 
Comment the fix to Trac #7702

6 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Fri, 1 Mar 2013 17:52:54 +0000 (17:52 +0000)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

6 years agoUpdate to binary 0.7.0.0
Ian Lynagh [Fri, 1 Mar 2013 13:59:21 +0000 (13:59 +0000)] 
Update to binary 0.7.0.0

6 years agoFix memory leak in CoreWriter (Trac #7702)
Andrew Farmer [Mon, 18 Feb 2013 09:32:35 +0000 (03:32 -0600)] 
Fix memory leak in CoreWriter (Trac #7702)

6 years agoMake the #includes a little more correct in OSThreads.c
Ian Lynagh [Fri, 1 Mar 2013 00:52:33 +0000 (00:52 +0000)] 
Make the #includes a little more correct in OSThreads.c

6 years agoFix sys/cpuset.h on FreeBSD 9.1; patch from kazu-yamamoto; fixes #7708
Ian Lynagh [Fri, 1 Mar 2013 00:50:47 +0000 (00:50 +0000)] 
Fix sys/cpuset.h on FreeBSD 9.1; patch from kazu-yamamoto; fixes #7708

6 years agoSmall refactoring: Move the end-of-pipeline move into pipeLoop
Ian Lynagh [Thu, 28 Feb 2013 13:09:24 +0000 (13:09 +0000)] 
Small refactoring: Move the end-of-pipeline move into pipeLoop

6 years agoSmall refactoring: Don't pass redundant stop_phase to runPipeline
Ian Lynagh [Thu, 28 Feb 2013 13:00:12 +0000 (13:00 +0000)] 
Small refactoring: Don't pass redundant stop_phase to runPipeline

6 years agoFix some m4/shell syntax in aclocal.m4, spotted by Jan Stolarek
Ian Lynagh [Thu, 28 Feb 2013 12:52:59 +0000 (12:52 +0000)] 
Fix some m4/shell syntax in aclocal.m4, spotted by Jan Stolarek

[ ] is m4 syntax, so we need to use 'test foo' rather than '[ foo ]'.

6 years agoSmall refactoring: Don't pass a redundant output_spec around
Ian Lynagh [Thu, 28 Feb 2013 02:40:21 +0000 (02:40 +0000)] 
Small refactoring: Don't pass a redundant output_spec around

6 years agoInline get_output_fn
Ian Lynagh [Thu, 28 Feb 2013 02:38:37 +0000 (02:38 +0000)] 
Inline get_output_fn

It's now only used once

6 years agoSmall refactoring
Ian Lynagh [Thu, 28 Feb 2013 02:21:19 +0000 (02:21 +0000)] 
Small refactoring

pipeLoop now returns the final dflags, rather than having
runPipeline' extract it from the end state.

6 years agoTypo
Gabor Greif [Wed, 27 Feb 2013 23:55:26 +0000 (00:55 +0100)] 
Typo

6 years agoMinor doc typofix.
Edward Z. Yang [Wed, 27 Feb 2013 22:22:55 +0000 (14:22 -0800)] 
Minor doc typofix.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6 years agoClarify comment
Gabor Greif [Tue, 26 Feb 2013 21:42:50 +0000 (22:42 +0100)] 
Clarify comment

6 years agoUpdate submodule
Gabor Greif [Tue, 26 Feb 2013 21:42:19 +0000 (22:42 +0100)] 
Update submodule

6 years agoFix a TODO in the compiler
Ian Lynagh [Tue, 26 Feb 2013 18:57:39 +0000 (18:57 +0000)] 
Fix a TODO in the compiler

AnnProvenance now has Functor, Foldable, Traversable instances.

6 years agoFix parsing of pragmas containing unicode characters; fixes #7671
Ian Lynagh [Tue, 26 Feb 2013 01:27:43 +0000 (01:27 +0000)] 
Fix parsing of pragmas containing unicode characters; fixes #7671

6 years agoOnly emit %write_barrier primitive for THREADED_RTS
Gabor Greif [Mon, 25 Feb 2013 22:03:23 +0000 (23:03 +0100)] 
Only emit %write_barrier primitive for THREADED_RTS

6 years agoChange how unboxed tuples are lexed; fixes #7627
Ian Lynagh [Mon, 25 Feb 2013 19:02:57 +0000 (19:02 +0000)] 
Change how unboxed tuples are lexed; fixes #7627

(# is now always a lexeme, even if followed by a symbol.

6 years agoSplit SettingsCCompilerFlags into non-link and link portions
Gabor Greif [Mon, 25 Feb 2013 17:53:31 +0000 (18:53 +0100)] 
Split SettingsCCompilerFlags into non-link and link portions

This fixes certain older GCCs which do not accept link options when assembling or compiling:

  ppc_85xx-gcc: --hash-size=31: linker input file unused because linking not done
  ppc_85xx-gcc: --reduce-memory-overheads: linker input file unused because linking not done

and diagnose this to stderr.

6 years agoFix autoconf code to find LLVM tools.
Geoffrey Mainland [Mon, 25 Feb 2013 08:06:46 +0000 (08:06 +0000)] 
Fix autoconf code to find LLVM tools.

The loop exit condition was testing ${LLC} instead of $1, which was
incorrect. While I'm here, quote the path being tested since it may contain
spaces (e.g. on Windows), and don't search paths that don't exist, which
eliminates un-useful error messages from find.

6 years agoFix the compiler plugin example; patch from edsko; fixes #7682
Ian Lynagh [Sun, 24 Feb 2013 16:20:04 +0000 (16:20 +0000)] 
Fix the compiler plugin example; patch from edsko; fixes #7682

6 years agoUse unicode quote characters in error messages etc; fixes #2507
Ian Lynagh [Sun, 24 Feb 2013 00:26:07 +0000 (00:26 +0000)] 
Use unicode quote characters in error messages etc; fixes #2507

We only use the unicode characters if the locale supports them.

6 years agox86: promote arguments to C functions according to the ABI (#7383)
Simon Marlow [Wed, 20 Feb 2013 11:43:33 +0000 (11:43 +0000)] 
x86: promote arguments to C functions according to the ABI (#7383)

I don't think the x86-64 version is quite right, but this ought to be
enough to pass cgrun071.

This code is terrible and needs a complete refactor.  There's a lot of
duplication, and we ought to be specifying the ABI in a much more
abstract way (like LLVM).

6 years agoTurn -dynamic-too off in the build system for now
Ian Lynagh [Sat, 23 Feb 2013 13:16:01 +0000 (13:16 +0000)] 
Turn -dynamic-too off in the build system for now

6 years agoTweak the sed command so that it works on OSX
Ian Lynagh [Sat, 23 Feb 2013 02:33:20 +0000 (02:33 +0000)] 
Tweak the sed command so that it works on OSX

Using { } with sed on OS X requires using newlines rather than
semicolons. I've rewritten the sed so that no { } are necessary.

6 years agoAdd another chapter to the hi-rule novel
Ian Lynagh [Fri, 22 Feb 2013 23:47:26 +0000 (23:47 +0000)] 
Add another chapter to the hi-rule novel

6 years agoMake the build system use -dynamic-too if both way v and dyn are being built
Ian Lynagh [Fri, 22 Feb 2013 23:36:53 +0000 (23:36 +0000)] 
Make the build system use -dynamic-too if both way v and dyn are being built

6 years agoAdd separate rules for all .hi files, rather than using %.hi style
Ian Lynagh [Fri, 22 Feb 2013 22:18:50 +0000 (22:18 +0000)] 
Add separate rules for all .hi files, rather than using %.hi style

If a file is created by a %.hi rule, and the actual filename isn't
mentioned in the makefiles, then make will treat it as an 'intermediate
file' and delete it when it is finished.

We'd been lucky so far that .hi files weren't actually being built due
to our rules (but rather, as side-effects of the .o rules). However,
when using -dynamic-too to build, we had a rule
    $1/$2/build/%.$$(dyn_osuf): $1/$2/build/%.$$(v_hisuf)
which meant that building a .dyn_o could cause the rule for the
corresponding .hi to be used, and the .hi may then be deleted later on.
This was exacerbated by a bug in GNU make 3.81 which caused make to
enter an infinite loop if running in parallel mode:
    http://lists.gnu.org/archive/html/bug-make/2013-02/msg00020.html

Adding
    .SECONDARY:
would stop make from deleting the intermediate files. However, this
caused make to take a pathologically long time (it appeared to be
live-locked for 2 hours before I killed it) with our build system.

This patch instead creates lines like
    $(eval $(call hi-rule,libraries/base/dist-install/build/Unsafe/Coerce.dyn_hi libraries/base/dist-install/build/Unsafe/Coerce.hi  : %hi: %o  libraries/base/Unsafe/Coerce.hs))
in the .depend files, which results in a rule like
    libraries/base/dist-install/build/Unsafe/Coerce.dyn_hi libraries/base/dist-install/build/Unsafe/Coerce.hi  : %hi: %o  libraries/base/Unsafe/Coerce.hs ;
which, as the files are now all named in the makefiles, means they are
no longer intermediate files so do not get deleted.

6 years agoFix displayed string
Gabor Greif [Fri, 22 Feb 2013 17:13:13 +0000 (18:13 +0100)] 
Fix displayed string

6 years agoAlways quote arguments to removeFiles (fixes Windows install).
Geoffrey Mainland [Fri, 22 Feb 2013 15:26:55 +0000 (15:26 +0000)] 
Always quote arguments to removeFiles (fixes Windows install).

Thanks to Daniel Pratt <colorblinddad@gmail.com> for pointing out the failure
and fix.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Thu, 21 Feb 2013 16:49:39 +0000 (16:49 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoBuild fixes following build system refactoring
Ian Lynagh [Thu, 21 Feb 2013 15:58:53 +0000 (15:58 +0000)] 
Build fixes following build system refactoring

6 years agoSeparate the non-way-specific hs-suffix rules
Ian Lynagh [Thu, 21 Feb 2013 15:32:46 +0000 (15:32 +0000)] 
Separate the non-way-specific hs-suffix rules

This means we don't define them multiple times

6 years agoSplit non-way-specific variables off from distdir-way-opts into distdir-opts
Ian Lynagh [Thu, 21 Feb 2013 15:05:22 +0000 (15:05 +0000)] 
Split non-way-specific variables off from distdir-way-opts into distdir-opts

The hsc2hs, alex and happy options variables are now also
non-way-specific, as the files are shared between all ways.

6 years agoRename hs-suffix-rules-srcdir to hs-suffix-way-rules-srcdir
Ian Lynagh [Thu, 21 Feb 2013 14:40:14 +0000 (14:40 +0000)] 
Rename hs-suffix-rules-srcdir to hs-suffix-way-rules-srcdir

6 years agoRename hs-suffix-rules to hs-suffix-way-rules
Ian Lynagh [Thu, 21 Feb 2013 14:31:34 +0000 (14:31 +0000)] 
Rename hs-suffix-rules to hs-suffix-way-rules

6 years agoSmall build system refactoring; no functional changes
Ian Lynagh [Thu, 21 Feb 2013 14:17:51 +0000 (14:17 +0000)] 
Small build system refactoring; no functional changes

6 years agoFix #7710: do not AutoDeriveTypeable for synonyms and type families
Jose Pedro Magalhaes [Thu, 21 Feb 2013 09:33:31 +0000 (09:33 +0000)] 
Fix #7710: do not AutoDeriveTypeable for synonyms and type families

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Thu, 21 Feb 2013 01:31:50 +0000 (01:31 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoSome -dynamic-too fixes
Ian Lynagh [Wed, 20 Feb 2013 14:08:39 +0000 (14:08 +0000)] 
Some -dynamic-too fixes

6 years agoPackage 'binary' is not a boot package any more
Gabor Greif [Wed, 20 Feb 2013 21:27:10 +0000 (22:27 +0100)] 
Package 'binary' is not a boot package any more

6 years agoUpdate submodules
Gabor Greif [Wed, 20 Feb 2013 20:46:50 +0000 (21:46 +0100)] 
Update submodules

6 years agoBetter handling of find llvm tools. Use IFS as opposed to more hacky tr
David Terei [Wed, 20 Feb 2013 12:05:50 +0000 (04:05 -0800)] 
Better handling of find llvm tools. Use IFS as opposed to more hacky tr
approach. This way can handle spaces in paths.

6 years agoFix bug in setNumCapabilities
Simon Marlow [Wed, 20 Feb 2013 10:36:25 +0000 (10:36 +0000)] 
Fix bug in setNumCapabilities

We were changing n_capabilities after we had released the
Capabilities, which lead to a range of interesting crashes.  This
should fix test failures in setnumcapabilities001.

6 years agoRemove printExceptionAndWarnings (deprecated since 7.2)
Ian Lynagh [Wed, 20 Feb 2013 01:05:58 +0000 (01:05 +0000)] 
Remove printExceptionAndWarnings (deprecated since 7.2)

6 years agoAdd a "deprecated in" pragma
Ian Lynagh [Wed, 20 Feb 2013 01:03:20 +0000 (01:03 +0000)] 
Add a "deprecated in" pragma

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Tue, 19 Feb 2013 17:58:01 +0000 (17:58 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoRemove gblock and gunblock
Ian Lynagh [Tue, 19 Feb 2013 17:07:16 +0000 (17:07 +0000)] 
Remove gblock and gunblock

6 years agoFix segfault in retainer profiling when using multiple cores (#5909)
Simon Marlow [Tue, 19 Feb 2013 09:58:31 +0000 (09:58 +0000)] 
Fix segfault in retainer profiling when using multiple cores (#5909)

Thanks to @akio on the ticket for the diagnosis and the patch.  I
modified the comments a bit.

6 years agofix some dependencies
Simon Marlow [Mon, 18 Feb 2013 14:33:02 +0000 (14:33 +0000)] 
fix some dependencies

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Tue, 19 Feb 2013 14:46:21 +0000 (14:46 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoDPH: free top-level variables don't prevent encapsulation
Manuel M T Chakravarty [Mon, 18 Feb 2013 06:48:43 +0000 (17:48 +1100)] 
DPH: free top-level variables don't prevent encapsulation

6 years agodeclare stable_ptr_table (should fix via-C compilation)
Simon Marlow [Mon, 18 Feb 2013 10:22:57 +0000 (10:22 +0000)] 
declare stable_ptr_table (should fix via-C compilation)

6 years agofix PrimOp dependencies
Simon Marlow [Mon, 18 Feb 2013 09:46:33 +0000 (09:46 +0000)] 
fix PrimOp dependencies

6 years agoPrimitive bitwise operations on Int# (Fixes #7689)
Jan Stolarek [Fri, 15 Feb 2013 12:10:36 +0000 (13:10 +0100)] 
Primitive bitwise operations on Int# (Fixes #7689)

6 years agoUse $(TargetPlatformFull) instead of $(GlobalCrossCompilePrefix)
Simon Marlow [Fri, 15 Feb 2013 11:34:02 +0000 (11:34 +0000)] 
Use $(TargetPlatformFull) instead of $(GlobalCrossCompilePrefix)

Requested by Gabor Greif.

6 years agoUpdate submodules
Ian Lynagh [Sun, 17 Feb 2013 23:07:41 +0000 (23:07 +0000)] 
Update submodules

6 years agoPut the main ghc tree last in packages
Ian Lynagh [Sun, 17 Feb 2013 22:22:40 +0000 (22:22 +0000)] 
Put the main ghc tree last in packages

This means that "./sync-all commit" will record in submodules first,
and then prompt you to record a patch updating the version of the
submodules last. Should make it less likely that we forget to update
the submodules' versions.

6 years agoUpdate submodules
Ian Lynagh [Sun, 17 Feb 2013 21:57:10 +0000 (21:57 +0000)] 
Update submodules

6 years agoRemove utils/lndir/Makefile (part of the old build system)
Ian Lynagh [Sun, 17 Feb 2013 17:22:41 +0000 (17:22 +0000)] 
Remove utils/lndir/Makefile (part of the old build system)

6 years agoRemove the MACOSX_DEPLOYMENT stuff; fixes #7559
Ian Lynagh [Sun, 17 Feb 2013 17:20:04 +0000 (17:20 +0000)] 
Remove the MACOSX_DEPLOYMENT stuff; fixes #7559

If anyone wants to do this in the future, they should just set
appropriate CC_OPTS/LD_OPTS variables instead.

6 years agoFix the autocrlf test in sync-all
Ian Lynagh [Sun, 17 Feb 2013 17:04:44 +0000 (17:04 +0000)] 
Fix the autocrlf test in sync-all

Apparently git ignores the --git-dir argument.

6 years agoSet repositories to have core.autocrlf == false; fixes #7673
Ian Lynagh [Sun, 17 Feb 2013 16:57:30 +0000 (16:57 +0000)] 
Set repositories to have core.autocrlf == false; fixes #7673

Based on a patch from rassilon.

6 years agoSimplify some code; patch from Bill Tutt
Ian Lynagh [Sun, 17 Feb 2013 15:11:55 +0000 (15:11 +0000)] 
Simplify some code; patch from Bill Tutt

6 years agoFix line endings in rts/win32/ThrIOManager.c
Ian Lynagh [Sun, 17 Feb 2013 15:10:33 +0000 (15:10 +0000)] 
Fix line endings in rts/win32/ThrIOManager.c

6 years agoRemove utils/Makefile
Ian Lynagh [Sun, 17 Feb 2013 14:57:46 +0000 (14:57 +0000)] 
Remove utils/Makefile

It required the old build system, so didn't work.

6 years agoFinish removing BootingFromHc
Ian Lynagh [Sun, 17 Feb 2013 14:56:34 +0000 (14:56 +0000)] 
Finish removing BootingFromHc

6 years agoHardcode "BootingFromHc = NO" for now
Ian Lynagh [Sun, 17 Feb 2013 14:14:24 +0000 (14:14 +0000)] 
Hardcode "BootingFromHc = NO" for now

6 years agoLayout only
Ian Lynagh [Sun, 17 Feb 2013 13:54:55 +0000 (13:54 +0000)] 
Layout only

6 years agoRemove support for the --enable-hc-boot flag in configure
Ian Lynagh [Sun, 17 Feb 2013 13:53:22 +0000 (13:53 +0000)] 
Remove support for the --enable-hc-boot flag in configure

This porting method has bitrotted; use cross-compilation now

6 years agoWhitespace only
Ian Lynagh [Sun, 17 Feb 2013 13:50:35 +0000 (13:50 +0000)] 
Whitespace only

6 years agoAdd missing ;; in aclocal.m4
Ian Lynagh [Sun, 17 Feb 2013 13:49:56 +0000 (13:49 +0000)] 
Add missing ;; in aclocal.m4

6 years agoiOS patch no 2: remove obsolete CROSS_COMPILE variable; #7699
Ian Lynagh [Sun, 17 Feb 2013 13:43:50 +0000 (13:43 +0000)] 
iOS patch no 2: remove obsolete CROSS_COMPILE variable; #7699

From StephenBlackheath

6 years agoiOS patch no 1: Select operating system; from StephenBlackheath
Ian Lynagh [Sun, 17 Feb 2013 13:41:29 +0000 (13:41 +0000)] 
iOS patch no 1: Select operating system; from StephenBlackheath

6 years agoUpdate submodules
Ian Lynagh [Sat, 16 Feb 2013 21:03:50 +0000 (21:03 +0000)] 
Update submodules

6 years agoSmall refactoring; patch from nus
Ian Lynagh [Sat, 16 Feb 2013 20:22:00 +0000 (20:22 +0000)] 
Small refactoring; patch from nus

6 years agoBuild fix for dyn way on Windows; patch from nus
Ian Lynagh [Sat, 16 Feb 2013 20:20:47 +0000 (20:20 +0000)] 
Build fix for dyn way on Windows; patch from nus

6 years agoDefine utils/ghc-pkg_dist_PROG correctly for Windows
Ian Lynagh [Sat, 16 Feb 2013 18:35:01 +0000 (18:35 +0000)] 
Define utils/ghc-pkg_dist_PROG correctly for Windows

6 years agoAdd a missing $ to a dependency
Ian Lynagh [Sat, 16 Feb 2013 18:23:50 +0000 (18:23 +0000)] 
Add a missing $ to a dependency

6 years agoFix build on Windows: We don't build terminfo on Windows
Ian Lynagh [Sat, 16 Feb 2013 18:07:47 +0000 (18:07 +0000)] 
Fix build on Windows: We don't build terminfo on Windows

6 years agoBuild the stage0 ghc-pkg with Cabal
Ian Lynagh [Sat, 16 Feb 2013 15:39:32 +0000 (15:39 +0000)] 
Build the stage0 ghc-pkg with Cabal

This solves the problem of how to define MIN_VERSION_base for
the binary package.

Also fixed a couple of build system bugs along the way.

6 years agoWhitespace tweak
Ian Lynagh [Sat, 16 Feb 2013 14:33:24 +0000 (14:33 +0000)] 
Whitespace tweak

6 years agoUpdate submodule versions
Ian Lynagh [Sat, 16 Feb 2013 13:33:04 +0000 (13:33 +0000)] 
Update submodule versions

6 years agoBuild system tweak: Do the package checks at configure time
Ian Lynagh [Fri, 15 Feb 2013 23:41:21 +0000 (23:41 +0000)] 
Build system tweak: Do the package checks at configure time

This removes the '.PHONY' rule, so means that "make" in a built tree
won't repeat the check.

We also now check the .cabal files for the executables as well as the
libraries.

6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Fri, 15 Feb 2013 21:52:53 +0000 (21:52 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

6 years agoStop using the deprecated System.Cmd
Ian Lynagh [Fri, 15 Feb 2013 21:51:25 +0000 (21:51 +0000)] 
Stop using the deprecated System.Cmd

6 years agoSquash some typos
Gabor Greif [Fri, 15 Feb 2013 21:26:51 +0000 (22:26 +0100)] 
Squash some typos

6 years agoLook through type synonyms when deciding if something is a type literal.
Iavor S. Diatchki [Fri, 15 Feb 2013 17:40:35 +0000 (09:40 -0800)] 
Look through type synonyms when deciding if something is a type literal.

This is needed to make things like this work:

type N = 9
myValue = fromSing (sing :: Sing N)

If we don't look trough the synonym, we get an error that `SingI N` can't
be solved.

6 years agoMake :kind in GHCi do kind generalisation, always (Trac #7688)
Simon Peyton Jones [Fri, 15 Feb 2013 17:14:36 +0000 (17:14 +0000)] 
Make :kind in GHCi do kind generalisation, always (Trac #7688)

See Note [Kind-generalise in tcRnType] in TcRnDriver, and
the notes in Trac #7688

6 years agoCheck sub-modules are OK before pushing
Ian Lynagh [Fri, 15 Feb 2013 15:38:55 +0000 (15:38 +0000)] 
Check sub-modules are OK before pushing