Add regression tests for #1400 (#1536)

Fixes #1400.
This commit is contained in:
Simon Jakobi 2019-11-14 17:11:51 +01:00 committed by mergify[bot]
parent dedd5e0ea6
commit 53320c8e19
4 changed files with 52 additions and 0 deletions

View File

@ -0,0 +1,14 @@
{ conversation =
[ { author = "robert", content = [] }
, { author = "robert", content = [] }
, { author =
"bob"
, content =
[ text
''
any line going past the 80 characters boundary (e.g. this one is 82)
''
]
}
]
}

View File

@ -0,0 +1,13 @@
{ conversation =
[ { author = "robert", content = [] }
, { author = "robert", content = [] }
, { author = "bob"
, content =
[ text
''
any line going past the 80 characters boundary (e.g. this one is 82)
''
]
}
]
}

View File

@ -0,0 +1,14 @@
let Tagged
: Type → Type
= λ ( a
: Type
)
→ { field :
Text
, nesting :
./Nesting sha256:6284802edd41d5d725aa1ec7687e614e21ad1be7e14dd10996bfa9625105c335
? ./Nesting
, contents : a
}
in Tagged

View File

@ -0,0 +1,11 @@
let Tagged
: Type → Type
= λ(a : Type)
→ { field : Text
, nesting :
./Nesting sha256:6284802edd41d5d725aa1ec7687e614e21ad1be7e14dd10996bfa9625105c335
? ./Nesting
, contents : a
}
in Tagged