projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Proper error message for unsupported pattern signatures
[ghc-hetmet.git] / compiler / typecheck /
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
2008-07-15 Manuel M T ChakravartyFix for 1st half of #2203 Before_cabalised-GHC tree | commitdiff
2008-07-14 Manuel M T ChakravartyFix check of rhs of type family instances (#2157) tree | commitdiff
2008-07-13 Ian LynaghFix some build problems when GHCI is not definde tree | commitdiff
2008-07-12 Ian LynaghAdd PostfixOperators flag for (e op) postfix operators... tree | commitdiff
2008-07-09 Simon Marlowadd -fwarn-dodgy-foreign-imports (see #1357) tree | commitdiff
2008-07-08 Ian LynaghRemove all .hi-boot-6 files tree | commitdiff
2008-07-07 simonpj@microsoft.comFix Trac #2414: occurrs check was missed tree | commitdiff
2008-07-07 simonpj@microsoft.comWhite space only tree | commitdiff
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378 tree | commitdiff
2008-06-25 simonpj@microsoft.comFix Trac #2394: test for non-algebraic types in standal... tree | commitdiff
2008-06-23 Ian LynaghFix the build with GHC 6.4 tree | commitdiff
2008-06-16 Ian LynaghTweak a comment to talk about UnboxedTuples rather... tree | commitdiff
2008-06-16 Ian LynaghSuggest -XRelaxedPolyRec rather than -fglasgow-exts... tree | commitdiff
2008-06-16 Ian LynaghMore commandline flag improvements tree | commitdiff
2008-06-10 Ian LynaghFix warnings in TcPat tree | commitdiff
2008-06-10 Ian LynaghFix warnings in TcEnv tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcRnTypes tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcTyClsDecls tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcHsType tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcSimplify tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcRules tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcInstDcls tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcMType tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcForeign tree | commitdiff
2008-06-06 Ian LynaghFix warnings in TcClassDcl tree | commitdiff
2008-06-06 Ian LynaghFix a bug in eqPatType tree | commitdiff
2008-06-06 simonpj@microsoft.comFix Trac #2334: validity checking for type families tree | commitdiff
2008-06-05 simonpj@microsoft.comVital follow-up to fix of Trac #2045 tree | commitdiff
2008-06-05 simonpj@microsoft.comFix Trac #2045: use big-tuple machiney for implication... tree | commitdiff
2008-06-05 simonpj@microsoft.comComments only tree | commitdiff
2008-06-04 simonpj@microsoft.comFix Trac #2339: reify (mkName "X") tree | commitdiff
2008-06-04 simonpj@microsoft.comFix Trac #2310: result type signatures are not supporte... tree | commitdiff
2008-06-04 simonpj@microsoft.comSort modules and packages in debug print (reduce test... tree | commitdiff
2008-06-03 Simon Marlowadd debugDumpTcRn and use it for some debugging output tree | commitdiff
2008-06-02 simonpj@microsoft.comFix minor layout issue (whitespace only) tree | commitdiff
2008-05-30 Simon MarlowFix a bug to do with recursive modules in one-shot... 2008-06-01 tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)