  We prove that there does not exist any connected topological proper loop
homeomorphic to a quasi-simple Lie group and having a compact Lie group as the
group topologically generated by its left translations. Moreover, any connected
topological loop homeomorphic to the 7-sphere and having a compact Lie group as
the group of its left translations is classical. We give a particular simple
general construction for proper loops such that the compact group of their left
translations is direct product of at least 3 factors.
