Skip to content

/dhall-haskell

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Getting best mileage with `typeWith`? #83

Closed
aleator opened this issue Jul 3, 2017 · 2 comments

Comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@aleator @Gabriel439
@aleator
Copy link
Contributor

commented Jul 3, 2017

I'm playing with Dhall (probably in ways it wasn't supposed to be used) and I'm having troubles with the typeWith function. What I would want is to have few opaque type name that can be referred to in my config. For most part this works fine, except that load does typechecking. This means that I cannot refer to my opaque types in anything that has been imported.

The above is probably by design, but it certainly makes typeWith less useful for the end user. Would a patch that enables passing type context into load be acceptable?
@Gabriel439

This comment has been minimized.

Sign in to view
Copy link
Collaborator

commented Jul 3, 2017

Yes, I agree that this is worth supporting

@aleator aleator referenced this issue Jul 4, 2017

Merged

Added a `loadWith` function. #84

Gabriel439 added a commit that referenced this issue Jul 5, 2017

@aleator @Gabriel439
Added a `loadWith` function. (#84) 
This allows loading dhall 'modules' using a custom typing
context. See #83
Loading status checks…
94d6f4d
@Gabriel439

This comment has been minimized.

Sign in to view
Copy link
Collaborator

commented Jul 5, 2017

Closing, as I think this is fixed by #84

@Gabriel439 Gabriel439 closed this Jul 5, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.