wz1000

haskell-ide-engine>   (ExitFailure 1,"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...\nLoaded package environment from /tmp/stack20995/test-ghc-env\nLoaded package environment from /tmp/stack20995/test-ghc-env\n\nIn file included from <command-line>:9:0: error: \n\n/tmp/ghc21404_0/ghc_2.h:7:0: error:\n     warning: \"VERSION_Cabal\" redefined\n        7 | #define VERSION_Cabal \"2.4.1.0\"\n          | \n  |\n7 | #define VERSION_Cabal \"2.4.1.0\"\n  | ^\n\n/tmp/ghc21404_0/ghc_2.h:1:0: error:\n     note: this is the location of the previous definition\n        1 | #define VERSION_Cabal \"2.4.0.1\"\n          | \n  |\n1 | #define VERSION_Cabal \"2.4.0.1\"\n  | ^\n\n/tmp/ghc21404_0/ghc_2.h:8:0: error:\n     warning: \"MIN_VERSION_Cabal\" redefined\n        8 | #define MIN_VERSION_Cabal(major1,major2,minor) (\\\n          | \n  |\n8 | #define MIN_VERSION_Cabal(major1,major2

wz1000

❯ cabal --version
cabal-install version 3.1.0.0
compiled using version 3.1.0.0 of the Cabal library 

~/cabal-helper-helper master*
❯ cabal new-build
Resolving dependencies...
Up to date

~/cabal-helper-helper master*

wz1000

>>> compose (del 1) (ins 1:: Change)
splitDeltaIn: Change (fromList [Edit 0 1 0]) 0
splitDeltaOut: (Change (fromList [Edit 0 1 0]) 0,Change (fromList []) 0)
editEdit: Edit 0 0 1
editSplitIn: Change (fromList [Edit 0 1 0]) 0
editSplitOut: (Change (fromList []) 0,Change (fromList [Edit 0 1 0]) 0)
*** Exception: changePos: Past end
CallStack (from HasCallStack):
  error, called at ./Coda/Syntax/Change.hs:127:18 in coda-change-0.0.1-inplace:Coda.Syntax.Change

wz1000

>>> compose (cpy 2 <> ins 1 <> cpy 2) (cpy 4 :: Change)
splitDeltaIn: Change (fromList [Edit 2 0 1,Edit 2 0 0]) 0
splitDeltaOut: (Change (fromList [Edit 2 0 1]) 2,Change (fromList []) 0)
editEdit: Edit 4 0 0
editSplitIn: Change (fromList [Edit 2 0 1]) 2
editSplitOut: (Change (fromList [Edit 2 0 1]) 2,Change (fromList [Edit (-2) 0 0]) 0)
*** Exception: changePos: Past end
CallStack (from HasCallStack):
  error, called at ./Coda/Syntax/Change.hs:127:18 in coda-change-0.0.1-inplace:Coda.Syntax.Change

wz1000

With bounds check:
>>> compose (cpy 2 <> ins 1 <> cpy 2) (cpy 4 :: Change)
*** Exception: changePos: Past end
CallStack (from HasCallStack):
  error, called at ./Coda/Syntax/Change.hs:125:18 in coda-change-0.0.1-inplace:Coda.Syntax.Change
Without bounds check:
>>> compose (cpy 2 <> ins 1 <> cpy 2) (cpy 4 :: Change)
∧∧ ∧∧
∨∨+∨∨

wz1000

❯ cabal new-configure -w ~/ghc-8.8-alpha/bin/ghc --allow-newer --ghc-options="-fwrite-ide-info" --ghc-options="-hiedir /home/zubin/hiedb/hiefiles"
'cabal.project.local' file already exists. Now overwriting it.
Resolving dependencies...
Build profile: -w ghc-8.8.0.20190613 -O1
In order, the following would be built (use -v for more details):
 - Only-0.1 (lib) (requires build)
 - base16-bytestring-0.1.1.6 (requires build)
 - blaze-builder-0.4.1.0 (lib) (requires build)
 - call-stack-0.1.0 (lib) (requires build)
 - colour-2.3.5 (lib) (requires build)

wz1000

❯ cabal new-configure
Resolving dependencies...
Build profile: -w ghc-8.6.5 -O1
In order, the following would be built (use -v for more details):
 - Cabal-2.4.1.0 (lib) (requires build)
 - Cabal-3.0.0.0 (lib) (first run)

wz1000

{-# LINE 1 "templates/GenericTemplate.hs" #-}
...
alexIndexInt16OffAddr (AlexA# arr) off =
#ifdef WORDS_BIGENDIAN
  narrow16Int# i
  where
        i    = word2Int# ((high `uncheckedShiftL#` 8#) `or#` low)
        high = int2Word# (ord# (indexCharOffAddr# arr (off' +# 1#)))
        low  = int2Word# (ord# (indexCharOffAddr# arr off'))
        off' = off *# 2#

wz1000

{-#LANGUAGE TypeOperators, RankNTypes,TypeFamilies#-}
{-#LANGUAGE PatternSynonyms, ViewPatterns#-}
module A where

pattern LL :: Num a => a -> a
pattern LL x <- (subtract 1 -> x)
  where
        LL x = x + 1

wz1000

data EvVarSource
  = EvPatternBind -- ^ bound by a pattern match
  | EvSigBind -- ^ bound by a type signature
  | EvWrapperBind -- ^ bound by a hswrapper
  | EvLetBind EvBindDeps -- ^ A direct let binding
  deriving (Eq,Ord,Show)

-- | Eq/Ord instances treat all values of EvBindDeps as equal
-- This lets EvVarSource have the correct Ord instance,
-- as an evidence variable is let bound only once.