summaryrefslogtreecommitdiff
path: root/Driver.hs
AgeCommit message (Expand)Author
2015-12-19switch to new compilerPéter Diviánszky
2015-12-17complete let polymorphism; fail on ambiguous types; bugfixesPéter Diviánszky
2015-11-21refactoringPéter Diviánszky
2015-06-13fix shadowmapping test casePéter Diviánszky
2015-06-12begin to switch to rigidity annotationsPéter Diviánszky
2015-06-10temporary workaround for orderEnv bugPéter Diviánszky
2015-06-06add demo test casesPéter Diviánszky
2015-06-02allow name shadowing; bugfixPéter Diviánszky
2015-06-02refactoringPéter Diviánszky
2015-05-31fix getTypePéter Diviánszky
2015-05-31fix cyclic imports error message in case of another errorPéter Diviánszky
2015-05-31eliminate thunkEnvPéter Diviánszky
2015-05-30resetted fresh type vars for each modulePéter Diviánszky
2015-05-30catch more errorsPéter Diviánszky
2015-05-30catch more exceptionsPéter Diviánszky
2015-05-29implement export lists (first version)Péter Diviánszky
2015-05-29throw error on cyclic importsPéter Diviánszky
2015-05-24refactoring: eliminate InstTypePéter Diviánszky
2015-05-24better type class implementation with records; sevral improvementsPéter Diviánszky
2015-05-23work on type classesPéter Diviánszky
2015-05-20type of main should be OutputPéter Diviánszky
2015-05-19bugfixPéter Diviánszky
2015-05-19infos during type errorsPéter Diviánszky
2015-05-19simplified error reporting for editorPéter Diviánszky
2015-05-19allow compilation without IOPéter Diviánszky
2015-05-18produce type infosPéter Diviánszky
2015-05-18support glsl codegen for multiple backendCsaba Hruska
2015-05-18classes and type constructors are in the same namespacePéter Diviánszky
2015-05-18simplificationPéter Diviánszky
2015-05-18reduction of types (not used yet)Péter Diviánszky
2015-05-18bigger refactoring & bugfixPéter Diviánszky
2015-05-18refactoringPéter Diviánszky
2015-05-18export ExpN in DriverPéter Diviánszky
2015-05-18finish refactoring; all tests but Graphics pass (same as before refactoring)Péter Diviánszky
2015-05-18type checker works againPéter Diviánszky
2015-05-18bugfixesPéter Diviánszky
2015-05-18more bugfix & improvementsPéter Diviánszky
2015-05-18huge refactoring of type checking (work in progress)Péter Diviánszky
2015-05-18switch to parsecCsaba Hruska
2015-05-18better module cachePéter Diviánszky
2015-05-18cache Prelude loadingPéter Diviánszky
2015-05-18definitions are not mutual by default; convert some Prelude axioms into data ...Péter Diviánszky
2015-05-18eliminate primFunMapPéter Diviánszky
2015-05-18add PreludePéter Diviánszky
2015-05-18fix type calculationPéter Diviánszky
2015-05-18improve test env: reduce if main is not 'Output'Péter Diviánszky
2015-05-18more correct handling of typingsPéter Diviánszky
2015-05-18reimplement pattern compilationPéter Diviánszky
2015-05-18fix typing & improve checkPéter Diviánszky
2015-05-18refactorCsaba Hruska
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 23:07:50 +0000