summaryrefslogtreecommitdiff
path: root/Type.hs
AgeCommit message (Expand)Author
2015-09-15add Case expression to core; begin to implement new reducerPéter Diviánszky
2015-09-02fix scope errorPéter Diviánszky
2015-09-02add pattern match compilation; TODO: fix GADT pattern match typingPéter Diviánszky
2015-08-31unify Exp and ExpR (TODO: cleanup)Péter Diviánszky
2015-08-31comments mainlyPéter Diviánszky
2015-06-14add more cases to is shader type functionCsaba Hruska
2015-06-14don't reduce Float-let in shadersPéter Diviánszky
2015-06-14fix reduction in Graphics.lcPéter Diviánszky
2015-06-13add reducing for primCompareIntCsaba Hruska
2015-06-13add PrimSubS for IntPéter Diviánszky
2015-06-13fix shadowmappingPéter Diviánszky
2015-06-13fix shadowmapping test casePéter Diviánszky
2015-06-12refactoringPéter Diviánszky
2015-06-12refactoringPéter Diviánszky
2015-06-12begin to switch to rigidity annotationsPéter Diviánszky
2015-06-12simplification: use 'fix' for recursive functions -- TODO: typeclass example ...Péter Diviánszky
2015-06-12refactoring endPéter Diviánszky
2015-06-12refactoring startPéter Diviánszky
2015-06-12simplify EAltsPéter Diviánszky
2015-06-10more primitive reductionsPéter Diviánszky
2015-06-10reduction for PrimDivSCsaba Hruska
2015-06-10temporary workaround for orderEnv bugPéter Diviánszky
2015-06-04start work on in language geometry input supportCsaba Hruska
2015-06-02tweak reduction orderPéter Diviánszky
2015-06-02allow name shadowing; bugfixPéter Diviánszky
2015-06-02refactoringPéter Diviánszky
2015-06-01refactoringPéter Diviánszky
2015-06-01remove hackPéter Diviánszky
2015-06-01refactoringPéter Diviánszky
2015-06-01refactoringPéter Diviánszky
2015-05-31remove hackPéter Diviánszky
2015-05-31Implement fromToDaniel Pek
2015-05-31reduction for PrimGreaterThanCsaba Hruska
2015-05-31boolExpression works in list comprehensions, added testDaniel Pek
2015-05-31implement reduction for PrimIfThenElseCsaba Hruska
2015-05-31Let declaration is introduced in list comprehensionDaniel Pek
2015-05-31Add tests for list comprehensiona and concatMapDaniel Pek
2015-05-31support samplers in GLSL codegenCsaba Hruska
2015-05-31eliminate thunkEnvPéter Diviánszky
2015-05-30resetted fresh type vars for each modulePéter Diviánszky
2015-05-30bugfixPéter Diviánszky
2015-05-30change uniform and vertex attribute definition syntaxCsaba Hruska
2015-05-29implement export lists (first version)Péter Diviánszky
2015-05-29implement NoImplicitPrelude language pragmaPéter Diviánszky
2015-05-25fix bugPéter Diviánszky
2015-05-25adjust swizzling examplePéter Diviánszky
2015-05-25tweak swizzlingPéter Diviánszky
2015-05-25fix alternative type applicationCsaba Hruska
2015-05-24stricter ambiguity check fixes a bugPéter Diviánszky
2015-05-24implement GADT record fieldsPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:31:05 +0000