From 924e43a6460aa76124ff140d3e8dc0d112d668c7 Mon Sep 17 00:00:00 2001 From: Joseph Koshy Date: Fri, 24 Aug 2001 09:12:43 +0000 Subject: Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. PR: ports/29656 Submitted by: Johannes 5 Joemann --- .../sml-nj-devel/files/optional-patch-flint-access | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 lang/sml-nj-devel/files/optional-patch-flint-access (limited to 'lang/sml-nj-devel/files/optional-patch-flint-access') 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 -- cgit v1.2.3