projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
..and a bit more
2006-09-20 Manuel M T Chakravarty..and a bit more
Mon Sep 18 14:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:23:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMore on newtype deriving
Mon Sep 18 14:29:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:22:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
Mon Sep 18 14:27:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:21:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
Mon Sep 18 14:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:19:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Sep 15 18:56:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri Aug 4 18:20:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemove mi_package from moved pprModIface
Mon Aug 7 12:40:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 17:43:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-19 Manuel M T ChakravartyAdapt Simplify to conditional envs
 commit | commitdiff | tree
2006-09-19 Manuel M T ChakravartyAdapt TcRnDriver to moved tyThingToIfaceDecl
 commit | commitdiff | tree
2006-09-19 Manuel M T ChakravartyAdapt SimplUtils.getContArgs to conditional SubstEnv
 commit | commitdiff | tree
2006-09-19 Manuel M T ChakravartyAdapt new SpecConstr functionality to GADT datacons
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyType tags in import/export lists
Tue Sep 12 16:57:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T Chakravartycomment for getLocalDeclBinders
Sat Sep 9 20:46:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyCheck for repeated tyvars in AT family decls
Sat Aug 26 19:49:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyImprove pretty printing for indexed type decls
Wed Aug 16 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyUse family and instance keyword to identify indexed...
Tue Aug 15 20:16:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyRemove checkTopTypeD
Tue Aug 15 17:02:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons
Fri Aug 11 13:53:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyDon't lift ATs out of classes and instances before tc
Wed Aug 9 15:31:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyIndexed type defs are not declaring type names
Tue Aug 8 19:27:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyDeriving Eq for OverlapFlag again
Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T Chakravartyfix out-of-scope variable
Sun Aug 6 20:09:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyGADT pattern matching fix
Sun Aug 6 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartySimplify mkDataCon slightly
Sat Aug 5 21:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances
Sat Aug 5 21:16:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 15:21:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 15:11:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 18:13:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 18:13:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyMassive patch for the first months work adding System...
Fri Aug 4 15:59:09 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyAdded error checks & fixed bugs
Thu Aug 3 19:29:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyFix class construction
Wed Aug 2 13:34:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyRenaming of indexed types
Tue Aug 1 23:51:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyRenaming of kind signatures (rnTySig)
Tue Aug 1 16:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyRevised kind signatures
Tue Aug 1 14:10:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyCleanup (re type function parsing)
Mon Jul 31 17:20:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyParser support for assoc synonyms
Fri Jul 28 21:52:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyFix migrated AT support
Wed Jul 26 18:16:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch
Wed Jul 26 17:46:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyOccName->FS in tyThingToIfaceDecl that moved to MkIface
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyFix pattern w/o location in Check
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyOccName->FS change over for equalities in GADTs
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyComments only
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyGADT tweaks
 commit | commitdiff | tree
2006-08-07 Manuel M T ChakravartyConfigure changes to make testsuite work better on...
commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyRemove Control-M from Coercion.hs
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyAdd Coercion.lhs
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyAdding TcGadt.lhs
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyAdd a missing prime, to fix desugaring of CoPats
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyComments and tidy-up
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyFix a lint bug with coercions
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyGADT fixes
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyAdd CoPat stuff
 commit | commitdiff | tree
2006-08-06 Manuel M T ChakravartyResolve conflict in MkExternalCore
 commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
commit | commitdiff | tree
2006-08-02 Manuel M T ChakravartyAdd new field to TySynonym
 commit | commitdiff | tree
2006-08-02 Manuel M T ChakravartyMake 'iso' special in the parser
 commit | commitdiff | tree
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)