This repository has been archived by the owner on Nov 24, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Type Synonyms? #1
Comments
This is related to the following two issues:
To summarize, those two issues, the current implementation only lets you share types via the import system, like this: $ cat ./MyText
Text
$ cat example
"Hello, world!" : ./MyText |
Ah, thanks very much @Gabriel439. I do wish there was some syntactic sugar on top of the import system for types that would allow me to land the Thank you, |
You're welcome! |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Hi,
I am trying to use
dhall-bash
for some more strongly-typed configuration I typically consume from Bash scripts. To this end, I want to introduce type synonyms for my configuration to distinguish various types of strings. I'm not sure how to make this work, though. Can you point me in the right direction? Here is my test script,test.dhall
:And here is the output I receive:
Thanks,
Mark
The text was updated successfully, but these errors were encountered: