haskell-jp / questions #2

2017-10-12 12:52:17 +0900

f :: [a] -> b
-- Base case: 0の場合に相当
f [] = z
-- Step case: k+1の場合に相当
f (x:xs) = x ⊕ f xs

system "stack", "-j#{jobs}", "--local-bin-path=#{bin}", "install"

data Foo a where
  Foo :: Eq a => a -> Foo a

Linking /tmp/ghc-paths-0.1.0.9-4199/ghc-paths-0.1.0.9/dist/setup/setup ...
unrecognized option `--disable-benchmarks'

~$ stack haddock --no-haddock-deps
sdlight-0.9.0.6: build (lib)
Preprocessing library sdlight-0.9.0.6...
sdlight-0.9.0.6: haddock
Running Haddock for sdlight-0.9.0.6...
Preprocessing library sdlight-0.9.0.6...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: fail-4.9.0.0

(省略)

Warning: SDLight.Widgets.Internal.Named: could not find link destinations for:
    ~
Warning: SDLight.Widgets.Core: could not find link destinations for:
    WConfigR
Warning: SDLight.Widgets.Effector: could not find link destinations for:
    Op'Appear Op'Disappear Op'GetAlpha Op'IsAppeared Op'IsDisappeared Op'Start Op'GetValue
Warning: SDLight.Widgets.Layer: could not find link destinations for:
    Op'GetCounter
Warning: SDLight.Widgets.Balloon: could not find link destinations for:
    Op'Fly
Warning: SDLight.Widgets.InputJapanese: could not find link destinations for:
    Op'GetText
Warning: SDLight.Widgets.MessageLayer: could not find link destinations for:
    Op'IsWaiting
Warning: SDLight.Widgets.ScriptEngine: could not find link destinations for:
    Op'LoadMiniScript SimpleDSL RefImage
Warning: SDLight.Widgets.Selector: could not find link destinations for:
    Op'RenderSelector Op'SetLabels
Warning: SDLight.Widgets.TabSelector: could not find link destinations for:
    Op'GetTabName Op'RenderTabSelector Op'GetCurrentSelector Op'SetTabs
haddock: internal error: spliceURL UnhelpfulSpan
CallStack (from HasCallStack):
  error, called at utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs:79:9 in main:Haddock.Backends.Xhtml.Utils

--  While building package sdlight-0.9.0.6 using:
      /home/ioijoi/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.24.2.0 haddock --html --html-location=../$pkg-$version/ --haddock-option=--hyperlinked-source
    Process exited with code: ExitFailure 1

Failed to load interface for ‘Data.Hashable.Generic’
no unit id matching ‘hashable-1.2.6.1-14fEJP30YhAG9w115PODz0’ was found

/home/ioijoi/.stack/programs/x86_64-linux/ghc-8.2.1/bin/ghc returned
ExitFailure 1 with error message:
Failed to load interface for ‘Data.Hashable.Generic’
no unit id matching ‘hashable-1.2.6.1-14fEJP30YhAG9w115PODz0’ was found
CallStack (from HasCallStack):
  die', called at libraries/Cabal/Cabal/Distribution/Simple/Program/Run.hs:171:7 in Cabal-2.0.0.2:Distribution.Simple.Program.Run
  getProgramInvocationOutput, called at libraries/Cabal/Cabal/Distribution/Simple/GHC.hs:1522:11 in Cabal-2.0.0.2:Distribution.Simple.GHC
  libAbiHash, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:260:30 in Cabal-2.0.0.2:Distribution.Simple.Register
  abiHash, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:239:21 in Cabal-2.0.0.2:Distribution.Simple.Register
  generateRegistrationInfo, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:135:25 in Cabal-2.0.0.2:Distribution.Simple.Register
  generateOne, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:121:28 in Cabal-2.0.0.2:Distribution.Simple.Register
  register, called at libraries/Cabal/Cabal/Distribution/Simple.hs:770:10 in Cabal-2.0.0.2:Distribution.Simple
  defaultRegHook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:584:20 in Cabal-2.0.0.2:Distribution.Simple
  regHook, called at libraries/Cabal/Cabal/Distribution/Simple/UserHooks.hs:120:5 in Cabal-2.0.0.2:Distribution.Simple.UserHooks
  cmd_hook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:452:38 in Cabal-2.0.0.2:Distribution.Simple
  cmd_hook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:469:4 in Cabal-2.0.0.2:Distribution.Simple
  hookedActionWithArgs, called at libraries/Cabal/Cabal/Distribution/Simple.hs:451:5 in Cabal-2.0.0.2:Distribution.Simple
  hookedAction, called at libraries/Cabal/Cabal/Distribution/Simple.hs:430:5 in Cabal-2.0.0.2:Distribution.Simple
  registerAction, called at libraries/Cabal/Cabal/Distribution/Simple.hs:184:50 in Cabal-2.0.0.2:Distribution.Simple
  defaultMainHelper, called at libraries/Cabal/Cabal/Distribution/Simple.hs:124:19 in Cabal-2.0.0.2:Distribution.Simple
  defaultMainArgs, called at Main.hs:1210:18 in main:Main
cabal: '/home/ioijoi/.stack/programs/x86_64-linux/ghc-8.2.1/bin/ghc' exited
with an error:
Failed to load interface for ‘Data.Hashable.Generic’
no unit id matching ‘hashable-1.2.6.1-14fEJP30YhAG9w115PODz0’ was found
cabal: Leaving directory '/home/ioijoi/program/widx'
CallStack (from HasCallStack):
  die', called at ./Distribution/Client/Install.hs:995:15 in main:Distribution.Client.Install
cabal: Error: some packages failed to install:
widx-0.1.0.0-ENE00C4n2nTCnkzTC7mfaY failed during the final install step. The
exception was:
ExitFailure 1

$ stack --version
Version 1.6.0, Git revision 0e756d486a5a4d6fe03e0d448bb8e706c5834ca1 (5293 commits) x86_64 hpack-0.18.1

$ cat stack.yaml
resolver: lts-9.10
packages:
- .
extra-deps:
- git: 
  commit: master
- colors-0.3.0.2

$ cat package.yaml
name:                test-widx
version:             0.1.0.0
#synopsis:
#description:
homepage:            
license:             BSD3
author:              Author name here
maintainer:          
copyright:           2017 Author name here
category:            Web
extra-source-files:
- README.md

dependencies:
  - base >= 4.7 && < 5
  - widx

executables:
  test-widx:
    source-dirs:      src
    main:             Main.hs

extra-deps:
- git: 
  commit: feature/widget-modules
- colors-0.3.0.2

haskell
{-# LANGUAGE PatternSynonyms #-}

data SExpr = Cons SExpr SExpr | AtomInt Int

newtype CallowSExpr = CallowSExpr { growup :: SExpr }

pattern AtomInt' :: Int -> CallowSExpr
pattern AtomInt' x = CallowSExpr (AtomInt x)

pattern Cons' :: SExpr -> SExpr -> CallowSExpr
pattern Cons' x y = CallowSExpr (Cons x y)

main :: IO ()
main = do
  let x = Cons' (AtomInt 1) (AtomInt 2)
  return ()

haskell
pattern Cons'' :: CallowSExpr -> CallowSExpr -> CallowSExpr
--pattern Cons'' x y <- (growup {- …？ -})

y :: CallowSExpr
y = Cons'' (AtomInt' 1) (AtomInt' 2)

haskell
pattern Cons'' (AtomInt' x) (AtomInt' y) = CallowSExpr (Cons x y)
pattern Cons'' (CallowSExpr (Cons (AtomInt x1) (AtomInt x2))) (AtomInt' y) = CallowSExpr (Cons (Cons (AtomInt x) (AtomInt y)) y)
{-... 以下無限に続くと思う -}