diff options
| author | Nadrieril | 2020-04-05 17:57:07 +0100 |
|---|---|---|
| committer | GitHub | 2020-04-05 17:57:07 +0100 |
| commit | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (patch) | |
| tree | ad4249609707fd8720a44469152105c2f6a67c79 /tests_buffer | |
| parent | 5a5aa49e64197899006751db72e404f4b2292d4e (diff) | |
| parent | 820214615547101f8f2b5de209b5189968bddfee (diff) | |
Merge pull request #154 from Nadrieril/cleanup-api
Rewrite serde_dhall API
Diffstat (limited to 'tests_buffer')
| -rw-r--r-- | tests_buffer | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index 74e76bc..6f5aae5 100644 --- a/tests_buffer +++ b/tests_buffer @@ -7,6 +7,11 @@ x.({ a : Bool, b }) x.({ a }) x.{ a : Bool } s/QuotedVariable/VariableQuoted/ +From https://github.com/dhall-lang/dhall-lang/issues/280 : + "${ not_really_an_expression ;-) }" + ''${ not_an_expression ;-) }'' + {- {- -} 1 +{ x = 0 } with x = 1 + 1 import: failure/ |