./tests/tags/let.dhall,66 let.dhall1,1 /let.dhall1,1 let foo foo1,5 let bar bar3,22 ./tests/tags/nonunicode.dhall,63 nonunicode.dhall1,1 /nonunicode.dhall1,1 let foo foo2,12 ./tests/tags/record.dhall,335 record.dhall1,1 /record.dhall1,1 let Config Config6,81 { home home8,161 , privateKey privateKey9,181 , publicKey publicKey10,207 , name name11,232 , name : { firstName firstName11,241 , secondName secondName12,275 let makeUser makeUser16,323 let configs configs30,804 ./tests/tags/recordlit.dhall,223 recordlit.dhall1,1 /recordlit.dhall1,1 { home home8,143 , privateKey privateKey9,171 , publicKey publicKey10,215 , name name11,263 , name = { firstName firstName11,272 , secondName secondName12,302 ./tests/tags/simple.dhall,254 simple.dhall1,1 /simple.dhall1,1 let generate generate6,100 let makeUser makeUser17,409 let buildUser buildUser26,680 let Config Config32,880 { home home33,897 , privateKey privateKey34,917 , publicKey publicKey35,943 ./tests/tags/unicode.dhall,57 unicode.dhall1,1 /unicode.dhall1,1 let foo foo2,15 ./tests/tags/union.dhall,394 union.dhall1,1 /union.dhall1,1 let Element Element1,5 let Element = < Left Left1,17 let Element = < Left : Natural | Right Right1,34 let Element = < Left : Natural | Right : Bool | Middle Middle1,49 let Element = < Left : Natural | Right : Bool | Middle : < Top Top1,60 let Element = < Left : Natural | Right : Bool | Middle : < Top : Text | Bottom Bottom1,73 let foo foo3,95