Lawrence Dunn

Confirmed I can build `main` with ghc 9.0.2 (after removing the `source-repository-package` stanza in `cabal.project`, which is pointing to a repo that doesn't exist). It would be great if this...

Polite bump. I don't know much about OCaml infrastructure but the error message when running ``` (menhir (flags --external-tokens Token) (modules "parser")) ``` is `Error: Unbound constructor MY_TOKEN` where `MY_TOKEN`...

You're seeing this error because the resolver (package set) being used by stack for your project includes a version of `aeson-pretty` that conflicts with the dependencies of the `hakyll-sass` version...

(Changed the title because initially I thought requestSizeCheck was the problem)

Reporting the same issue, also with Emacs 27.1. I am not certain, but this might be a bug in `fileloop-initialize-replace`, see https://lists.gnu.org/archive/html/bug-gnu-emacs/2020-03/msg00957.html. Per the thread the [patch](https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=a477a7b86ba7c59a90b18283cc86769c27de6c7c) went into Emacs...

This is the expected behavior. Take a look at this tutorial: https://jaspervdj.be/hakyll/tutorials/05-snapshots-feeds.html The relevant snippet here is ``` posts

@silky I think you will find it is a matter of at what point you take the snapshot. The snippet above is certainly going to give you the "final output"...

Old issue, but a comment for the record: The opaqueness isn't exactly a problem. A change at [this line](https://github.com/plclub/metalib/blob/master/Metalib/MetatheoryAtom.v#L56) ``` Module Atom : ATOM. ``` to ``` Module Atom

I think that is reasonable. I encountered this issue when some editing I was doing silently inserted tab characters I didn't want.

This issue should be named something like "Broken links to subsections with depth 4+." The page OP mentions is section 28.1.1.5. The problem is that sections of the form x.y.z.w...