Minimal prelude compiler callback option documentation