From 96b710d449043477db3f3d6d0315a0be78174b8b Mon Sep 17 00:00:00 2001 From: kili Date: Wed, 31 Oct 2012 19:21:14 +0000 Subject: [PATCH] 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@ --- lang/hs-syntactic/Makefile | 25 +++++++ lang/hs-syntactic/distinfo | 2 + lang/hs-syntactic/pkg/DESCR | 15 ++++ lang/hs-syntactic/pkg/PLIST | 143 ++++++++++++++++++++++++++++++++++++ 4 files changed, 185 insertions(+) create mode 100644 lang/hs-syntactic/Makefile create mode 100644 lang/hs-syntactic/distinfo create mode 100644 lang/hs-syntactic/pkg/DESCR create mode 100644 lang/hs-syntactic/pkg/PLIST diff --git a/lang/hs-syntactic/Makefile b/lang/hs-syntactic/Makefile new file mode 100644 index 00000000000..65621e8fddd --- /dev/null +++ b/lang/hs-syntactic/Makefile @@ -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 diff --git a/lang/hs-syntactic/distinfo b/lang/hs-syntactic/distinfo new file mode 100644 index 00000000000..c1b9cf472f0 --- /dev/null +++ b/lang/hs-syntactic/distinfo @@ -0,0 +1,2 @@ +SHA256 (ghc/syntactic-1.4.tar.gz) = tUrvEqwIkfkOJ0EBJDj8G6S4wY4mOuS8B4ZavXaYh/s= +SIZE (ghc/syntactic-1.4.tar.gz) = 33718 diff --git a/lang/hs-syntactic/pkg/DESCR b/lang/hs-syntactic/pkg/DESCR new file mode 100644 index 00000000000..24843f7e45e --- /dev/null +++ b/lang/hs-syntactic/pkg/DESCR @@ -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) diff --git a/lang/hs-syntactic/pkg/PLIST b/lang/hs-syntactic/pkg/PLIST new file mode 100644 index 00000000000..04f2a9917ec --- /dev/null +++ b/lang/hs-syntactic/pkg/PLIST @@ -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