How does Debian solve the gcc/binutils self-dependency? > All SML compilers that I know of are written in SML. So, in order to > get into that world, some SML compiler must break the cycle. I think > MLton is as good a choice as any. Of course, SML/NJ will (rightly) claim that you can't use MLton to compile SML/NJ (because they use non-SML extensions).