projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Include the existential dictionaries in dataConOrigInstPat
2006-09-20 Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat
Mon Sep 18 17:22:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:59:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments about datacon worker and wrappers
Mon Sep 18 17:21:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:57:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of...
Mon Sep 18 17:20:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:57:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
Mon Sep 18 17:19:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:56:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker
Mon Sep 18 17:17:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:55:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyClean up unused imports, definitions and arguments
Mon Sep 18 17:17:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:54:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix assertion and default case for GADT record selectors
Mon Sep 18 17:16:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:53:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartymake dataConInstPat take a list of FastStrings rather...
Mon Sep 18 17:15:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:52:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyJust clean-up, no functional changes
Mon Sep 18 17:14:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:49:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyGet rid of special case for Vanilla tycon record selectors...
Mon Sep 18 17:13:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:48:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxed...
Mon Sep 18 17:13:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:47:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments
Mon Sep 18 17:11:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:32:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRefactoring in TcGadt
Mon Sep 18 17:11:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:32:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdd some invariant checking for refinements
Mon Sep 18 17:09:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:30:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMinor tidying up
Mon Sep 18 17:08:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
Mon Sep 18 17:07:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:28:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId
Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix bug in type checking interface DataAlts
Mon Sep 18 17:05:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:11:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs
Mon Sep 18 17:04:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:09:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix big-lambda eta expansion, add comments
Mon Sep 18 17:02:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:07:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix Lint for alts involving shadowing of type variables...
Mon Sep 18 17:02:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:06:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities
Mon Sep 18 16:58:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:00:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixing record selectors
Mon Sep 18 16:50:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:56:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyGADT selector bugfix, bits of cleanup
Mon Sep 18 16:48:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:43:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining)
Mon Sep 18 16:47:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:42:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyclean up Coercion kinding functions, rename coercionKindTyConApp
Mon Sep 18 16:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:37:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBetter pretty printing for CoPat
Mon Sep 18 16:45:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:25:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake data con wrappers for GADTs express the user type...
Mon Sep 18 16:44:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:24:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments only
Mon Sep 18 16:43:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:18:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables
Mon Sep 18 16:41:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:04:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend...
Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixed bug in product unboxing
Mon Sep 18 14:48:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:46:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfinished product unboxing through newtypes and proper...
Mon Sep 18 14:48:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:45:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComment
Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
Mon Sep 18 14:44:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:42:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix out-of-scope vars
Mon Sep 18 14:44:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:41:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartybugs
Mon Sep 18 14:34:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:36:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now
Mon Sep 18 14:33:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:29:28 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype deriving still not working
Mon Sep 18 14:31:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:25:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype deriving dicts, compiling at least
Mon Sep 18 14:31:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:24:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)