mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Enable --warn-insts-with-functors-without-type.
configure.ac:
Require that the installed compiler support this option (which I added
about two weeks ago).
browser/MDB_FLAGS.in:
compiler/COMP_FLAGS.in:
deep_profiler/DEEP_FLAGS.in:
library/LIB_FLAGS.in:
mdbcomp/MDBCOMP_FLAGS.in:
mfilterjavac/MFILTERJAVAC_FLAGS.in:
profiler/PROF_FLAGS.in:
slice/SLICE_FLAGS.in:
ssdb/SSDB_FLAGS.in:
Specify this option by default for every directory that contains
Mercury code.
This commit is contained in:
@@ -4,6 +4,7 @@
|
|||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
--warn-inconsistent-pred-order-clauses
|
--warn-inconsistent-pred-order-clauses
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -3,6 +3,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -554,7 +554,7 @@ EOF
|
|||||||
--halt-at-warn \
|
--halt-at-warn \
|
||||||
$link_static_opt conftest \
|
$link_static_opt conftest \
|
||||||
--erlang-native-code \
|
--erlang-native-code \
|
||||||
--trace-goal-only-locals-2017-07-05 \
|
--warn-insts-with-functors-without-type \
|
||||||
--no-ssdb \
|
--no-ssdb \
|
||||||
</dev/null >&AC_FD_CC 2>&1 &&
|
</dev/null >&AC_FD_CC 2>&1 &&
|
||||||
test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world" &&
|
test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world" &&
|
||||||
|
|||||||
@@ -4,6 +4,7 @@
|
|||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
--warn-inconsistent-pred-order-clauses
|
--warn-inconsistent-pred-order-clauses
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -5,6 +5,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -4,6 +4,7 @@
|
|||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
--warn-inconsistent-pred-order-clauses
|
--warn-inconsistent-pred-order-clauses
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -3,6 +3,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -3,6 +3,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -3,6 +3,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
@@ -3,6 +3,7 @@
|
|||||||
--warn-known-bad-format-calls
|
--warn-known-bad-format-calls
|
||||||
--warn-unknown-format-calls
|
--warn-unknown-format-calls
|
||||||
--warn-unused-imports
|
--warn-unused-imports
|
||||||
|
--warn-insts-with-functors-without-type
|
||||||
--halt-at-warn
|
--halt-at-warn
|
||||||
--no-warn-inferred-erroneous
|
--no-warn-inferred-erroneous
|
||||||
--no-mercury-stdlib-dir
|
--no-mercury-stdlib-dir
|
||||||
|
|||||||
Reference in New Issue
Block a user