projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow type families to use GADT syntax (and be GADTs)
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs)
 commit | commitdiff | tree
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs
 commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comWibble to ungrammatical error message
 commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equality...
commit | commitdiff | tree
2008-10-15 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-10-15 simonpj@microsoft.comFix Trac #2497; two separate typos in Lexer.x
 commit | commitdiff | tree
2008-10-15 simonpj@microsoft.comUpdate manual: tidy up instances, say more about type...
commit | commitdiff | tree
2008-10-03 simonpj@microsoft.comFix warnings
 commit | commitdiff | tree
2008-10-03 simonpj@microsoft.comExpunge ThFake, cure Trac #2632
 commit | commitdiff | tree
2008-10-03 simonpj@microsoft.comMake a debug check more refined
 commit | commitdiff | tree
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule
 commit | commitdiff | tree
2008-10-02 simonpj@microsoft.comMake the new binder-swap stuff in OccurAnal work right...
commit | commitdiff | tree
2008-10-02 simonpj@microsoft.comMinor refactoring only
 commit | commitdiff | tree
2008-10-02 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-10-02 simonpj@microsoft.comZap dead-ness info appropriately in SpecConstr
 commit | commitdiff | tree
2008-10-02 simonpj@microsoft.comSuppress invalid Core Lint complaint about lack of...
commit | commitdiff | tree
2008-09-26 pepeClean up a bit and improve an error message
 commit | commitdiff | tree
2008-09-26 pepeDon't capture error calls in tryUser
 commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comFix Trac #2597 (first bug): correct type checking for...
commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comFix Trac #2597 (second bug): complain about an empty...
commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comTidy up the treatment of dead binders
 commit | commitdiff | tree
2008-09-19 simonpj@microsoft.comImprove documentation of overlapping instances
 commit | commitdiff | tree
2008-09-18 pepeFix a couple of issues with :print
 commit | commitdiff | tree
2008-09-18 simonpj@microsoft.comFix Trac #1470: improve handling of recursive instances...
commit | commitdiff | tree
2008-09-18 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-09-18 simonpj@microsoft.comReplace ASSERT with WARN, and explain why
 commit | commitdiff | tree
