[MLton-commit] r6822
Matthew Fluet
fluet at mlton.org
Mon Sep 1 06:19:25 PDT 2008
Use type-check-def flags for def-use.
----------------------------------------------------------------------
U mlton/trunk/basis-library/Makefile
----------------------------------------------------------------------
Modified: mlton/trunk/basis-library/Makefile
===================================================================
--- mlton/trunk/basis-library/Makefile 2008-09-01 13:19:21 UTC (rev 6821)
+++ mlton/trunk/basis-library/Makefile 2008-09-01 13:19:24 UTC (rev 6822)
@@ -32,12 +32,14 @@
.PHONY: def-use
def-use:
- "$(MLTON)" -stop tc -prefer-abs-paths true -show-def-use basis-library.def-use libs/all.mlb
+ "$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
+ -prefer-abs-paths true -show-def-use basis-library.def-use \
+ libs/all.mlb
.PHONY: type-check-def
type-check-def:
"$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
- libs/all.mlb;
+ libs/all.mlb
.PHONY: type-check-all
type-check-all:
More information about the MLton-commit
mailing list