wz1000
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
| edit: Timed out waiting to receive a message from the server. | |
| Last message received: | |
| { | |
| "tag": "NotWorkDoneProgressEnd", | |
| "contents": { | |
| "jsonrpc": "2.0", | |
| "params": { | |
| "value": { | |
| "kind": "end" | |
| }, |
wz1000
/ badghcbad.hs
Last active
June 4, 2020 16:35
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
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| data X = C | |
| data SX x where | |
| SC :: SX C | |
| foo :: SX x -> IO () | |
| foo x = do |
wz1000
/ leak.patch
Last active
June 2, 2020 14:33
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
| --- a/src/Development/IDE/Core/Compile.hs | |
| +++ b/src/Development/IDE/Core/Compile.hs | |
| @@ -70,6 +70,7 @@ import TcRnMonad (initIfaceLoad, tcg_th_coreplugins, tcg_src) | |
| import TcIface (typecheckIface) | |
| import TidyPgm | |
| +import Data.ByteString (ByteString) | |
| import Control.Exception.Safe | |
| import Control.Monad.Extra | |
| import Control.Monad.Except |
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
| shakeArgsWith 0.000s 0% | |
| Function shake 0.007s 0% | |
| Database read 0.001s 0% | |
| With database 0.000s 0% | |
| Running rules 813.384s 99% ========================= | |
| Pool finished (13199 threads, 12 max) 0.001s 0% | |
| Cleanup 0.000s 0% | |
| Total 813.393s 100% | |
| Build completed in 13m33s |
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
| Normal: | |
| shakeArgsWith 0.002s 0% | |
| Function shake 0.075s 0% | |
| Database read 0.002s 0% | |
| With database 0.001s 0% | |
| Running rules 851.856s 99% ========================= | |
| Pool finished (12968 threads, 12 max) 0.001s 0% | |
| Cleanup 0.000s 0% | |
| Total 851.938s 100% | |
| Build completed in 14m12s |
wz1000
/ functestnew
Created
July 23, 2019 10:46
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
| Command | |
| commands | |
| are prefixed | |
| get de-prefixed | |
| Completion | |
| completions | |
| works | |
| does not pull in unnecessary modules until needed | |
| completes imports | |
| completes qualified imports |
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
| Command | |
| commands | |
| are prefixed | |
| get de-prefixed | |
| Completion | |
| completions | |
| works | |
| does not pull in unnecessary modules until needed | |
| completes imports |
wz1000
/ cabal-helper
Created
July 22, 2019 07:23
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
| name: test | |
| version: 0.1.0.0 | |
| -- synopsis: | |
| -- description: | |
| license: BSD3 | |
| author: Author name here | |
| maintainer: [email protected] | |
| copyright: 2017 Author name here | |
| category: Web | |
| build-type: Simple |
wz1000
/ verbosity5
Created
July 19, 2019 14:09
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
| ghcDispatcher:got request 2 with id: Just (IdInt 2) | |
| ("lookupCradle","/home/zubin/haskell-ide-engine/test/testdata/FuncTest.hs",GhcModuleCache {cradleCache = Data.Trie.fromList [], uriCaches = fromList [], currentCradle = Nothing}) | |
| ("New cradle","/home/zubin/haskell-ide-engine/test/testdata/FuncTest.hs") | |
| Cradle {cradleRootDir = "/home/zubin/haskell-ide-engine/test/testdata", cradleOptsProg = CradleAction: bios} | |
| res | |
| (ExitSuccess,"Building all executables for `testdata' once. After a successful build of all of them, only specified executables will be rebuilt.\ntestdata> configure (exe)\nConfiguring testdata-0.1.0.0...\n[1 of 5] Compiling CabalHelper.Shared.Common ( .stack-work/cabal-helper/CabalHelper/Shared/Common.hs, .stack-work/cabal-helper/CabalHelper/Shared/Common.o )\n[2 of 5] Compiling CabalHelper.Shared.InterfaceTypes ( .stack-work/cabal-helper/CabalHelper/Shared/InterfaceTypes.hs, .stack-work/cabal-helper/CabalHelper/Shared/InterfaceTypes.o )\n[3 of 5] Compiling CabalHelper.Runtime.Compat ( .stack-wor |
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
| ("lookupCradle","/home/zubin/haskell-ide-engine/test/testdata/FuncTest.hs",GhcModuleCache {cradleCache = Data.Trie.fromList [], uriCaches = fromList [], currentCradle = Nothing}) | |
| ("New cradle","/home/zubin/haskell-ide-engine/test/testdata/FuncTest.hs") | |
| Cradle {cradleRootDir = "/home/zubin/haskell-ide-engine/test/testdata", cradleOptsProg = CradleAction: bios} | |
| res | |
| (ExitSuccess,"Building all executables for `testdata' once. After a successful build of all of them, only specified executables will be rebuilt.\ntestdata> configure (exe)\nConfiguring testdata-0.1.0.0...\n[1 of 5] Compiling CabalHelper.Shared.Common ( .stack-work/cabal-helper/CabalHelper/Shared/Common.hs, .stack-work/cabal-helper/CabalHelper/Shared/Common.o )\n[2 of 5] Compiling CabalHelper.Shared.InterfaceTypes ( .stack-work/cabal-helper/CabalHelper/Shared/InterfaceTypes.hs, .stack-work/cabal-helper/CabalHelper/Shared/InterfaceTypes.o )\n[3 of 5] Compiling CabalHelper.Runtime.Compat ( .stack-work/cabal-helper/CabalHelper/Runtime/Compat.hs, .stack |
NewerOlder