diff options
author | Nadrieril Feneanar | 2019-03-20 23:18:04 +0100 |
---|---|---|
committer | GitHub | 2019-03-20 23:18:04 +0100 |
commit | c15c71b4fb390913914c7669d906dc892078df7c (patch) | |
tree | acc2a21c064fb62631c076d8c135ae929ce07542 /dhall_core/src/core.rs | |
parent | 049f1f12bcf3013e31b179fd469a4ff0f61bf831 (diff) | |
parent | 4d616450d6883e68672a91f447999660fa17636c (diff) |
Merge pull request #34 from Nadrieril/rewrite-parser-macros
Rewrite parser macros
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/core.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 32f9c85..e7c9f2a 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -199,6 +199,7 @@ impl<N, E> From<String> for InterpolatedText<N, E> { } } +#[derive(Debug, Clone)] pub enum InterpolatedTextContents<'a, Note, Embed> { Text(&'a str), Expr(SubExpr<Note, Embed>), |