diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-08-24 09:12:43 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-08-24 09:12:43 +0000 |
| commit | 924e43a6460aa76124ff140d3e8dc0d112d668c7 (patch) | |
| tree | 27ae57ccd4d01467676beb1b3592d31a111598f9 /lang/sml-nj-devel/files/optional-patch-flint-access | |
| parent | add vm-pop3d (diff) | |
Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.
PR: ports/29656
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de>
Diffstat (limited to 'lang/sml-nj-devel/files/optional-patch-flint-access')
| -rw-r--r-- | lang/sml-nj-devel/files/optional-patch-flint-access | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/files/optional-patch-flint-access b/lang/sml-nj-devel/files/optional-patch-flint-access new file mode 100644 index 000000000000..890534cfb661 --- /dev/null +++ b/lang/sml-nj-devel/files/optional-patch-flint-access @@ -0,0 +1,29 @@ +--- src/compiler/viscomp-core.cm.orig Tue May 8 23:25:14 2001 ++++ src/compiler/viscomp-core.cm Thu Aug 9 00:06:53 2001 +@@ -69,6 +69,26 @@ + + functor DummyCCallsFn + structure ClusterAnnotation ++ ++ (* export of structures required to use FLINT directly -5- *) ++ structure Types ++ structure Translate ++ (* in 110.27 already exported above: structure FLINT *) ++ structure LtyKernel ++ structure PrimTyc ++ structure LtyDef ++ structure LtyExtern ++ structure PPFlint ++ structure LContract ++ (* currently unused?: structure FContract *) ++ structure Specialize ++ structure PrimOp ++ structure LambdaVar ++ structure ChkFlint ++ (* accessible via GenericVC: structure Symbol *) ++ structure Access ++ structure DebIndex ++ + is + + TopLevel/batch/batchconfig.sml |