Re: should the default be lower bounds or upper bounds?

Show/hide message thread

should the default be lower bounds or upper bounds? Peter McGoron (11 Apr 2026 13:42 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (11 Apr 2026 23:06 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 00:40 UTC)

Re: should the default be lower bounds or upper bounds? Per Bothner (12 Apr 2026 03:01 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 04:38 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 01:55 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 03:22 UTC)

Re: should the default be lower bounds or upper bounds? Bradley J Lucier (12 Apr 2026 04:08 UTC)

Re: should the default be lower bounds or upper bounds? John Cowan (12 Apr 2026 04:50 UTC)

Re: should the default be lower bounds or upper bounds? Bradley Lucier (12 Apr 2026 16:00 UTC)

Re: should the default be lower bounds or upper bounds? Peter McGoron (12 Apr 2026 16:14 UTC)

Re: should the default be lower bounds or upper bounds? Bradley J Lucier 12 Apr 2026 04:08 UTC

> On Apr 11, 2026, at 23:22, Peter McGoron <xxxxxx@mcgoron.com> wrote:
>
> #a i32 ((1 4) (1 4) (1 4) (1 4))

Perhaps these bounds should be (1 5).