projects / ghc-hetmet.git / search
| 2007-01-10 | Manuel M T Chakravarty | checkTauTvUpdate: take synonym families into account |
commit | commitdiff | tree |
| 2007-01-09 | Manuel M T Chakravarty | Handle synonym families in check_tau_type |
commit | commitdiff | tree |
| 2007-01-05 | Manuel M T Chakravarty | HsSyn clean up for indexed types |
commit | commitdiff | tree |
| 2007-01-04 | Manuel M T Chakravarty | Fix and improve deriving for indexed data types |
commit | commitdiff | tree |
| 2006-12-29 | Manuel M T Chakravarty | Make dicts for arbitrary type equalities |
commit | commitdiff | tree |
| 2006-12-29 | Manuel M T Chakravarty | EqPred pretty prints as ~ and equalities without brackets |
commit | commitdiff | tree |
| 2006-12-29 | Manuel M T Chakravarty | Construction of EqPred dictionaries |
commit | commitdiff | tree |
| 2006-12-29 | Manuel M T Chakravarty | data family declarations are fine without any type... |
commit | commitdiff | tree |
| 2006-12-28 | Manuel M T Chakravarty | Parse and desugar equational constraints |
commit | commitdiff | tree |
| 2006-12-21 | Manuel M T Chakravarty | Add hook to fam inst consistency check to GHCi/--make |
commit | commitdiff | tree |
| 2006-12-19 | Manuel M T Chakravarty | Deriving for indexed newtypes |
commit | commitdiff | tree |
| 2006-12-19 | Manuel M T Chakravarty | Fixed uninitialised FunBind fun_tick field |
commit | commitdiff | tree |
| 2006-12-18 | Manuel M T Chakravarty | Deriving for indexed data types |
commit | commitdiff | tree |
| 2006-12-07 | Manuel M T Chakravarty | Fix family instance consistency check for home package... |
commit | commitdiff | tree |
| 2006-12-06 | Manuel M T Chakravarty | Kind sigs in associated data/newtype family decls may... |
commit | commitdiff | tree |
| 2006-10-25 | Manuel M T Chakravarty | Add pointer to coding conventions to HACKING |
commit | commitdiff | tree |
| 2006-10-23 | Manuel M T Chakravarty | Clean up debugging code in RnNames |
commit | commitdiff | tree |
| 2006-10-22 | Manuel M T Chakravarty | Improve error messages for indexed types |
commit | commitdiff | tree |
| 2006-10-22 | Manuel M T Chakravarty | Fix handling of family instances in the presense of... |
commit | commitdiff | tree |
| 2006-10-21 | Manuel M T Chakravarty | Fix parent position in RnNames.nubAvails |
commit | commitdiff | tree |
| 2006-10-21 | Manuel M T Chakravarty | Fix export of associated families with new name parent... |
commit | commitdiff | tree |
| 2006-10-20 | Manuel M T Chakravarty | Fix processing of imports involving ATs with the new... |
commit | commitdiff | tree |
| 2006-10-19 | Manuel M T Chakravarty | Fix family instance bug due to the name parent elimination |
commit | commitdiff | tree |
| 2006-10-19 | Manuel M T Chakravarty | Fix show-iface for family instances & add debug ppr... |
commit | commitdiff | tree |
| 2006-10-18 | Manuel M T Chakravarty | Cross-module consistency check for family instances |
commit | commitdiff | tree |
| 2006-10-16 | Manuel M T Chakravarty | Stage 2 fix to "Keep track of family instance modules" |
commit | commitdiff | tree |
| 2006-10-13 | Manuel M T Chakravarty | Keep track of family instance modules |
commit | commitdiff | tree |
| 2006-10-12 | Manuel M T Chakravarty | Overlap check for family instances def'd in current... |
commit | commitdiff | tree |
| 2006-10-10 | Manuel M T Chakravarty | Removed unused unwrapFamInstBody from MkId |
commit | commitdiff | tree |
| 2006-10-10 | Manuel M T Chakravarty | Rough matches for family instances |
commit | commitdiff | tree |
| 2006-09-21 | Manuel M T Chakravarty | Fix Linker import when BREAKPOINT is off |
commit | commitdiff | tree |
| 2006-09-21 | Manuel M T Chakravarty | Extend IfaceSyn.eqIfTc to cover type kind variants... |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Correct substitution into theta types (after merge) |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix import list of TcTyClsDecls after merge |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Adding FamInstEnv & FamInst modules |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Adapt FC-code in TcUnify to pre-subsumption Wed Sep 20 04:01:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Some more ASSERTs Wed Sep 20 02:52:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | SPJ's fix to resolve conflict in instFun Wed Sep 20 02:27:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Adjust code from manual merges Tue Sep 19 14:12:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Adapt TcFix imports Tue Sep 19 14:11:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Basic set up for global family instance environment Mon Sep 18 19:52:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 15 15:20:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Import/export of data constructors in family instances Mon Sep 18 19:50:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 12 13:54:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Use smart lookup for tycons Mon Sep 18 19:49:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 12 12:55:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix type checking of imported data instances Mon Sep 18 19:48:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 20:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix category of representation tycon Mon Sep 18 19:48:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 16:18:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Option -findexed-types Mon Sep 18 19:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 21:35:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Get of fam inst index in ifaces Mon Sep 18 19:40:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 16:31:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Clean up and refactor in SimplUtils.mkCase1 (identity... Mon Sep 18 19:40:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | ATs are now implicitTyThings Mon Sep 18 19:36:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 5 21:09:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Straightened out implicit coercions for indexed types Mon Sep 18 19:35:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 4 23:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fixed two bugs concerning fanilies Mon Sep 18 19:34:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 4 20:59:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Indexed newtypes Mon Sep 18 19:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 31 22:09:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Check category of type instances and some newtype family... Mon Sep 18 19:23:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 31 16:54:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Better error message for indexes that must be variables Mon Sep 18 19:19:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 30 20:21:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Checking conformance of AT indexes with instance heads Mon Sep 18 19:18:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 30 20:13:52 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Warn of missing ATs and complain about bad ATs Mon Sep 18 19:17:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 28 22:26:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Check that AT instance is in a class Mon Sep 18 19:16:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 26 21:49:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Kind sig for toplevel family decls is optional Mon Sep 18 19:13:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 26 19:03:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fixed bug in coercion for indexed data types Mon Sep 18 19:12:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 25 16:45:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Pattern matching of indexed data types Mon Sep 18 19:11:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 24 14:17:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Introduce coercions for data instance decls Mon Sep 18 19:07:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 22 20:33:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fixed two data family bugs Mon Sep 18 19:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 21 15:16:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix the tyvars used for data con signatures Mon Sep 18 19:06:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 19 17:19:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... Mon Sep 18 19:05:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 18 19:11:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix TcSplice after some type family related changes Mon Sep 18 19:04:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 19:51:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Make sure ATs are included into the temporary env for... Mon Sep 18 19:03:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 17:52:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Extend Class.Class to include the TyCons of ATs Mon Sep 18 18:58:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 16:15:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix kind lookup in kcIdxTyPats Mon Sep 18 18:58:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 15 21:02:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations Mon Sep 18 18:50:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 15 16:52:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Kind and type checking of indexed types Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 11 16:09:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Another comment Mon Sep 18 17:45:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Add missing co_vars to tcIfaceDataAlt Mon Sep 18 17:44:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Comments only Mon Sep 18 17:43:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Small refactoring Mon Sep 18 17:41:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | TAG HEAD merge 6 Aug 06 completed |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Missing change re additional info in TcTyThing Mon Sep 18 17:28:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 14:22:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Complete OccName->FS change in TcIface Mon Sep 18 17:27:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 13:03:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Missing imports in CoreUtils Mon Sep 18 17:27:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 11:15:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Removed spurious + due to manual patching Mon Sep 18 17:25:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 11:07:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Makefile comment Mon Sep 18 17:23:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 21:03:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Fix newtype deriving bug Mon Sep 18 17:22:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 21:02:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
| 2006-09-20 | Manuel M T Chakravarty | Include 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 Chakravarty | Comments 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 Chakravarty | Make 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 Chakravarty | Flip 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 Chakravarty | Chagne 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 Chakravarty | Clean 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 Chakravarty | Fix 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 Chakravarty | make 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 Chakravarty | Just 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 Chakravarty | Get 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 Chakravarty | Fix 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 Chakravarty | Make 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 Chakravarty | Refactoring 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 Chakravarty | Add 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 Chakravarty | Minor 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 Chakravarty | Fix 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 Chakravarty | Remove 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 Chakravarty | Fix 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 Chakravarty | fix 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 |
| next | |||