This library provides:
* Generic representation and manipulation of abstract syntax using a practical encoding of open data types (based on Data Types a la Carte) * Utilities for analyzing and transforming generic syntax * General variable binding constructs * Utilities for building extensible embedded languages based on generic syntax * A small proof-of-concept implementation of the embedded language Feldspar (see the examples directory) ok jasper@
This commit is contained in:
kili
parent
f133c214d9
commit
96b710d449
25
lang/hs-syntactic/Makefile
Normal file
25
lang/hs-syntactic/Makefile
Normal file
@ -0,0 +1,25 @@
|
||||
# $OpenBSD: Makefile,v 1.1.1.1 2012/10/31 19:21:14 kili Exp $
|
||||
|
||||
COMMENT = abstract syntax and utilities for embedded languages
|
||||
|
||||
DISTNAME = syntactic-1.4
|
||||
CATEGORIES = devel lang
|
||||
|
||||
# BSD3
|
||||
PERMIT_PACKAGE_CDROM = Yes
|
||||
PERMIT_PACKAGE_FTP = Yes
|
||||
PERMIT_DISTFILES_CDROM =Yes
|
||||
PERMIT_DISTFILES_FTP = Yes
|
||||
|
||||
MODULES = lang/ghc
|
||||
|
||||
MODGHC_BUILD = cabal hackage haddock register
|
||||
|
||||
BUILD_DEPENDS = ${RUN_DEPENDS}
|
||||
RUN_DEPENDS = devel/hs-constraints \
|
||||
devel/hs-data-hash \
|
||||
devel/hs-mtl>=2,<3 \
|
||||
devel/hs-transformers>=0.2 \
|
||||
devel/hs-tuple>=0.2
|
||||
|
||||
.include <bsd.port.mk>
|
||||
2
lang/hs-syntactic/distinfo
Normal file
2
lang/hs-syntactic/distinfo
Normal file
@ -0,0 +1,2 @@
|
||||
SHA256 (ghc/syntactic-1.4.tar.gz) = tUrvEqwIkfkOJ0EBJDj8G6S4wY4mOuS8B4ZavXaYh/s=
|
||||
SIZE (ghc/syntactic-1.4.tar.gz) = 33718
|
||||
15
lang/hs-syntactic/pkg/DESCR
Normal file
15
lang/hs-syntactic/pkg/DESCR
Normal file
@ -0,0 +1,15 @@
|
||||
This library provides:
|
||||
|
||||
* Generic representation and manipulation of abstract syntax
|
||||
using a practical encoding of open data types (based on Data
|
||||
Types a la Carte)
|
||||
|
||||
* Utilities for analyzing and transforming generic syntax
|
||||
|
||||
* General variable binding constructs
|
||||
|
||||
* Utilities for building extensible embedded languages based
|
||||
on generic syntax
|
||||
|
||||
* A small proof-of-concept implementation of the embedded
|
||||
language Feldspar (see the examples directory)
|
||||
143
lang/hs-syntactic/pkg/PLIST
Normal file
143
lang/hs-syntactic/pkg/PLIST
Normal file
@ -0,0 +1,143 @@
|
||||
@comment $OpenBSD: PLIST,v 1.1.1.1 2012/10/31 19:21:14 kili Exp $
|
||||
lib/ghc/${DISTNAME}/
|
||||
lib/ghc/${DISTNAME}/Data/
|
||||
lib/ghc/${DISTNAME}/Data/DynamicAlt.hi
|
||||
lib/ghc/${DISTNAME}/Data/PolyProxy.hi
|
||||
lib/ghc/${DISTNAME}/HS${DISTNAME}.o
|
||||
lib/ghc/${DISTNAME}/Language/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constraint.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Binding/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Binding.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Binding/HigherOrder.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Binding/Optimize.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Condition.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Construct.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Decoration.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Identity.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Literal.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Monad.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Constructs/Tuple.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Frontend/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Frontend/Monad.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Frontend/Tuple.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Frontend/TupleConstrained.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Interpretation/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Interpretation/Equality.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Interpretation/Evaluation.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Interpretation/Render.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Interpretation/Semantics.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/Graph.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/Reify.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/ReifyHO.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/SimpleCodeMotion.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/StableName.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sharing/Utils.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Sugar.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Syntax.hi
|
||||
lib/ghc/${DISTNAME}/Language/Syntactic/Traversal.hi
|
||||
lib/ghc/${DISTNAME}/libHS${DISTNAME}.a
|
||||
lib/ghc/${DISTNAME}/register.sh
|
||||
share/doc/hs-${DISTNAME}/
|
||||
share/doc/hs-${DISTNAME}/LICENSE
|
||||
share/doc/hs-${DISTNAME}/html/
|
||||
share/doc/hs-${DISTNAME}/html/Data-DynamicAlt.html
|
||||
share/doc/hs-${DISTNAME}/html/Data-PolyProxy.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constraint.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Binding-HigherOrder.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Binding-Optimize.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Binding.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Condition.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Construct.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Decoration.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Identity.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Literal.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Monad.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Constructs-Tuple.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Frontend-Monad.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Frontend-Tuple.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Frontend-TupleConstrained.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Interpretation-Equality.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Interpretation-Evaluation.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Interpretation-Render.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Interpretation-Semantics.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-Graph.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-Reify.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-ReifyHO.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-SimpleCodeMotion.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-StableName.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sharing-Utils.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Sugar.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Syntax.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic-Traversal.html
|
||||
share/doc/hs-${DISTNAME}/html/Language-Syntactic.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-58.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-A.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-All.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-B.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-C.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-D.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-E.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-F.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-G.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-H.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-I.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-L.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-M.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-N.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-O.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-P.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-Q.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-R.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-S.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-T.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-U.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-V.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index-W.html
|
||||
share/doc/hs-${DISTNAME}/html/doc-index.html
|
||||
share/doc/hs-${DISTNAME}/html/frames.html
|
||||
share/doc/hs-${DISTNAME}/html/haddock-util.js
|
||||
share/doc/hs-${DISTNAME}/html/hslogo-16.png
|
||||
share/doc/hs-${DISTNAME}/html/index-frames.html
|
||||
share/doc/hs-${DISTNAME}/html/index.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Data-DynamicAlt.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Data-PolyProxy.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constraint.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Binding-HigherOrder.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Binding-Optimize.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Binding.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Condition.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Construct.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Decoration.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Identity.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Literal.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Monad.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Constructs-Tuple.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Frontend-Monad.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Frontend-Tuple.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Frontend-TupleConstrained.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Interpretation-Equality.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Interpretation-Evaluation.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Interpretation-Render.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Interpretation-Semantics.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-Graph.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-Reify.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-ReifyHO.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-SimpleCodeMotion.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-StableName.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sharing-Utils.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Sugar.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Syntax.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic-Traversal.html
|
||||
share/doc/hs-${DISTNAME}/html/mini_Language-Syntactic.html
|
||||
share/doc/hs-${DISTNAME}/html/minus.gif
|
||||
share/doc/hs-${DISTNAME}/html/ocean.css
|
||||
share/doc/hs-${DISTNAME}/html/plus.gif
|
||||
share/doc/hs-${DISTNAME}/html/synopsis.png
|
||||
share/doc/hs-${DISTNAME}/html/syntactic.haddock
|
||||
@exec /usr/bin/env HOME=/nonexistent %D/lib/ghc/${DISTNAME}/register.sh -v0
|
||||
@unexec /usr/bin/env HOME=/nonexistent %D/lib/ghc/${DISTNAME}/unregister.sh -v0 --force
|
||||
lib/ghc/${DISTNAME}/unregister.sh
|
||||
Loading…
Reference in New Issue
Block a user