Change `function_type` to `core_type_no_attr` in the definition of `core_type_no_attr`. This means that `int as 'a as 'b` is now accepted as a valid core type, whereas it was previously rejected.
Change `function_type` to `core_type_no_attr` in the definition
of `core_type_no_attr`. This means that `int as 'a as 'b` is now
accepted as a valid core type, whereas it was previously rejected.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml