Make PRETTY_LAMBDA changeable outside the crate

[ljedrz]

Make PRETTY_LAMBDA changeable outside the crate

[ljedrz]

Thanks for your feedback! This is a good point; I looked into my options and found the following:

1. changing it to a static mut, but it requires unsafe blocks whenever it is used
2. using lazy_static, but I would prefer to avoid any dependencies
3. conditional compilation with e.g. #[cfg(feature="backslash_lambda")]

I don't have much experience in terms of crate integration, but option 3 looks most promising to me. I doubt anyone will want to use both variants at once, so a one-time decision makes sense. Do you think it would be a good idea?

[Michael-F-Bryan]

Option 3 sounds like it'll probably be the best one. It's not really something you'd want to change often anyway, and a feature will probably be the best option.

You could probably do something like this:

#[cfg(feature = "backslash_lambda")]
const LAMBDA: char = '\\';
#[cfg(not(feature = "backslash_lambda"))]
const LAMBDA: char = 'λ';

Then whenever you need a lambda character just refer to that. From what I can see the only file affected would be src/term.rs.

[ljedrz]

Done. Thanks again!