[MLton-commit] r4398

[Matthew Fluet]

Configuration with Real = Real32
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/default/large-real.sml
A   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/maps/default-real32.map

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/default/large-real.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/default/large-real.sml	2006-04-19 01:19:31 UTC (rev 4397)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/default/large-real.sml	2006-04-19 02:37:13 UTC (rev 4398)
@@ -8,5 +8,5 @@
 structure LargeReal = Real64
 
 functor LargeReal_ChooseRealN (A: CHOOSE_REALN_ARG) :
-   sig val f : Real.real A.t end =
+   sig val f : LargeReal.real A.t end =
    ChooseRealN_Real64 (A)

Copied: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/maps/default-real32.map (from rev 4396, mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/maps/default-real64.map)
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/maps/default-real64.map	2006-04-19 00:53:39 UTC (rev 4396)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/maps/default-real32.map	2006-04-19 02:37:13 UTC (rev 4398)
@@ -0,0 +1 @@
+DEFAULT_REAL default-real32.sml