Import resolution is disabled

[Michael-Kateregga]

I wonder why I keep on getting "Import resolution is disabled" when I use dhall's compiler - dhall type. Does anyone know how I can fix this?

[Gabriella439]

@Michael-Kateregga: This is intentional. Dhall has three phases for the interpreter:

• Import resolution (implemented by dhall resolve)
• Type-checking (implemented by dhall type)
• Normalization (implemented by dhall normalize)

Each phase implements one step exclusively. So, for example, dhall type does not do import resolution. You would need to chain it downstream of dhall resolve, like this:

$ cat someFile.dhall | dhall resolve | dhall type

However, you might also just need to use the --annotate flag for the normal dhall command, or the :type command in the dhall repl

[Michael-Kateregga]

Thanks @Gabriel439 :type or :t is great. I don't know it works in the same way as Haskell!

[Michael-Kateregga]

@Gabriel439 <https://github.com/Gabriel439> I am planning to implement Dhall to manage our logging on our various servers, any insights from you will be greatly appreciated.

…

On Tue, Oct 16, 2018 at 4:16 PM Gabriel Gonzalez ***@***.***> wrote: @Michael-Kateregga <https://github.com/Michael-Kateregga>: This is intentional. Dhall has three phases for the interpreter: - Import resolution (implemented by dhall resolve) - Type-checking (implemented by dhall type) - Normalization (implemented by dhall normalize) Each phase implements one step exclusively. So, for example, dhall type does not do import resolution. You would need to chain it downstream of dhall resolve, like this: $ cat someFile.dhall | dhall resolve | dhall type However, you might also just need to use the --annotate flag for the normal dhall command, or the :type command in the dhall repl — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#641 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AeXmOs3IvFGoTDU4CFxXtVsAnG5eeKeBks5uleongaJpZM4XdsSg> .

[Gabriella439]

@Michael-Kateregga: I don't have anything to specific to add, other than to mention that you can use the dhall tag on Stack Overflow if you need any help with the design. I subscribe to that tag, so I get e-mail notifications for any new questions.

[Michael-Kateregga]

@Gabriel439 done, thanks!

[Gabriella439]

You're welcome! 🙂

[ocharles]

This particular issue seems resolved so I'm closing this. Please shout if I shouldn't have closed this!