summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Fix dependency information for RULESsimonpj@microsoft.com2007-05-031-10/+18
* Remove "__" prefix for forall when printing a RULEsimonpj@microsoft.com2007-05-031-1/+1
* Make coreSyn/CoreUtils.lhs compileIan Lynagh2007-05-031-1/+2
* Warning policesimonpj@microsoft.com2007-05-021-0/+1
* Layout onlysimonpj@microsoft.com2007-05-021-8/+7
* Improve hashing of expressions for CSE (reduces warnings about extendCSEnv)simonpj@microsoft.com2007-04-251-4/+4
* Retain inline-pragma information on unfoldings in interface filessimonpj@microsoft.com2007-04-251-1/+4
* Comments only (concerning rewrite rules)simonpj@microsoft.com2007-04-221-1/+6
* Fix external core syntax (though not full compilation)Aaron Tomb2006-11-133-2/+6
* The ru_local field of a CoreRule is False for implicit Idssimonpj@microsoft.com2007-03-301-0/+4
* Import trimmingsimonpj@microsoft.com2007-02-212-4/+0
* Deal more correctly with orphan instancessimonpj@microsoft.com2007-02-211-4/+2
* Major improvement to SpecConstrsimonpj@microsoft.com2007-02-093-5/+31
* Establish the CoreSyn let/app invariantsimonpj@microsoft.com2007-02-052-59/+66
* Two new warnings: arity differing from demand type, and strict IDs at top levelKirsten Chevalier2007-01-291-11/+45
* Fix several bugs related to finding free variablessimonpj@microsoft.com2007-01-031-22/+22
* Removing explicit Binary Tick Boxes; using Case instead.andy@galois.com2006-12-131-56/+0
* MERGE: In hashExpr, use Word32 rather than relying on wrapping behaviour of IntIan Lynagh2006-12-031-12/+18
* TickBox representation changeandy@galois.com2006-11-294-56/+56
* Drop redundant parens in pretty-printingsimonpj@microsoft.com2006-11-241-1/+1
* Improve hashing of expressionssimonpj@microsoft.com2006-11-241-22/+39
* Tidy up substitutionssimonpj@microsoft.com2006-11-061-24/+52
* Get External Core (-fext-core) working with readlineSamuel Bronson2006-11-013-7/+16
* Major overhaul of the Simplifiersimonpj@microsoft.com2006-11-011-1/+6
* an expression with a TickBox round it is not in HNF.andy@galois.com2006-10-251-0/+4
* Haskell Program Coverageandy@galois.com2006-10-244-0/+75
* Fix a bug in Lint (which wrongly complained when compiling Data.Sequence with...simonpj@microsoft.com2006-10-181-4/+14
* Add assertion checks for mkCoVar/mkTyVarsimonpj@microsoft.com2006-10-131-1/+2
* Improve pretty-printing slightlysimonpj@microsoft.com2006-10-111-6/+5
* More import tidying and fixing the stage 2 buildSimon Marlow2006-10-111-3/+0
* Module header tidyup, phase 1Simon Marlow2006-10-1112-219/+170
* Comments and an import-trimsimonpj@microsoft.com2006-10-061-1/+1
* Correct the float-coercions-out-of-let patchsimonpj@microsoft.com2006-10-051-3/+0
* Comments and layoutsimonpj@microsoft.com2006-10-051-7/+8
* Remove unused OccInfo (simplification)simonpj@microsoft.com2006-10-051-9/+3
* Take 2 on the recursive-rule fixsimonpj@microsoft.com2006-10-051-1/+1
* Second bite at the rules-only ideasimonpj@microsoft.com2006-10-041-5/+5
* Remove Linear Implicit Parameters, and all their workssimonpj@microsoft.com2006-09-293-16/+8
* Improve pretty-printing of Coresimonpj@microsoft.com2006-09-291-5/+3
* Another correction to the (subtle) exprIsConApp_maybesimonpj@microsoft.com2006-09-291-7/+14
* Fix exprIsConApp_maybe (wasn't dealing properly with the EqSpec of the DataCon)simonpj@microsoft.com2006-09-271-74/+52
* Trim imports, and remove some dead codesimonpj@microsoft.com2006-09-231-2/+2
* Indexed newtypesManuel M T Chakravarty2006-09-201-1/+1
* Small refactoringManuel M T Chakravarty2006-09-201-11/+9
* Missing imports in CoreUtilsManuel M T Chakravarty2006-09-201-1/+3
* Include the existential dictionaries in dataConOrigInstPatManuel M T Chakravarty2006-09-201-15/+15
* Flip direction of newtype coercions, fix some commentsManuel M T Chakravarty2006-09-201-12/+12
* Chagne newtype wrapper into workerManuel M T Chakravarty2006-09-201-3/+1
* make dataConInstPat take a list of FastStrings rather than OccNames, remove o...Manuel M T Chakravarty2006-09-201-43/+28
* Fix problem with selectors for GADT records with unboxed fieldsManuel M T Chakravarty2006-09-201-11/+17
View Lorry Controller Status