wz1000

Consider an extensible sum type:

data Union (es :: [Type]) where
  Here  :: e        -> Union (e ': es)
  There :: Union es -> Union (e ': es)

We define a few functions for taking it apart and doing operations on it

wz1000

    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

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}

data X = C
data SX x where
  SC :: SX C

foo :: SX x -> IO ()
foo x = do

wz1000

--- 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

wz1000

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

wz1000

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

Command
  commands
    are prefixed
    get de-prefixed
Completion
  completions
    works
    does not pull in unnecessary modules until needed
    completes imports
    completes qualified imports

wz1000

Command
  commands
    are prefixed
    get de-prefixed
Completion
  completions
    works
    does not pull in unnecessary modules until needed
    completes imports

wz1000

name:                test
version:             0.1.0.0
-- synopsis:
-- description:
license:             BSD3
author:              Author name here
maintainer:          example@example.com
copyright:           2017 Author name here
category:            Web
build-type:          Simple

wz1000

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