delta/ocaml.git, branch flatten-pattern

matching: try => match with exception

2020-02-20T08:56:44+00:00

This makes it clearer where the exception comes from.

[REVIEW REQUIRED] matching: flatten_simple_pattern does not raise

2020-02-20T08:56:44+00:00

matching: push simple types to flatten_pattern

2020-02-20T08:56:44+00:00

Unfortunately since the function is exposed and used in translcore we
need to keep the generic one, and introduce a flatten_simple_pattern.

do_for_multiple_match: add a test for flattening failure

2020-02-19T17:31:03+00:00

Note: this is due to mk_alpha_env raising Cannot_flatten during
splitting/precompilation.

matching: argo => arg_id

2020-02-19T17:31:03+00:00

matching: use pattern views in Parmatch as well

2020-02-19T17:31:03+00:00

matching: move {general,simple,half_simple}_view to Patterns

2020-02-19T17:31:03+00:00

matching: move (Non_empty_row, views, General) to patterns.ml

2020-02-19T17:31:03+00:00

patterns: reuse ('a Typedtree.pattern_) to define Patterns.Head.t

2020-02-19T17:31:03+00:00

matching: separate types for rows and clauses

2020-02-19T17:31:03+00:00

"rows" are common abstraction of both pattern analysis and
compilation, but clauses carrying a Lambda.t term are
compilation-specific. Separating rows will thus enable moving more
logic to typing/patterns for use in both settings.