patrickaldis

0 Followers · 0 Following

• Joined on 2025-09-02

Repositories

1

Projects Packages Public Activity Starred Repositories

patrickaldis transferred repository patrickaldis/garnet to georgefst/garnet 2026-03-24 16:24:48 +00:00

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-09 16:19:56 +00:00

2222fa87c7 newtype over data

6f37a60f3b more sensible error message

6b2ae759ab pull responder out of case

535d985aa9 better ordered typeclasses

5c97fd64db updateState has more general type

Compare 5 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-06 18:11:49 +00:00

27eb944b07 fix import list

3a05d154d9 redundant parameter

Compare 2 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-06 17:32:24 +00:00

7ac8aef519 Add diagnostics for Megaparsec parsing

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-06 17:27:57 +00:00

372ed516f4 Add diagnostics for Megaparsec parsing

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-06 12:11:46 +00:00

026c66bce0 Add diagnostics for Megaparsec parsing

dedc72789b Refactor cases to move out let binding

35b2fa4282 Use STM to share state between handlers

dd761e8321 Highlighting doesnt crash on failed parse

eac62e4198 working highlighting

Compare 7 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-03 14:27:04 +00:00

0086a1e488 datalog-lsp sensible file structure

a967a8e532 Datalog Parser annotates SrcLoc

Compare 2 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-03 11:05:21 +00:00

d28638e286 Current progress

902fb4e0b5 Refactor parser to decorate with void

e7340f9a4d add pretty-simple

Compare 3 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-03-02 16:30:40 +00:00

be5e487e31 refactor repo to datalog/datalog-lsp

a42a546586 Hover displays the contents of the document

Compare 2 commits »

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-02-25 15:14:04 +00:00

fbb0fb27fb LSP highlights the first 5 characters

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-02-25 14:57:55 +00:00

33303c9b95 LSP highlights the first 5 characters

patrickaldis pushed to master at patrickaldis/geolog-lsp 2026-02-24 12:35:54 +00:00

4f8e0d9da9 init

patrickaldis created branch master in patrickaldis/geolog-lsp 2026-02-24 12:35:54 +00:00

patrickaldis created repository patrickaldis/geolog-lsp 2026-02-24 12:33:40 +00:00

patrickaldis pushed to main at georgefst/garnet 2026-02-17 14:57:58 +00:00

39283930d5 Initial

patrickaldis pushed to main at georgefst/garnet 2026-02-17 12:22:39 +00:00

1700fa33ff disable hoogle

patrickaldis pushed to main at georgefst/garnet 2026-02-17 12:17:28 +00:00

432d33a8a4 cleanup old files

patrickaldis pushed to main at georgefst/garnet 2026-02-17 11:31:41 +00:00

be0bfd0545 Pass is_real_data to parsers

ea3900dd93 Add extra context to test errors

19d402ec8f Refactor to use filter_map

cb7b821434 Move to avoid allocation

6ec723ea69 Minor refactor

Compare 10 commits »

patrickaldis created branch main in georgefst/garnet 2026-02-17 11:31:41 +00:00

patrickaldis created repository georgefst/garnet 2026-02-17 11:30:18 +00:00