* hasse/stdlib/chars_limit_bug/OTP-15875/ERL-967:
  stdlib: Fix a bug concerning io_lib option 'chars_limit'

# Conflicts:
#	lib/stdlib/test/io_SUITE.erl

See also https://bugs.erlang.org/browse/ERL-967.

* hasse/stdlib/chars_limit_bug/OTP-15847/ERL-957:
  stdlib: Fix a bug concerning io_lib option 'chars_limit'

# Conflicts:
#	lib/stdlib/test/io_SUITE.erl

See also https://bugs.erlang.org/browse/ERL-957.

* hasse/stdlib/optimize_io_format/OTP-15705:
  stdlib: Optimize pretty printing of strings with chars_limit
  stdlib: Optimize printing of maps a bit
  stdlib: Optimize pretty printing of lists slightly

* hasse/stdlib/check_spec_module/OTP-15563/ERL-845:
  stdlib: Do not allow specs for functions in other modules

See also https://bugs.erlang.org/browse/ERL-845.

[Kostis:]

My suggestion is that the compiler refuses to compile modules that
contain specs for functions that are not from this module. I do not
remember when / why this `feature' was introduced, but thinking about
it I see a lot of (ugly) semantics issues with it. For example, should
one be allowed to declare in the foo module that lists:flatten/1 takes
an integer() as an argument and returns a binary()? Should one be
allowed to declare a spec in some module m1 for a function of m2 that
is not defined in m2?

There are all kinds of checks that will need to be added to dialyzer
to protect itself from these semantics issues. The compiler already
refuses to compile modules that contain specs for non-existing
functions of the module. Similarly, it should refuse to compile
modules that contain specs for functions of other modules - unless it
can somehow check that these functions are indeed defined, but it is
not how the compiler currently works.

Avoid traversing all of string arguments when limiting the output with
the 'chars_limit' option.

Could expand binary to list for to many elements.
Fix and add tests.

Fixed bug in slice which wrongly could return <<>> for non-utf8 binary input.

Also give a better error reason when non-utf8 binaries are given as
input to some functions.