parse error: `λ x.x`

[lengyijun]

Is this expected ?

[lengyijun]

Whitespace rule in classic is too strict:

        let term = parse(r"λ x.x", Classic);
        assert_eq!(term, parse("λ0", DeBruijn));

        let term = parse("λx.x x", Classic);
        assert_eq!(term, parse("λ00", DeBruijn));

        let term = parse("λ x.x x", Classic);
        assert_eq!(term, parse("λ00", DeBruijn));

        let term = parse("λ x.xx", Classic);
        // fail
        // assert_eq!(term, parse("λ00", DeBruijn));

[ljedrz]

It's just convention/convenience, and a reasonable one IMO; otherwise you wouldn't necessarily know where the variable names begin and end.