Skip to content
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

Error generating docs #2529

Closed
custommonkey opened this issue Jul 21, 2023 · 0 comments · Fixed by #2552
Closed

Error generating docs #2529

custommonkey opened this issue Jul 21, 2023 · 0 comments · Fixed by #2552

Comments

@custommonkey
Copy link

I'm getting the following error message whilst trying to generate dhall-docs using dhall-docs --input schemas where schemas is a directory with a single file containing

{ Type = { a : { b : Text, c : Text } }, default = { a.b = "", a.c = "" } }
dhall-docs: Error Documentation generator bug

Explanation: This error message means that there is a bug in the Dhall Documentation generator. You didn't did anything wrong, but if you would like to see this problem fixed then you should report the bug at:

https://github.com/dhall-lang/dhall-haskell/issues/new?labels=dhall-docs,bug

explaining your issue and add "A `RecordField` of type `Expr Src Import` doesn't have `Just src*`" as error code so we can find the proper location in the source code where the error happened

Please, also include your package in the issue. It can be in:

* A compressed archive (zip, tar, etc)
* A git repository, preferably with a commit reference
CallStack (from HasCallStack):
  error, called at src/Dhall/Docs/Util.hs:12:5 in dhall-docs-1.0.11-48wmltkpomEBF5I2rmRqNy:Dhall.Docs.Util
Gabriella439 added a commit that referenced this issue Nov 25, 2023
Gabriella439 added a commit that referenced this issue Nov 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant