Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
20,993 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

7 Commits (master)

Author SHA1 Message Date
Gabriel Scherer 1ee6ee4194 fixup! matching: use pattern views in Parmatch as well 2020-05-21 09:51:30 +02:00
Gabriel Scherer 9ca2a352c8 make check-typo happy 2020-05-16 12:32:49 +02:00
Gabriel Scherer 68dc87c9e9 matching: use pattern views in Parmatch as well 2020-05-14 10:27:50 +02:00
Gabriel Scherer e19a3afcb4 matching: move {general,simple,half_simple}_view to Patterns 2020-05-14 10:27:15 +02:00
Gabriel Scherer 4d6267d3ba matching: move (Non_empty_row, views, General) to patterns.ml 2020-05-14 10:26:01 +02:00
Gabriel Scherer 0e979b7ea9 patterns: reuse ('a Typedtree.pattern_) to define Patterns.Head.t 2020-05-14 10:26:01 +02:00
Gabriel Scherer ffb6caef8b patterns: move Parmatch.Pattern_head into Patterns.Head 
The aim is to also move the Simple/Half_simple/General stuff from
matching, but we need to split in those modules the part that are
purely structural (they go in Patterns) and the parts that are
actually compilation logic (Half_simple.of_clause), those stay in
Matching.
 2020-05-14 10:11:36 +02:00