summaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix imports in grammar.lalrpopNadrieril2019-02-281-7/+7
|
* Add Natural/Show builtinNadrieril2019-02-272-0/+4
|
* Add one test from the specNadrieril2019-02-272-17/+13
|
* Fix mixed up parsing of integers/naturalsNadrieril2019-02-272-5/+5
|
* Switch to Rust 2018 editionNadrieril2019-02-276-39/+37
|
* Revert "Try to update to latest nom"Nadrieril2019-02-274-29/+31
| | | | This reverts commit d5bc8da87f3fed99a010d867a3e34d2768caf768.
* Try to update to latest nomNadrieril2019-02-274-31/+29
|
* Update dependenciesNadrieril2019-02-273-7/+8
|
* fixed some clippy warningsAndre Bogus2017-09-085-188/+187
|
* _ unused variablesNanoTech2017-03-101-5/+5
|
* Fix match on Embed(X)NanoTech2017-03-101-1/+1
|
* Start implementing error explanationsNanoTech2017-03-1036-26/+1828
|
* Implement fold/build fusion normalize casesNanoTech2017-03-101-7/+7
|
* Fix context lookup orderNanoTech2017-03-101-1/+1
| | | | The most recent item, with context index 0, is at the end of the Vec.
* Format more operators, still ignoring precedence for nowNanoTech2017-03-101-0/+6
|
* Format ListLit and OptionalLitNanoTech2017-03-101-23/+27
|
* Implement more normalize and typecheck casesNanoTech2017-03-102-226/+245
|
* Implement all subst casesNanoTech2017-03-101-8/+51
|
* Implement all shift casesNanoTech2017-03-101-74/+46
|
* Use BTreeMaps to keep records and unions sortedNanoTech2017-03-102-27/+13
|
* Implement more list functionsNanoTech2017-03-102-33/+55
| | | Now requires nightly for #![feature(box_patterns)]
* Fix formatting for Pi("_", _, _)NanoTech2017-03-101-0/+5
|
* normalize: Take the input Expr by referenceNanoTech2017-03-103-51/+60
|
* Implement more typechecker casesNanoTech2017-03-101-1/+30
|
* impl Display for ExprNanoTech2017-03-102-10/+241
|
* Implement more typechecking for Prelude/List/shiftedNanoTech2017-03-102-101/+122
|
* subst: Don't need to match on the left ExprNanoTech2017-03-101-12/+12
|
* subst: Take the input Exprs by referenceNanoTech2017-03-102-20/+19
|
* shift: Take the input Expr by referenceNanoTech2017-03-102-28/+24
|
* Seperate built-in types and functions from ExprNanoTech2017-03-105-177/+130
|
* Replace Cow<'i, str> with &'i str in ExprNanoTech2017-03-105-58/+50
| | | | Cow::Owned is never used in Expr
* Begin implementing type checkingNanoTech2017-03-106-13/+1176
|
* Reference input strings without copyingNanoTech2017-03-105-66/+70
|
* Parse string literalsNanoTech2017-03-102-12/+95
|
* Parse identifiers' first character correctlyNanoTech2017-03-101-2/+5
|
* Remove unused and commented symbol lexing codeNanoTech2017-03-101-32/+0
|
* Refactor comment end findingNanoTech2017-03-101-18/+9
|
* Parse Const, lists, and recordsNanoTech2017-03-104-33/+133
| | | | Also fix keyword parsing to always consume whole identifiers.
* Colored error messagesNanoTech2017-03-101-9/+38
|
* rustc-style error messagesNanoTech2017-03-101-3/+29
|
* test reservedNanoTech2017-03-101-1/+1
|
* Parse builtins correctlyNanoTech2017-03-102-1/+27
|
* Separate keywords and builtinsNanoTech2017-03-102-35/+44
|
* Print some error contextNanoTech2017-03-101-2/+8
|
* Add more ExprB rulesNanoTech2017-03-102-7/+35
|
* Skip commentsNanoTech2017-03-101-8/+41
|
* Report the offset of errorsNanoTech2017-03-101-2/+3
|
* Read and parse stdinNanoTech2017-03-102-4/+7
|
* Initial commitNanoTech2017-03-106-0/+629
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 03:57:55 +0000