projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Overlap check for family instances def'd in current module
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current...
commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRemoved unused unwrapFamInstBody from MkId
 commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRough matches for family instances
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyFix Linker import when BREAKPOINT is off
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyExtend IfaceSyn.eqIfTc to cover type kind variants...
commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge)
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartySome more ASSERTs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartySPJ's fix to resolve conflict in instFun
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdjust code from manual merges
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdapt TcFix imports
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyImport/export of data constructors in family instances
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyUse smart lookup for tycons
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix category of representation tycon
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyOption -findexed-types
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyClean up and refactor in SimplUtils.mkCase1 (identity...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyATs are now implicitTyThings
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFixed two bugs concerning fanilies
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyIndexed newtypes
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype family...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBetter error message for indexes that must be variables
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyKind sig for toplevel family decls is optional
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFixed two data family bugs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix TcSplice after some type family related changes
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAnother comment
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdd missing co_vars to tcIfaceDataAlt
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments only
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartySmall refactoring
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyTAG HEAD merge 6 Aug 06 completed
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMissing change re additional info in TcTyThing
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComplete OccName->FS change in TcIface
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMissing imports in CoreUtils
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemoved spurious + due to manual patching
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMakefile comment
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix newtype deriving bug
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRefactoring in TcGadt
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMinor tidying up
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixing record selectors
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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)
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBetter pretty printing for CoPat
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments only
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixed bug in product unboxing
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComment
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix out-of-scope vars
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartybugs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype deriving still not working
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravarty..and a bit more
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMore on newtype deriving
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)