[Chicken-janitors] #1198: Allow `the` to override inferred types

[Chicken Trac]

#1198: Allow `the` to override inferred types
-------------------------------------------+---------------------
 Reporter:  evhan                          |      Owner:
     Type:  enhancement                    |     Status:  new
 Priority:  minor                          |  Milestone:  someday
Component:  scrutinizer                    |    Version:  4.9.x
 Keywords:  types, strict-types, compiler  |
-------------------------------------------+---------------------
 `the` can currently specialize an expression's inferred type to a more
 specific one, but it can't also generalize it to a less specific one when
 -strict-types is used (an error is signaled during compilation when the
 declared type is more general than the inferred type):

 {{{
 Warning: in toplevel procedure `foo?':
   expression returns a result of type `fixnum', but is declared to return
 `number', which is not a subtype

 Error: some variable types do not satisfy strictness
 }}}

 This would be useful for the purpose described in
 [https://lists.nongnu.org/archive/html/chicken-
 hackers/2015-06/msg00039.html this thread] (specifically
 [https://lists.nongnu.org/archive/html/chicken-
 hackers/2015-07/msg00000.html here]).

--
Ticket URL: <http://bugs.call-cc.org/ticket/1198>
CHICKEN Scheme <http://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.