Colin S. Gordon

Coursier somewhat broken on FreeBSD

1

Coursier does not appear to fully work on FreeBSD anymore. The docs suggest installing a FreeBSD package. I haven't tried that because the latest version in that package manager is...

Section 3.1 gives confusing prose on define-metafunction vs define-relation

2

I'm following along typing everything, and hit a minor snag. Section 3.1 gives two alternative definitions of `unique` and suggests they are equivalent: > ``` racket > (define-metafunction REDEX >...

Improve article 1808.02010 (mathpartir.sty)

2

**Exact location of issue** Basically the entire document after the abstract and keywrods **Problem details** After the abstract and keywords, the only thing that renders is one tiny fragment of...

Error for missing model lifetime specifier recommends invalid syntax, has unclear fix

3

Here's a minimized example: ```rust use prusti_contracts::*; struct Blah { _x: std::marker::PhantomData, } #[model] struct Blah { r: &T, } ``` This complains because the ```r``` field in the model...

Cannot build drm-kmod on 14.2 aarch64

7

**Describe the bug** No version of drm-kmod builds on 14.2 for aarch64 **FreeBSD version** FreeBSD bsd 14.2-RELEASE FreeBSD 14.2-RELEASE releng/14.2-n269506-c8918d6c7412 GENERIC arm64 1402000 1402000 **PCI Info** It's a lot to...

The error messages for custom operations in CEs are unclear and sometimes contradictory **Repro steps** Consider these two versions of a file: ```fsharp type ResultBuilder() = member __.Return(x:'T) : Result...