Spastic ataxia with congenital miosis