summaryrefslogtreecommitdiff
path: root/prototypes
AgeCommit message (Expand)Author
2015-12-16mark rhs expressionsPéter Diviánszky
2015-12-16use operator parser combinator instead of keyword for non-alphanum tokensCsaba Hruska
2015-12-16Add swizzling parserAndor Penzes
2015-12-16enable testCsaba Hruska
2015-12-16fix data record value expression parsingCsaba Hruska
2015-12-16refactoringPéter Diviánszky
2015-12-16Implement record field projectionAndor Penzes
2015-12-15Row polymorphism record value desugaringAndor Penzes
2015-12-15primitives for row polymorphismCsaba Hruska
2015-12-15name space resolution improvement for constructors in types (prime switches n...Csaba Hruska
2015-12-15support type level symbols prefixed with primeCsaba Hruska
2015-12-15simplify label handlingPéter Diviánszky
2015-12-15add TODOsPéter Diviánszky
2015-12-15Add cabal with test coverageAndor Penzes
2015-12-11inital work on row polymorphic record valuesCsaba Hruska
2015-12-11fix: test linkCsaba Hruska
2015-12-11support data record value syntaxCsaba Hruska
2015-12-11fix: record type parsingCsaba Hruska
2015-12-11Data definitions with record syntax.Andor Penzes
2015-12-11support nested patterns; two more test cases passPéter Diviánszky
2015-12-11refactoringPéter Diviánszky
2015-12-10refactoring: remove preExp hackPéter Diviánszky
2015-12-10fix two bugs in list comprehension compilationPéter Diviánszky
2015-12-09support list comprehensions (buggy)Péter Diviánszky
2015-12-09Change: Empty data declaration without '=' sign.Andor Penzes
2015-12-09add another dirPéter Diviánszky
2015-12-09add dirPéter Diviánszky
2015-12-04typeclass0 passesPéter Diviánszky
2015-12-04refactoringPéter Diviánszky
2015-12-04finish guards supportPéter Diviánszky
2015-12-04fix precedence info collection; prepare guards supportPéter Diviánszky
2015-12-04support (op) in expressionsPéter Diviánszky
2015-12-04add literal patterns; several fixesPéter Diviánszky
2015-12-04fix parsing of 'exp $ \pat -> exp'; two more tests passPéter Diviánszky
2015-12-04fixesPéter Diviánszky
2015-12-04tweak ambig test which passes nowPéter Diviánszky
2015-12-04fetcharrays01 passPéter Diviánszky
2015-12-04support patterns in lambda expressions; tweak lc specific defs; two more test...Péter Diviánszky
2015-12-04support value definitions; two other test cases passPéter Diviánszky
2015-12-03support where blocks; two more tests passPéter Diviánszky
2015-12-03support dotdot expressions and list patternsPéter Diviánszky
2015-12-03framebuffer02 passesPéter Diviánszky
2015-12-03another two tests passPéter Diviánszky
2015-12-03tuple pattern hack for the current backend; two more test cases passPéter Diviánszky
2015-12-03simple negation parsingPéter Diviánszky
2015-12-03fragment06 passesPéter Diviánszky
2015-12-03use logical AND instead of tuple2 for merging constraints; add some LambdaCub...Péter Diviánszky
2015-12-03show definition name when recheck failsPéter Diviánszky
2015-11-30reduce05 passesPéter Diviánszky
2015-11-30allow _ in case clause lhsPéter Diviánszky