[MLton-commit] r4441
Matthew Fluet
MLton@mlton.org
Wed, 3 May 2006 08:32:34 -0700
Formatting
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/c/x86-linux/c-types.sml
U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/c/x86-linux/c-types.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/c/x86-linux/c-types.sml 2006-05-03 03:18:11 UTC (rev 4440)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/config/c/x86-linux/c-types.sml 2006-05-03 15:32:34 UTC (rev 4441)
@@ -131,4 +131,3 @@
structure C_MPLimb = struct open Word32 type t = word end
functor C_MPLimb_ChooseWordN (A: CHOOSE_WORDN_ARG) = ChooseWordN_Word32 (A)
-
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-05-03 03:18:11 UTC (rev 4440)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-05-03 15:32:34 UTC (rev 4441)
@@ -55,7 +55,9 @@
OPTCFLAGS = $(CFLAGS) -O2 $(OPTFLAGS)
GCOPTCFLAGS = --param inline-unit-growth=75 --param max-inline-insns-single=1000
DEBUGCFLAGS = $(CFLAGS) -gstabs+ -g2 -O1 -DASSERT=1
-WARNFLAGS = -pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function \
+WARNFLAGS = \
+ -pedantic -Wall -Wextra \
+ -Wno-unused-parameter -Wno-unused-function \
-Wformat-nonliteral \
-Wuninitialized -Winit-self \
-Wstrict-aliasing=2 \