- Project: Case Split Plugin
- Contributor: Enrico Maria De Angelis (@Aster89)
- Mentor: Magnus Viernickel (@MangoIV) + Hannes Siebenhandl (@fendor) + Andreas Klebinger (@andreaspk) @ Well-Typed
- Organization: Haskell.org
- Pull request with code: haskell/haskell-language-server#5014
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Build profile: -w ghc-9.14.1 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - haskell-language-server-2.14.0.0 (interactive) (exe:ghcide-test-preprocessor) (ephemeral targets) | |
| - hls-graph-2.14.0.0 (interactive) (lib) (first run) | |
| - shake-bench-0.2.0.0 (interactive) (lib) (first run) | |
| - hls-plugin-api-2.14.0.0 (interactive) (lib) (dependency rebuilt) | |
| - hls-graph-2.14.0.0 (interactive) (test:tests) (dependency rebuilt) | |
| - hls-plugin-api-2.14.0.0 (interactive) (test:tests) (dependency rebuilt) | |
| - ghcide-2.14.0.0 (interactive) (lib) (dependency rebuilt) | |
| - hls-test-utils-2.14.0.0 (interactive) (lib) (dependency rebuilt) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| No 'hie.yaml' found. Try to discover the project type! | |
| Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 2.14.0.0 x86_64 ghc-9.10.3 | |
| Current directory: /home/enrico | |
| Operating system: linux | |
| Arguments: ["--lsp","--cwd","/home/enrico"] | |
| Cradle directory: /home/enrico | |
| Cradle type: Default | |
| Tool versions found on the $PATH | |
| cabal: 3.16.1.0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2026-07-21 12:50:39,492 - DEBUG - GET b'http://127.0.0.1:35613/ready' (None) | |
| {'content-type': 'application/json', 'x-ycm-hmac': b'KiCbCNZPdSgUq+6gdz47KtIOnf1R8xOItGDyLkCdqMw='} | |
| 2026-07-21 12:50:39,501 - ERROR - <urlopen error [Errno 111] Connection refused> | |
| 2026-07-21 12:50:39,602 - DEBUG - GET b'http://127.0.0.1:35613/ready' (None) | |
| {'content-type': 'application/json', 'x-ycm-hmac': b'KiCbCNZPdSgUq+6gdz47KtIOnf1R8xOItGDyLkCdqMw='} | |
| 2026-07-21 12:50:39,609 - DEBUG - GET b'http://127.0.0.1:35613/signature_help_available?subserver=haskell' ({'subserver': 'haskell'}) | |
| {'content-type': 'application/json', 'x-ycm-hmac': b'XqnkArDCcuYzJm/6bG5Z5GoRKyIYDwpFz1PRYhaqHoY='} | |
| 2026-07-21 12:50:39,613 - DEBUG - POST b'http://127.0.0.1:35613/event_notification' | |
| {'content-type': 'application/json', 'x-ycm-hmac': b'qjWHy5c59PZZmeqT1EtudZUo7WyuGyxqt0HF6MDNPjM='} | |
| b'{"filepath": "/home/enrico/uffa.hs", "line_num": 1, "column_num": 1, "working_dir": "/home/enrico", "file_data": {"/home/enrico/uffa.hs": {"contents": "data Foo = Foo\\n |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2026-07-21 12:55:44,699 - DEBUG - TX: Sending message: b'Content-Length: 654\r\n\r\n{"id":5,"jsonrpc":"2.0","method":"textDocument/codeAction","params":{"context":{"diagnostics":[{"code":"GHC-06201","codeDescription":{"href":"https://errors.haskell.org/messages/GHC-06201"},"data":{"attachedReason":["-Wmissing-methods"]},"message":"\\u2022 No explicit implementation for\\n either \\u2018showsPrec\\u2019 or \\u2018show\\u2019\\n\\u2022 In the instance declaration for \\u2018Show Foo\\u2019","range":{"end":{"character":17,"line":2},"start":{"character":9,"line":2}},"severity":2,"source":"typecheck","tags":[]}]},"range":{"end":{"character":10,"line":2},"start":{"character":9,"line":2}},"textDocument":{"uri":"file:///home/enrico/uffa.hs"}}}' | |
| 2026-07-21 12:55:44,714 - DEBUG - in-event <InotifyEvent: src_path=b'/home/enrico/.ghcup/ghc/9.14.1/lib/ghc-9.14.1/lib/x86_64-linux-ghc-9.14.1-6fd7/base-4.22.0.0-2547/Control/Applicative.dyn_hi', wd=67696, mask=IN_OPEN, cookie=0, name='Applicative.dyn_hi'> | |
| 2026-07-21 12:55: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2026-07-21 12:37:47,968 - DEBUG - TX: Sending message: b'Content-Length: 627\r\n\r\n{"id":3,"jsonrpc":"2.0","method":"textDocument/codeAction","params":{"context":{"diagnostics":[{"code":"GHC-40910","codeDescription":{"href":"https://errors.haskell.org/messages/GHC-40910"},"data":{"attachedReason":["-Wunused-matches"]},"message":"Defined but not used: \\u2018caseTok\\u2019","range":{"end":{"character":54,"line":197},"start":{"character":47,"line":197}},"severity":2,"source":"typecheck","tags":[1]}]},"range":{"end":{"character":48,"line":197},"start":{"character":47,"line":197}},"textDocument":{"uri":"file:///home/enrico/haskell-language-server/plugins/hls-case-split-plugin/src/Ide/Plugin/CaseSplit.hs"}}}' | |
| 127.0.0.1 - - [21/Jul/2026 12:37:48] "POST /receive_messages HTTP/1.1" 200 4 | |
| 2026-07-21 12:37:49,678 - DEBUG - RX: Received message: b'{"id":3,"jsonrpc":"2.0","result":[{"diagnostics":[],"edit":{"changes":{"file:///home/enrico/haskell-language-server/plugins/hls-case-split-plugin/src/Ide/Plugin/CaseSplit.hs" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/.SRCINFO b/.SRCINFO | |
| index 32754e5..ec70fc3 100644 | |
| --- a/.SRCINFO | |
| +++ b/.SRCINFO | |
| @@ -1,6 +1,6 @@ | |
| pkgbase = byobu | |
| pkgdesc = Enhanced tmux | |
| - pkgver = 7.0 | |
| + pkgver = 7.11 | |
| pkgrel = 1 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # /dev/sda7 | |
| UUID=158d9d49-7c23-43b4-bad5-8cf56b19a96b / btrfs rw,relatime,ssd,space_cache,subvolid=5,subvol=/ 0 0 | |
| # /dev/sda2 | |
| UUID=D42F-D173 /boot vfat rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,utf8,errors=remount-ro 0 2 | |
| # /dev/sda6 | |
| UUID=e9ac7043-e39c-4afd-8d3f-b67af1f5d2cb /home btrfs rw,relatime,ssd,space_cache,subvolid=5,subvol=/ 0 0 | |
| # /dev/sda5 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Disk /dev/sda: 465.76 GiB, 500107862016 bytes, 976773168 sectors | |
| Disk model: Samsung SSD 850 | |
| Units: sectors of 1 * 512 = 512 bytes | |
| Sector size (logical/physical): 512 bytes / 512 bytes | |
| I/O size (minimum/optimal): 512 bytes / 512 bytes | |
| Disklabel type: gpt | |
| Disk identifier: 4F756C60-7752-47C8-ADD4-1554015CF6BA | |
| Device Start End Sectors Size Type | |
| /dev/sda1 2048 1023999 1021952 499M Windows recovery environment |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| cabal run hls-case-split-plugin-tests -- --lsp-timeout 5 | |
| case split | |
| code actions | |
| Produces addMinimalMethodPlaceholders code actions for one instance: >> 1 | |
| >> | |
| >> SomeStructuredMessage | |
| >> 1 | |
| >> | |
| >> SomeStructuredMessage | |
| Produces addMinimalMethodPlaceholders code actions for one instance: FAIL |
NewerOlder