[pkgsrc/trunk]: pkgsrc/lang/idris lang/idris: Link idris with static Haskell ...

To: pkgsrc-changes-hg%NetBSD.org@localhost
Subject: [pkgsrc/trunk]: pkgsrc/lang/idris lang/idris: Link idris with static Haskell ...
From: pho <pho%pkgsrc.org@localhost>
Date: Sat, 26 Feb 2022 09:55:45 +0000
details:   https://anonhg.NetBSD.org/pkgsrc/rev/0f6f4811cb34
branches:  trunk
changeset: 374757:0f6f4811cb34
user:      pho <pho%pkgsrc.org@localhost>
date:      Sat Feb 26 08:07:37 2022 +0000

description:
lang/idris: Link idris with static Haskell libraries

Also generate shell completion scripts with optparse-applicative.

diffstat:

 lang/idris/Makefile               |   20 ++-
 lang/idris/PLIST                  |  234 +-------------------------------------
 lang/idris/buildlink3.mk          |   41 ------
 lang/idris/distinfo               |    4 +-
 lang/idris/patches/patch-Setup.hs |    4 +-
 5 files changed, 22 insertions(+), 281 deletions(-)

diffs (truncated from 482 to 300 lines):

diff -r 590de1836feb -r 0f6f4811cb34 lang/idris/Makefile
--- a/lang/idris/Makefile       Sat Feb 26 07:54:25 2022 +0000
+++ b/lang/idris/Makefile       Sat Feb 26 08:07:37 2022 +0000
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.10 2022/02/26 03:58:15 pho Exp $
+# $NetBSD: Makefile,v 1.11 2022/02/26 08:07:37 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
-PKGREVISION=   2
+PKGREVISION=   3
 CATEGORIES=    lang
 
 MAINTAINER=    pho%cielonegro.org@localhost
@@ -32,6 +32,21 @@
 # https://gitlab.haskell.org/ghc/ghc/issues/13535
 HASKELL_OPTIMIZATION_LEVEL=    1
 
+# If idris is to be linked dynamically, it will depend on more than 110
+# shared objects and the dynamic linker will spend nearly a second to
+# resolve symbols on startup. This is unacceptable because idris tends to
+# be launched very frequently by build systems. This wastes storage, but
+# time is more expensive than disks.
+HASKELL_ENABLE_SHARED_LIBRARY= no
+
+# It makes no sense to build the profiling library because this package
+# isn't meant to be used as a library.
+HASKELL_ENABLE_LIBRARY_PROFILING=      no
+
+# idris is built with optparse-applicative, and can generate shell
+# completion scripts automatically.
+.include "../../devel/hs-optparse-applicative/application.mk"
+
 .include "options.mk"
 
 .include "../../converters/hs-aeson/buildlink3.mk"
@@ -49,7 +64,6 @@
 .include "../../math/hs-ieee754/buildlink3.mk"
 .include "../../textproc/hs-megaparsec/buildlink3.mk"
 .include "../../net/hs-network/buildlink3.mk"
-.include "../../devel/hs-optparse-applicative/buildlink3.mk"
 .include "../../devel/hs-parser-combinators/buildlink3.mk"
 .include "../../textproc/hs-regex-tdfa/buildlink3.mk"
 .include "../../devel/hs-safe/buildlink3.mk"
diff -r 590de1836feb -r 0f6f4811cb34 lang/idris/PLIST
--- a/lang/idris/PLIST  Sat Feb 26 07:54:25 2022 +0000
+++ b/lang/idris/PLIST  Sat Feb 26 08:07:37 2022 +0000
@@ -1,358 +1,126 @@
-@comment $NetBSD: PLIST,v 1.2 2021/04/25 11:39:03 pho Exp $
+@comment $NetBSD: PLIST,v 1.3 2022/02/26 08:07:37 pho Exp $
 bin/idris
 bin/idris-codegen-c
 bin/idris-codegen-javascript
 bin/idris-codegen-node
 lib/${PKGNAME}/${HS_VERSION}/package-description
 lib/${PKGNAME}/${HS_VERSION}/package-id
-lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.dyn_hi
Prev by Date: [pkgsrc/trunk]: pkgsrc/doc doc: Updated graphics/gegl to 0.4.36
Next by Date: [pkgsrc/trunk]: pkgsrc/devel/hs-hiedb devel/hs-hiedb: Generate shell completi...
Previous by Thread: [pkgsrc/trunk]: pkgsrc/doc doc: Updated graphics/gegl to 0.4.36
Next by Thread: [pkgsrc/trunk]: pkgsrc/devel/hs-hiedb devel/hs-hiedb: Generate shell completi...
Indexes:
Home | Main Index | Thread Index | Old Index