2008-09-18 simonpj@microsoft.comAdd a missing "prime" (env' --> env'') thereby fixing...
commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comFix nasty infelicity: do not short-cut empty substitution...
commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comAvoid arity reduction when doing eta-reduce
 commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comAdd extra WARN test
 commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comRe-adjust interaction between -ddump flags and force...
commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comAdd Outputable GhcMode instance
 commit | commitdiff | tree
2008-09-17 simonpj@microsoft.comImprove error reporting for 'deriving' (Trac #2604)
 commit | commitdiff | tree
2008-09-16 simonpj@microsoft.comAdd link to GADT paper re rigid types
 commit | commitdiff | tree
2008-09-16 andygill@ku.eduFixing directory creation to not create "" directories...
commit | commitdiff | tree
2008-09-16 andygill@ku.eduFix Trac #2052 Allowing hpc to understand hsc files.
 commit | commitdiff | tree
2008-09-15 andygill@ku.eduFix Trac #2311: creates subdirs for package coverage...
commit | commitdiff | tree
2008-09-15 simonpj@microsoft.comImprove warning for SpecConstr
 commit | commitdiff | tree
2008-09-15 simonpj@microsoft.comWhite space only
 commit | commitdiff | tree
2008-09-15 simonpj@microsoft.comMinor refactoring to get rid of Type.splitNewTyConApp
 commit | commitdiff | tree
2008-09-15 simonpj@microsoft.comRefactor the desugaring of RULE lhss a bit
 commit | commitdiff | tree
2008-09-15 simonpj@microsoft.comDo not use the Static Arg Transformation by default...
commit | commitdiff | tree
2008-09-14 simonpj@microsoft.comComments, and a couple of asserts, only
 commit | commitdiff | tree
2008-09-14 simonpj@microsoft.comFix Trac #2587: take account of type lets
 commit | commitdiff | tree
2008-09-14 simonpj@microsoft.comDon't try to float type-lets
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comRemove dataConInstOrigDictsAndArgTys
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comFix debug message formatting on Windows
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comCheck the *right* set of type variables for escape!
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac...
commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comFix Trac #2581: inlining of record selectors
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comFix Trac #2573; and explanatory comment
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comFix the zonking of HsWrappers
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comAdd newDictOcc, newDictOccs
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comLayout and type synonyms only
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comRobustify the setting of implied flags
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comRename a variable
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-09-10 simonpj@microsoft.comSimplify the type signature for tcPolyBinds
 commit | commitdiff | tree
2008-09-09 simonpj@microsoft.comTell GHC which module nON_EXHAUSTIVE_GUARDS_ERROR_ID...
commit | commitdiff | tree
2008-09-09 simonpj@microsoft.comImprove float-in somewhat
 commit | commitdiff | tree
2008-09-09 simonpj@microsoft.comImportant performance wibble to callSiteInline (the...
commit | commitdiff | tree
2008-08-19 berthold@mathematik... Capability stopping when waiting for GC
 commit | commitdiff | tree
2008-09-02 berthold@mathematik... Scheduler code cleanup
 commit | commitdiff | tree
2008-08-22 daniel@phasevelocity.orgAdd extern flag to avoid multiple symbol errors on...
commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comFix up the instance-declaration re-engineering story
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comMinor refactoring to share InstEnv.instanceBindFun
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comRemove unused constructors AvoidMe, WildCard
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comMore specialiser wibbles
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comRetain unfoldings even with SimplGently
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comBetter debug panic messages in applyTys
 commit | commitdiff | tree
2008-09-05 simonpj@microsoft.comMake ASSERT2 mention msg even when debug is off (avoid...
commit | commitdiff | tree
2008-09-04 dias@eecs.harvard.eduadd assertion to check that UniqFM is only passed ...
commit | commitdiff | tree
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations...
commit | commitdiff | tree
2008-09-03 simonpj@microsoft.comImproved specialisation of recursive groups
 commit | commitdiff | tree
2008-09-02 simonpj@microsoft.comCope with recent versions of Perl that lack the $*...
commit | commitdiff | tree
2008-08-28 kili@outback.escape.deFix linkage on OpenBSD.
 commit | commitdiff | tree
2008-08-28 simonpj@microsoft.comImprove documentation of stolen syntax
 commit | commitdiff | tree
2008-08-28 simonpj@microsoft.comFix Trac #2529: derived read for prefix constructor...
commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures
 commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comFix Trac #2538: better error messages when validating...
commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comFix Trac #2520: duplicate symbols
 commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comOnly specialise on dictionaries that have some interesting...
commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comBetter documentation for -XLiberalTypeSynonyms, and...
commit | commitdiff | tree
2008-08-27 simonpj@microsoft.comImprove documentation of MagicHash and primitive types...
commit | commitdiff | tree
2008-08-26 simonpj@microsoft.comFix flaggery for RULES (cf Trac #2497)
 commit | commitdiff | tree
2008-08-22 simonpj@microsoft.comFix a nasty float-in bug
 commit | commitdiff | tree
2008-08-21 simonpj@microsoft.comMake rule printing wobble less
 commit | commitdiff | tree
2008-08-21 simonpj@microsoft.comImprove error message when 'forall' is not a keyword
 commit | commitdiff | tree
2008-08-21 simonpj@microsoft.comFix Haddock comments in TcGenDeriv
 commit | commitdiff | tree
2008-08-20 simonpj@microsoft.comFix Trac #2456: eliminate duplicate bindings when deriving
 commit | commitdiff | tree
2008-08-20 simonpj@microsoft.comElaborate for-all message slightly
 commit | commitdiff | tree
2008-08-19 simonpj@microsoft.comFix Trac #2518: add hs-boot files as an infelicty
 commit | commitdiff | tree
2008-08-14 simonpj@microsoft.comImprove -fwarn-orphans documentation (thanks to Tim)
 commit | commitdiff | tree
2008-08-13 dias@eecs.harvard.eduadd special globbing file for Windows to ghc-pkg.cabal
 commit | commitdiff | tree
2008-08-13 simonpj@microsoft.comImprove error message for deprecated flags (Trac #2513)
 commit | commitdiff | tree
2008-08-13 simonpj@microsoft.comImprove docs for orphan decls (thanks Yitzchak Gale)
 commit | commitdiff | tree
2008-08-12 simonpj@microsoft.comSuppress uniques when (and only when) we have -dsuppress...
commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)