diff options
| author | Nadrieril Feneanar | 2019-11-11 17:01:02 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-11 17:01:02 +0100 |
| commit | 84cd6f386d6f4c7952fbc1da87dcd754f26ee404 (patch) | |
| tree | d348f580a00c4b97f04f3a2e41ea2a23d67af824 /dhall_syntax/src/core/mod.rs | |
| parent | f58ff637c8d53af1fcee43bfba5a9f8de799084c (diff) | |
| parent | 8b566b2575096562c2e15d6ac9ee8750db2cf14f (diff) | |
Merge pull request #114 from Nadrieril/nice-type-errors
Ground work for pretty type errors
Diffstat (limited to '')
| -rw-r--r-- | dhall_syntax/src/core/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall_syntax/src/core/mod.rs b/dhall_syntax/src/core/mod.rs index fe2c0be..66bf229 100644 --- a/dhall_syntax/src/core/mod.rs +++ b/dhall_syntax/src/core/mod.rs @@ -4,6 +4,8 @@ mod import; pub use import::*; mod label; pub use label::*; +mod span; +pub use span::*; mod text; pub use text::*; pub mod context; |