Hackage :: [Package]

Build #1 for ogma-language-smv-1.10.0

[all reports]

Package ogma-language-smv-1.10.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2025-09-22 19:04:02.56533409 UTC
Compiler ghc-9.8.4
OS linux
Arch x86_64
Dependencies array-0.5.8.0, base-4.19.2.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
[1 of 2] Compiling Main             ( /tmp/cabal-tmp-525303/ogma-language-smv-1.10.0/dist/setup/setup.hs, /tmp/cabal-tmp-525303/ogma-language-smv-1.10.0/dist/setup/Main.o )
[2 of 2] Linking /tmp/cabal-tmp-525303/ogma-language-smv-1.10.0/dist/setup/setup
Configuring ogma-language-smv-1.10.0...
64 rules accepted

Use Alex 3 to compile Language/SMV/LexSMV.x.
writing new file src/Language/SMV/AbsSMV.hs
writing new file src/Language/SMV/PrintSMV.hs
writing new file src/Language/SMV/LexSMV.x
writing new file src/Language/SMV/ParSMV.y
writing new file src/Language/SMV/TestSMV.hs
writing new file src/Language/SMV/ErrM.hs
writing new file src/Language/SMV/SkelSMV.hs
writing new file src/Language/SMV/DocSMV.txt
Preprocessing library for ogma-language-smv-1.10.0..
unused rules: 1
shift/reduce conflicts:  1
reduce/reduce conflicts: 19
Building library for ogma-language-smv-1.10.0..
[1 of 5] Compiling Language.SMV.AbsSMV ( src/Language/SMV/AbsSMV.hs, dist/build/Language/SMV/AbsSMV.o, dist/build/Language/SMV/AbsSMV.dyn_o )
[2 of 5] Compiling Language.SMV.LexSMV ( dist/build/Language/SMV/LexSMV.hs, dist/build/Language/SMV/LexSMV.o, dist/build/Language/SMV/LexSMV.dyn_o )
[3 of 5] Compiling Language.SMV.ParSMV ( dist/build/Language/SMV/ParSMV.hs, dist/build/Language/SMV/ParSMV.o, dist/build/Language/SMV/ParSMV.dyn_o )
[4 of 5] Compiling Language.SMV.PrintSMV ( src/Language/SMV/PrintSMV.hs, dist/build/Language/SMV/PrintSMV.o, dist/build/Language/SMV/PrintSMV.dyn_o )
[5 of 5] Compiling Language.SMV.Substitution ( src/Language/SMV/Substitution.hs, dist/build/Language/SMV/Substitution.o, dist/build/Language/SMV/Substitution.dyn_o )
Preprocessing library for ogma-language-smv-1.10.0..
Running Haddock on library for ogma-language-smv-1.10.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 5] Compiling Language.SMV.AbsSMV ( src/Language/SMV/AbsSMV.hs, nothing )
[2 of 5] Compiling Language.SMV.LexSMV ( dist/build/Language/SMV/LexSMV.hs, nothing )
[3 of 5] Compiling Language.SMV.ParSMV ( dist/build/Language/SMV/ParSMV.hs, nothing )
[4 of 5] Compiling Language.SMV.PrintSMV ( src/Language/SMV/PrintSMV.hs, nothing )
[5 of 5] Compiling Language.SMV.Substitution ( src/Language/SMV/Substitution.hs, nothing )
Haddock coverage:
   8% (  1 / 12) in 'Language.SMV.AbsSMV'
  Missing documentation for:
    BoolSpec (src/Language/SMV/AbsSMV.hs:13)
    NumExpr (src/Language/SMV/AbsSMV.hs:28)
    AdditiveOp (src/Language/SMV/AbsSMV.hs:36)
    MultOp (src/Language/SMV/AbsSMV.hs:39)
    BoolConst (src/Language/SMV/AbsSMV.hs:42)
    OpOne (src/Language/SMV/AbsSMV.hs:46)
    Number (src/Language/SMV/AbsSMV.hs:52)
    OrdOp (src/Language/SMV/AbsSMV.hs:55)
    Op1Name (src/Language/SMV/AbsSMV.hs:59)
    OpTwo (src/Language/SMV/AbsSMV.hs:63)
    Ident (src/Language/SMV/AbsSMV.hs:66)
  37% ( 18 / 48) in 'Language.SMV.LexSMV'
  Missing documentation for:
    Module header
    alex_tab_size (dist/build/Language/SMV/LexSMV.hs:35)
    alex_base (dist/build/Language/SMV/LexSMV.hs:37)
    alex_table (dist/build/Language/SMV/LexSMV.hs:41)
    alex_check (dist/build/Language/SMV/LexSMV.hs:45)
    alex_deflt (dist/build/Language/SMV/LexSMV.hs:49)
    alex_accept (dist/build/Language/SMV/LexSMV.hs:52)
    alex_actions (dist/build/Language/SMV/LexSMV.hs:68)
    alex_action_1 (dist/build/Language/SMV/LexSMV.hs:78)
    alex_action_2 (dist/build/Language/SMV/LexSMV.hs:79)
    alex_action_3 (dist/build/Language/SMV/LexSMV.hs:80)
    alex_action_4 (dist/build/Language/SMV/LexSMV.hs:81)
    AlexAddr (dist/build/Language/SMV/LexSMV.hs:125)
    alexIndexInt16OffAddr (dist/build/Language/SMV/LexSMV.hs:133)
    alexIndexInt32OffAddr (dist/build/Language/SMV/LexSMV.hs:154)
    quickIndex (dist/build/Language/SMV/LexSMV.hs:182)
    AlexReturn (dist/build/Language/SMV/LexSMV.hs:191)
    alexScan (dist/build/Language/SMV/LexSMV.hs:198)
    alexScanUser (dist/build/Language/SMV/LexSMV.hs:201)
    alex_scan_tkn (dist/build/Language/SMV/LexSMV.hs:232)
    AlexLastAcc (dist/build/Language/SMV/LexSMV.hs:286)
    AlexAcc (dist/build/Language/SMV/LexSMV.hs:291)
    Posn (src/Language/SMV/LexSMV.x:194)
    alexStartPos (src/Language/SMV/LexSMV.x:198)
    alexMove (src/Language/SMV/LexSMV.x:201)
    Byte (src/Language/SMV/LexSMV.x:205)
    AlexInput (src/Language/SMV/LexSMV.x:207)
    tokens (src/Language/SMV/LexSMV.x:213)
    alexGetByte (src/Language/SMV/LexSMV.x:224)
    alexInputPrevChar (src/Language/SMV/LexSMV.x:234)
   0% (  0 /  4) in 'Language.SMV.ParSMV'
  Missing documentation for:
    Module header
    happyError (dist/build/Language/SMV/ParSMV.hs:894)
    myLexer (dist/build/Language/SMV/ParSMV.hs:902)
    pBoolSpec (dist/build/Language/SMV/ParSMV.hs:885)
  23% (  3 / 13) in 'Language.SMV.PrintSMV'
  Missing documentation for:
    Doc (src/Language/SMV/PrintSMV.hs:30)
    doc (src/Language/SMV/PrintSMV.hs:33)
    render (src/Language/SMV/PrintSMV.hs:36)
    parenth (src/Language/SMV/PrintSMV.hs:95)
    concatS (src/Language/SMV/PrintSMV.hs:98)
    concatD (src/Language/SMV/PrintSMV.hs:101)
    replicateS (src/Language/SMV/PrintSMV.hs:104)
    printString (src/Language/SMV/PrintSMV.hs:121)
    mkEsc (src/Language/SMV/PrintSMV.hs:124)
    prPrec (src/Language/SMV/PrintSMV.hs:132)
   0% (  0 /  6) in 'Language.SMV.Substitution'
  Missing documentation for:
    Module header
    substituteBoolExpr (src/Language/SMV/Substitution.hs:5)
    subsName (src/Language/SMV/Substitution.hs:8)
    subBS (src/Language/SMV/Substitution.hs:11)
    mapBoolSpecIdent (src/Language/SMV/Substitution.hs:15)
    mapNumExprIdent (src/Language/SMV/Substitution.hs:57)
Warning: Language.SMV.ParSMV: could not find link destinations for: 
	- Language.SMV.ParSMV.Err
Documentation created: dist/doc/html/ogma-language-smv/,
dist/doc/html/ogma-language-smv/ogma-language-smv.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ogma-language-smv-1.10.0-4BFawMHitiJFnIcTsphR05
Completed    ogma-language-smv-1.10.0

Test log

[view raw]

Resolving dependencies...
Error:
    Internal libraries only supported with per-component builds.
    Per-component builds were disabled because program coverage is enabled
    In the package 'happy-lib-2.1.7'