summaryrefslogtreecommitdiff
path: root/compiler/stgSyn
Commit message (Expand)AuthorAgeFilesLines
* Detab modules with tabs on 5 lines or fewerIan Lynagh2013-04-061-13/+6
* Minor doc typofix.Edward Z. Yang2013-02-271-1/+1
* some more typosGabor Greif2013-02-021-2/+2
* typosGabor Greif2013-01-301-1/+1
* Some alpha renamingIan Lynagh2012-10-161-1/+1
* Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-281-11/+1
|\
| * Remove some old-codegen cruftSimon Marlow2012-09-251-11/+1
* | Undo making Any into a type family, for nowSimon Peyton Jones2012-09-181-0/+1
* | Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-2/+1
|/
* Fix Trac #7237; mixup with empty tuplesSimon Peyton Jones2012-09-151-1/+10
* Make the ways dynamicIan Lynagh2012-09-031-2/+2
* Convert prefix uses of (<>) to infix <>Ian Lynagh2012-08-051-5/+5
* Make -fscc-profiling a dynamic flagIan Lynagh2012-07-241-2/+2
* Remove 'on' from UtilIan Lynagh2012-06-221-0/+1
* Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-053-56/+55
|\
| * Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-153-40/+49
| * Remove StgTypeArg since it was never used and is probably broken anywayMax Bolingbroke2012-05-152-9/+1
| * Remove the unused Type field from StgLamMax Bolingbroke2012-05-153-7/+5
* | Change how macros like ASSERT are definedIan Lynagh2012-06-051-0/+1
|/
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-0/+12
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-132-9/+9
|\
| * Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-15/+15
| * Implement "value" imports with the CAPIIan Lynagh2012-02-261-1/+1
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-21/+21
|\ \ | |/
| * Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-20/+20
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-310/+289
|\ \ | |/
| * Fix haddock validate problem.David Terei2012-01-051-2/+2
| * Formatting fixesDavid Terei2012-01-051-310/+289
* | Remove tabs, so that I can push.Iavor S. Diatchki2011-12-181-22/+15
|/
* Use -fwarn-tabs when validatingIan Lynagh2011-11-043-0/+21
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-023-19/+23
* Some DEBUG CPP removalIan Lynagh2011-10-232-7/+1
* Remove a little more CPPIan Lynagh2011-10-152-30/+29
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-2/+2
* Improve the handling of Integer literalsIan Lynagh2011-09-171-1/+1
* change how Integer's are handled in CoreIan Lynagh2011-09-131-0/+4
* Eliminate isHiBootTyCon in favour of isAbstractTyConSimon Peyton Jones2011-09-051-3/+3
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-032-12/+12
* Improve StgLint -- a bitSimon Peyton Jones2011-07-271-73/+118
* The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-121-2/+3
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-192-5/+29
* Add a comment on why some seq's are doneIan Lynagh2010-10-211-0/+2
* Midstream changes to deal with spontaneous solving and flatten skolem equival...dimitris@microsoft.com2010-10-191-1/+1
* Evaluate the results in coreToStgAppIan Lynagh2010-10-191-5/+7
* Retab CoreToStg, and remove trailing whitespaceIan Lynagh2010-10-191-418/+418
* Avoid ASSERT black holesimonpj@microsoft.com2010-09-231-1/+5
* Fix an ASSERT failure with profilingsimonpj@microsoft.com2010-09-222-33/+36
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-2/+2
* Fix bugs in STG Lintsimonpj@microsoft.com2010-01-041-18/+13
* Refactor PackageTarget back into StaticTargetBen.Lippmeier@anu.edu.au2010-01-041-1/+1