Re: [TUHS] compiler checking types