summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-17Move hir and resolve into a moduleNadrieril1-264/+0
2020-02-15Desugar Completion during resolutionNadrieril1-12/+33
2020-02-11Remove the Embed variant from ExprKindNadrieril1-2/+2
2020-02-10Remove need for EmbedNadrieril1-11/+14
2020-02-09Take Hir for typecheckNadrieril1-8/+5
2020-02-09Resolve variables alongside import resolutionNadrieril1-37/+56
2020-02-09Resolve by ref instead of by mutNadrieril1-59/+77
2020-02-09Introduce environment for import resolutionNadrieril1-31/+56
2020-01-30Move parse and resolve up a levelNadrieril1-0/+0
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Remove old typecheck moduleNadrieril1-6/+2
2020-01-27Fix a bunch of bugs and more tckNadrieril1-2/+6
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-15Refer to semantics module properlyNadrieril1-2/+2
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-3/+4
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-4/+4
2019-11-11Generate import tests automaticallyNadrieril1-47/+0
2019-11-11Run `cargo fmt`Nadrieril1-46/+48
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-19/+22
2019-09-03Move Canonicalize into resolve.Fintan Halpenny1-0/+70
2019-08-30Rework test harness to prepare for new types of testsNadrieril1-2/+11
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-2/+2
2019-08-16Reduce api surface of dhall crateNadrieril1-4/+4
2019-08-15Disable some unused unstable featuresNadrieril1-2/+1
2019-08-13Implement inline headers parsingNadrieril1-4/+4
2019-08-12Refactor of File to be the combination of Directory and the file name,FintanH1-5/+6
2019-08-07Update dhall-lang submoduleNadrieril1-0/+3
2019-08-07Remove an annoying redundancy in the test harnessNadrieril1-2/+2
2019-08-06Add some new tests and implement import alternativesNadrieril1-2/+2
2019-08-06Update dhall-lang submoduleNadrieril1-0/+2
2019-08-06Inline headersNadrieril1-0/+6
2019-05-12Include success or failure prefix in test filteringNadrieril1-2/+2
2019-05-12Implement binary encodingNadrieril1-0/+1
2019-05-09Make visibilities more consistentNadrieril1-3/+3
2019-05-06Consolidate errors in the error moduleNadrieril1-9/+2
2019-05-06Reorganize dhall into a phase structureNadrieril1-42/+11
2019-05-04Remove dummy lifetimesNadrieril1-46/+40
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-3/+3
2019-04-18Remove more duplicationNadrieril1-4/+4
2019-04-15Error on import cyclesBasile Henry1-6/+32
2019-04-14clippyNadrieril1-3/+3
2019-04-14Add import testsNadrieril1-0/+28
2019-04-14Naming nitpickNadrieril1-5/+5
2019-04-14Cache importsBasile Henry1-12/+34
2019-04-12Restrict public API to its most minimal expressionNadrieril1-0/+3
2019-04-12Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril1-6/+5
2019-04-11Thread lifetimes through other newtypesNadrieril1-10/+11
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril1-13/+14
2019-04-11Respect import boundariesNadrieril1-6/+6