Dylan Thinnes

icon indicating a website link https://dylant.org icon indicating an email [email protected]

icon location Edinburgh, Scotland icon location I like birds, learning programming languages, and computers from type theory down to digital circuitry. Graduate of 1583 (University of Edinburgh).

Results 6 comments of Dylan Thinnes

Link from error codes to the error message index

Working on this for ZuriHac

clog: a more detailed circular C scale

Hey, sorry, I didn't see this until now! Looks super cool! I'll take a closer look at merging this this Tuesday, I've been thinking it might be worth spinning examples...

Support structured diagnostics

Re: deriving JSON instances, the messages often contain fragments of AST and other things which aren't terribly friendly to ToJSON/FromJSON. I tried deriving an instance and immediately came up against...

Support structured diagnostics

Gonna take a break for today, but two big TODOs remain, and a few open questions.

Support structured diagnostics

One remaining point to address from review: https://github.com/haskell/haskell-language-server/pull/4311#discussion_r1651757991, have made a commit for it https://github.com/haskell/haskell-language-server/commit/414c845a74ef64ded31c7486607aa90004bab56e I'm looking into the CI failures now - I assume some CPP shenanigans are at...

Integrate GHC's new diagnostic infrastructure

Working on this for ZuriHac