In the book by V.Kac "Infinite dimensional Lie algebras" in proposition 4.9 it is argued that Weyl group constructed by Cartan matrix which defines positive-definite metric on Cartan subalgebra is finite. The way argument is presented in in the book: Weyl group is a subgroup of compact orthogonal group because the metric is positive-definite. Also Weyl group preserves the root lattice, hence it is discrete. This implies that the Weyl group is finite.
Why does it imply? Any discrete subgroup of orthogonal group has to be compact? What about subgroup of SO(2) generated by an element: rotation by an angle 2 pi x, where x is a non-zero irrational number? Is not it counterexample?