projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Warn of missing ATs and complain about bad ATs
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
2006-09-20 Manuel M T ChakravartyRemove mi_package from moved pprModIface
 ...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>
 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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T Chakravartycomment for getLocalDeclBinders
 ...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
 ...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
 ...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyRemove checkTopTypeD
 ...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
 ...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
 ...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
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyDeriving Eq for OverlapFlag again
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T Chakravartyfix out-of-scope variable
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartyGADT pattern matching fix
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-18 Manuel M T ChakravartySimplify mkDataCon slightly
 ...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
 ...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...
...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...
...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...
...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...
...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...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyAdded error checks & fixed bugs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyFix class construction
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-15 Manuel M T ChakravartyRenaming of indexed types
 ...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)