summaryrefslogtreecommitdiff
path: root/prototypes
AgeCommit message (Expand)Author
2015-12-19switch to new compilerPéter Diviánszky
2015-12-19remove 'wrong'Péter Diviánszky
2015-12-19Refactor: use fromNatE in patterns, introduce toNatEAndor Penzes
2015-12-18refactoringPéter Diviánszky
2015-12-18primIfThenElse is not builtinPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18update TODOsPéter Diviánszky
2015-12-18update cabal fileCsaba Hruska
2015-12-18Graphics.lc compiles nowPéter Diviánszky
2015-12-18update TODO & old test out filePéter Diviánszky
2015-12-18Add Graphics.lc test. It fails becuase of frequency handlingAndor Penzes
2015-12-18use arity info at label addition; note that this cause a typechecking bug wit...Péter Diviánszky
2015-12-18update TODOCsaba Hruska
2015-12-18enable more testsCsaba Hruska
2015-12-17Clean cabal dist after profiled test runAndor Penzes
2015-12-17fix Label handlingPéter Diviánszky
2015-12-17Add profiling option to the run-test-suite.shAndor Penzes
2015-12-17support record projectionsPéter Diviánszky
2015-12-17support where blocks in case alternativesPéter Diviánszky
2015-12-17skip type annotations in where blocks for nowPéter Diviánszky
2015-12-17parse hidingPéter Diviánszky
2015-12-17better motive generation; swizzling test passes nowPéter Diviánszky
2015-12-17swap Vec's argumentsPéter Diviánszky
2015-12-17implement some primitive reduction and update TODOCsaba Hruska
2015-12-17fix proto cabalCsaba Hruska
2015-12-17update TODOsPéter Diviánszky
2015-12-17bugfix; example07 passesPéter Diviánszky
2015-12-17implement swizzscalar reduction and related functionsPéter Diviánszky
2015-12-17implement swizzvector reduction and related functionsPéter Diviánszky
2015-12-17implement Split & project reductions; two more tests passPéter Diviánszky
2015-12-17fix swizzling desugaringCsaba Hruska
2015-12-17update TODO listPéter Diviánszky
2015-12-17complete let polymorphism; fail on ambiguous types; bugfixesPéter Diviánszky
2015-12-17line01 test passesPéter Diviánszky
2015-12-17fix SLabelEnd insertionsPéter Diviánszky
2015-12-16one more testCsaba Hruska
2015-12-16enable more testsCsaba Hruska
2015-12-16fix a bug; another test passesPéter Diviánszky
2015-12-16three more tests passPéter Diviánszky
2015-12-16listcompr04 test passesPéter Diviánszky
2015-12-16fix reduction of PrimIfThenElsePéter Diviánszky
2015-12-16implement prim reductionsPéter Diviánszky
2015-12-16better panic msgPéter Diviánszky
2015-12-16Initial work on swizzling desugaringAndor Penzes
2015-12-16add LabelEnd constructorPéter Diviánszky
2015-12-16fix list Cons pattern parserCsaba Hruska
2015-12-16optimize grammarCsaba Hruska
2015-12-16The test suite can run tests separatelyAndor Penzes
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:34:35 +0000