delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove shadowed IP parameters, when nesting implications.imp-param-class	Iavor S. Diatchki	2012-06-10	2	-14/+64
*	Add a function to filter the set of solved evidence.	Iavor S. Diatchki	2012-06-10	1	-1/+6
*	Add a function to deconstruct IP predicates.	Iavor S. Diatchki	2012-06-10	1	-1/+9
*	Merge with Master, and resolve conflicts.	Iavor S. Diatchki	2012-06-10	166	-2806/+3439
*	Implement shadowing of implicit parameters.	Iavor S. Diatchki	2012-05-30	1	-2/+70
*	Switch back to the simpler `IP` class, no extra newtypes.	Iavor S. Diatchki	2012-05-29	5	-52/+26
*	Add a note on 'getSize' about why it is OK to give implicit parameters size 0.	Iavor S. Diatchki	2012-05-29	1	-4/+7
*	Remove unused IParam module.	Iavor S. Diatchki	2012-05-28	3	-12/+0
*	Remove the IPName type, and the implicit parameter name cache.	Iavor S. Diatchki	2012-05-28	5	-47/+3
*	Remove more implicit parameter left-overs.	Iavor S. Diatchki	2012-05-28	9	-141/+7
*	Remove implicit parameters from interfaces.	Iavor S. Diatchki	2012-05-28	4	-55/+8
*	Add a special case for the "size" of the implicit parameter class.	Iavor S. Diatchki	2012-05-28	1	-2/+5
*	Revert accidental merge	Iavor S. Diatchki	2012-05-28	0	-0/+0
\|\
\| *	Merge branch 'imp-param-class' of ssh://darcs.haskell.org/srv/darcs/ghc into ...	Iavor S. Diatchki	2012-05-27	17	-237/+16
\| \|\ \|/ /
\| *	Remove IPName.	Iavor S. Diatchki	2012-05-27	19	-254/+18
* \|	Report errors in definitions of implicit parameters properly.	Iavor S. Diatchki	2012-05-27	2	-10/+14
* \|	Restore custom handling of IP for ambiguity (due to a fun-dep bug in GHC).	Iavor S. Diatchki	2012-05-27	1	-3/+26
* \|	Fix warning.	Iavor S. Diatchki	2012-05-27	1	-1/+0
* \|	Improve the error message when using an implicit parameter.	Iavor S. Diatchki	2012-05-27	2	-2/+12
* \|	Remove implicit params from the inert set.	Iavor S. Diatchki	2012-05-27	2	-16/+2
* \|	Merge remote-tracking branch 'origin/master' into imp-param-clss	Iavor S. Diatchki	2012-05-27	18	-186/+269
\|\ \ \| \|/ \|/\|
\| *	Test USE_MINIINTERPRETER rather than GhcUnregisterised	Ian Lynagh	2012-05-27	3	-7/+2
\| *	Specify the libdir to use when building libffi	Ian Lynagh	2012-05-26	1	-2/+6
\| *	Updates for haskeline-0.7's new MonadException API.	Judah Jacobson	2012-05-26	2	-11/+15
\| *	Fix problems with getMonotonicNSec on OS X	Ian Lynagh	2012-05-26	1	-3/+5
\| *	Improve occurs-check error reporting (fix Trac #6123)	Simon Peyton Jones	2012-05-25	3	-78/+80
\| *	Tidy up the treatment of signatures (incl fixity)	Simon Peyton Jones	2012-05-24	3	-42/+83
\| *	Fix an assertion failure in the stage2 compiler	Simon Peyton Jones	2012-05-24	1	-1/+10
\| *	Wibbles from 'Fix scoping of kind variables in instance declarations'	Simon Peyton Jones	2012-05-24	1	-12/+15
\| *	Merge branch 'master' of http://darcs.haskell.org/ghc	Simon Peyton Jones	2012-05-24	1	-0/+1
\| \|\
\| * \	Merge branch 'master' of http://darcs.haskell.org/ghc	Simon Peyton Jones	2012-05-22	18	-142/+191
\| \|\ \
\| * \| \|	Comments only	Simon Peyton Jones	2012-05-22	2	-3/+3
\| * \| \|	Fix scoping of kind variables in instance declarations	Simon Peyton Jones	2012-05-22	3	-27/+50
* \| \| \|	Remove the `IPPred` classifier and some of the special code with it.	Iavor S. Diatchki	2012-05-27	7	-51/+10
* \| \| \|	Remove `CIPCan`.	Iavor S. Diatchki	2012-05-27	5	-110/+3
* \| \| \|	Add a coercion from the value of an implicit param. to an `IP` dictionary.	Iavor S. Diatchki	2012-05-27	1	-3/+10
* \| \| \|	Fix printing of implicit parameters to put parens around them.	Iavor S. Diatchki	2012-05-27	1	-1/+1
* \| \| \|	Replace uses if `IPName` with `HsIPName` defined in module `HsTypes`.	Iavor S. Diatchki	2012-05-27	16	-85/+80
* \| \| \|	Avoid warnings.	Iavor S. Diatchki	2012-05-27	2	-2/+3
* \| \| \|	Move implicit parameter syntactic sugar to HsUtils.	Iavor S. Diatchki	2012-05-26	4	-23/+44
* \| \| \|	Display `IP "x" a` predicates as `?x :: a`.	Iavor S. Diatchki	2012-05-26	1	-1/+6
* \| \| \|	Desugar `?x :: t` into `IP "x" t`.	Iavor S. Diatchki	2012-05-26	2	-1/+10
* \| \| \|	Simplify the type-checking of an implicit parameter.	Iavor S. Diatchki	2012-05-26	2	-25/+29
* \| \| \|	Change `let ?x = ...` to use the `IP` class.	Iavor S. Diatchki	2012-05-25	2	-4/+16
* \| \| \|	Change `isIPPred` to test for the new `IP` class.	Iavor S. Diatchki	2012-05-25	1	-3/+4
* \| \| \|	We turn implicit parameters into uses of the IP class method.	Iavor S. Diatchki	2012-05-24	1	-2/+10
* \| \| \|	Add references to the implicit parameter class in the GHC.IP	Iavor S. Diatchki	2012-05-24	1	-1/+21
\| \|_\|/ \|/\| \|
* \| \|	escape(): don't forget the final '\0'	Simon Marlow	2012-05-23	1	-0/+1
\| \|/ \|/\|
* \|	Fix build	Ian Lynagh	2012-05-22	1	-0/+3
* \|	Fix warning	Ian Lynagh	2012-05-22	1	-1/+1