git.megacz.com Git - ghc-hetmet.git/search

2008-05-04	Tim Chevalier	Improve External Core newtype syntax	commit \| commitdiff \| tree
2008-05-04	Tim Chevalier	Improve syntax for primitive coercions in External...	commit \| commitdiff \| tree
2008-05-03	Tim Chevalier	Fix External Core interpreter	commit \| commitdiff \| tree
2008-04-22	Tim Chevalier	Improve External Core syntax for newtypes	commit \| commitdiff \| tree
2008-04-22	Tim Chevalier	Update External Core docs	commit \| commitdiff \| tree
2008-04-22	Tim Chevalier	External Core typechecker - improve handling of coercions	commit \| commitdiff \| tree
2008-04-22	Tim Chevalier	Naming changes in External Core	commit \| commitdiff \| tree
2008-04-16	Tim Chevalier	Improve External Core syntax	commit \| commitdiff \| tree
2008-04-14	Tim Chevalier	Revive External Core typechecker	commit \| commitdiff \| tree
2008-04-14	Tim Chevalier	Eta-expand newtype coercions in External Core	commit \| commitdiff \| tree
2008-04-14	Tim Chevalier	Extra info in genprimopcode --make-ext-core-source	commit \| commitdiff \| tree
2008-04-11	Tim Chevalier	Update .darcs-boring with utils/ext-core stuff	commit \| commitdiff \| tree
2008-04-10	Tim Chevalier	Extend genprimopcode to print primop types for ext...	commit \| commitdiff \| tree
2008-04-10	Tim Chevalier	Another round of External Core fixes	commit \| commitdiff \| tree
2008-04-06	Tim Chevalier	Improve error message for malformed LANGUAGE pragma	commit \| commitdiff \| tree
2008-04-06	Tim Chevalier	Improve error message for non-matching file name	commit \| commitdiff \| tree
2008-03-29	Tim Chevalier	Revive External Core parser	commit \| commitdiff \| tree
2008-03-29	Tim Chevalier	Fix big character literal printing in External Core	commit \| commitdiff \| tree
2008-03-29	Tim Chevalier	External Core: don't print superfluous parens in case...	commit \| commitdiff \| tree
2008-03-28	Tim Chevalier	External Core: print function types correctly, improve...	commit \| commitdiff \| tree
2008-03-28	Tim Chevalier	Print out rational literals correctly in External Core	commit \| commitdiff \| tree
2008-03-27	Tim Chevalier	Change syntax for qualified names in External Core	commit \| commitdiff \| tree
2008-03-25	Tim Chevalier	Change syntax for newtypes in External Core	commit \| commitdiff \| tree
2008-03-24	Tim Chevalier	Fix primMname in External Core printer	commit \| commitdiff \| tree
2008-03-24	Tim Chevalier	Fix primMname in External Core printer	commit \| commitdiff \| tree
2008-03-20	Tim Chevalier	Handle hierarchical module names in External Core tools	commit \| commitdiff \| tree
2008-03-19	Tim Chevalier	Improve hierarchical module name handling in MkExternalCore	commit \| commitdiff \| tree
2008-03-19	Tim Chevalier	Fixed remaining warning in coreSyn/MkExternalCore	commit \| commitdiff \| tree
2008-03-10	Tim Chevalier	First cut at reviving the External Core tools	commit \| commitdiff \| tree
2008-02-17	Tim Chevalier	Print better error message for reading External Core	commit \| commitdiff \| tree
2008-02-17	Tim Chevalier	Documentation only: update External Core section of...	commit \| commitdiff \| tree
2007-12-25	Tim Chevalier	Extend API for compiling to and from Core	commit \| commitdiff \| tree
2007-11-15	Tim Chevalier	Documentation only - fix typo in flags reference	commit \| commitdiff \| tree
2007-10-27	Tim Chevalier	Make compileToCore return the module name and type...	commit \| commitdiff \| tree
2007-06-29	Tim Chevalier	Further compileToCore improvements	commit \| commitdiff \| tree
2007-06-27	Tim Chevalier	Modify compileToCore to take just a filename	commit \| commitdiff \| tree
2007-06-25	Tim Chevalier	Add a compileToCore function to the GHC API	commit \| commitdiff \| tree
2007-05-01	Tim Chevalier	Remove references to -fticky-ticky flag	commit \| commitdiff \| tree
2007-05-02	Tim Chevalier	Fix grammar error in docs (as per Trac 1319)	commit \| commitdiff \| tree
2007-04-26	Tim Chevalier	Avoid segfault when ticky file argument is stderr	commit \| commitdiff \| tree

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom