projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make some profiling flags dynamic
[ghc-hetmet.git] / compiler / typecheck /
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch) tree | commitdiff
2008-08-14 dias@eecs.harvard.eduMerging in the new codegen branch tree | commitdiff
2008-11-25 simonpj@microsoft.comFix Trac #2799: TcType.isOverloadedTy tree | commitdiff
2008-11-08 Ian LynaghRemove some dead code now that __GLASGOW_HASKELL__... tree | commitdiff
2008-11-07 Clemens FruhwirthReplace couple of fromJust with expectJust tree | commitdiff
2008-10-31 Thomas SchillingRemove dead code. tree | commitdiff
2008-11-03 simonpj@microsoft.comFix desugaring of record update (fixes Trac #2735) tree | commitdiff
2008-10-31 Thomas SchillingQuickfix for warning. tree | commitdiff
2008-10-30 simonpj@microsoft.comImprove error reporting for non-rigid GADT matches tree | commitdiff
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature tree | commitdiff
2008-10-29 simonpj@microsoft.comFix tcrun031: yet more tidying up in TcDeriv tree | commitdiff
2008-10-28 simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials tree | commitdiff
2008-10-28 simonpj@microsoft.comFix Trac #2723: keep track of record field names in... tree | commitdiff
2008-10-28 simonpj@microsoft.comRemove dead code tree | commitdiff
2008-10-27 simonpj@microsoft.comFix Trac #2713: refactor and tidy up renaming of fixity... tree | commitdiff
2008-10-25 simonpj@microsoft.comFix Trac #2701: make deriving check better for unlifted... tree | commitdiff
2008-10-22 simonpj@microsoft.comFix Trac #2714 (a minor wibble) tree | commitdiff
2008-10-21 Manuel M T ChakravartyReject programs with superclass equalities for now tree | commitdiff
2008-10-21 Ian LynaghFix doc syntax tree | commitdiff
2008-10-21 simonpj@microsoft.comComments and parens only tree | commitdiff
2008-10-21 simonpj@microsoft.comFix Trac #2668, and refactor TcDeriv tree | commitdiff
2008-10-19 simonpj@microsoft.comComments to explain strict overlap checking for type... tree | commitdiff
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs) tree | commitdiff
2008-09-20 simonpj@microsoft.comWibble to ungrammatical error message tree | commitdiff
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... tree | commitdiff
2008-10-21 Manuel M T ChakravartyFIX #2693 tree | commitdiff
2008-10-21 Manuel M T ChakravartyFIX #2688 tree | commitdiff
2008-10-15 simonpj@microsoft.comComments only tree | commitdiff
2008-10-09 Manuel M T ChakravartyFIX #2639 tree | commitdiff
2008-10-03 simonpj@microsoft.comFix warnings tree | commitdiff
2008-10-03 Ian LynaghUse a proper exception for IOEnvFailure, not just a... tree | commitdiff
2008-10-03 Ian LynaghUse an extensible-exceptions package when bootstrapping tree | commitdiff
2008-10-03 simonpj@microsoft.comExpunge ThFake, cure Trac #2632 tree | commitdiff
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule tree | commitdiff
2008-10-02 Manuel M T ChakravartyClean up some comments tree | commitdiff
2008-10-02 simonpj@microsoft.comComments only tree | commitdiff
2008-10-01 Manuel M T ChakravartyProper error message for unsupported pattern signatures tree | commitdiff
2008-10-01 Manuel M T ChakravartyTFs: Fixed InstContextNorm (and simplification of IPs) tree | commitdiff
2008-10-01 Manuel M T ChakravartyTcSimplify.reduceImplication: clean up tree | commitdiff
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables tree | commitdiff
2008-09-30 Manuel M T ChakravartyType families: need to instantiate flexible skolems... tree | commitdiff
2008-09-29 Manuel M T ChakravartyFix warnings tree | commitdiff
2008-09-29 Manuel M T ChakravartyType families: consider subst rules both way tree | commitdiff
2008-09-26 pepeDon't capture error calls in tryUser tree | commitdiff
2008-09-25 Manuel M T ChakravartyType families: fixes in flattening & finalisation tree | commitdiff
2008-09-25 Manuel M T ChakravartyType families: fix decomposition problem tree | commitdiff
2008-09-20 simonpj@microsoft.comFix Trac #2597 (first bug): correct type checking for... tree | commitdiff
2008-09-18 simonpj@microsoft.comFix Trac #1470: improve handling of recursive instances... tree | commitdiff
2008-09-17 simonpj@microsoft.comImprove error reporting for 'deriving' (Trac #2604) tree | commitdiff
2008-09-18 Manuel M T ChakravartyType families: fixes in the new solver tree | commitdiff
2008-09-17 Manuel M T ChakravartyType families: unify with family apps in checking mode tree | commitdiff
2008-09-16 Manuel M T ChakravartyType families: bug fixes tree | commitdiff
2008-09-16 Manuel M T ChakravartyKeep sysnonyms folded in equalities if possible tree | commitdiff
2008-09-16 Manuel M T ChakravartyType families: apply flattening coercions in the right... tree | commitdiff
2008-09-15 Manuel M T ChakravartyTcTyFuns: tidy warning tree | commitdiff
2008-09-15 Manuel M T ChakravartySignature for Inst.isValidWantedEqInst tree | commitdiff
2008-09-14 Manuel M T ChakravartyRemember if RewriteInst is swapped & bug fixes tree | commitdiff
2008-09-14 Manuel M T ChakravartyType families: fixed all non-termination in the testsuite tree | commitdiff
2008-09-13 Manuel M T ChakravartyType families: completed the new equality solver tree | commitdiff
2008-09-14 Thomas SchillingMake typechecker top-level functions also return messag... tree | commitdiff
2008-09-10 simonpj@microsoft.comCheck the *right* set of type variables for escape! tree | commitdiff
2008-09-10 simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac... tree | commitdiff
2008-09-10 simonpj@microsoft.comFix Trac #2573; and explanatory comment tree | commitdiff
2008-09-10 simonpj@microsoft.comFix the zonking of HsWrappers tree | commitdiff
2008-09-10 simonpj@microsoft.comAdd newDictOcc, newDictOccs tree | commitdiff
2008-09-10 simonpj@microsoft.comSimplify the type signature for tcPolyBinds tree | commitdiff
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities tree | commitdiff
2008-09-05 simonpj@microsoft.comFix up the instance-declaration re-engineering story tree | commitdiff
2008-09-05 simonpj@microsoft.comComments only tree | commitdiff
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... tree | commitdiff
2008-08-28 simonpj@microsoft.comFix Trac #2529: derived read for prefix constructor... tree | commitdiff
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures tree | commitdiff
2008-08-27 simonpj@microsoft.comFix Trac #2538: better error messages when validating... tree | commitdiff
2008-08-26 simonpj@microsoft.comFix flaggery for RULES (cf Trac #2497) tree | commitdiff
2008-08-21 simonpj@microsoft.comFix Haddock comments in TcGenDeriv tree | commitdiff
2008-08-20 simonpj@microsoft.comFix Trac #2456: eliminate duplicate bindings when deriving tree | commitdiff
2008-08-12 simonpj@microsoft.comRefactoring: define TcRnMonad.failWith and use it in... tree | commitdiff
2008-08-11 simonpj@microsoft.comMostly fix Trac #2431: make empty case acceptable to... tree | commitdiff
2008-08-11 simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion tree | commitdiff
2008-08-11 simonpj@microsoft.comFix Trac #2494: tcSimplifyRuleLhs tree | commitdiff
2008-08-11 simonpj@microsoft.comMake comparison on equalities work right (ie look at... tree | commitdiff
2008-07-31 Max BolingbrokeUse DynFlags.getMainFun in TcRnDriver tree | commitdiff
2008-07-31 Max BolingbrokeMinor refactorings in TcEnv tree | commitdiff
2008-07-31 Max BolingbrokeFollow Digraph changes in TcTyDecls tree | commitdiff
2008-07-31 Max BolingbrokeMake IOEnv a MonadUnique tree | commitdiff
2008-07-31 Max BolingbrokeFollow TcEnv API addition in TcForeign tree | commitdiff
2008-07-31 Max BolingbrokeFollow Digraph changes in TcBinds tree | commitdiff
2008-07-31 Max BolingbrokeFollow OccName and MkCore changes in Inst tree | commitdiff
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id... tree | commitdiff
2008-08-05 simonpj@microsoft.comFix Trac #2449 tree | commitdiff
2008-08-04 simonpj@microsoft.comFix the bug part of Trac #1930 tree | commitdiff
2008-08-04 simonpj@microsoft.comFix Trac #2433 (deriving Typeable) tree | commitdiff
2008-08-01 simonpj@microsoft.comFix Trac #2478 tree | commitdiff
2008-07-31 Max BolingbrokeRename maybeTyConSingleCon to tyConSingleDataCon_maybe tree | commitdiff
2008-07-31 Ian LynaghFix the catching of "IOEnv failure" with extensible... tree | commitdiff
2008-07-31 Ian LynaghFollow changes in the base library tree | commitdiff
2008-07-30 Ian LynaghFollow extensible exception changes tree | commitdiff
2008-07-21 Ian LynaghFixes for haddock 0.8 tree | commitdiff
2008-07-20 Thomas SchillingFix Haddock errors. tree | commitdiff
2008-07-20 Ian LynaghAdd a WARNING pragma tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)