2 patches for repository https://darcs.net/screened:
patch 66f1028034d063bf5cb1a0cfc3d461b1d91b152e
Author: Ben Franksen <ben.franksen@online.de>
Date: Wed Apr 5 09:59:32 CEST 2023
* refactor and cleanup parsing of match expressions
This concentrates all the parsing the functionality into the single function
'matchParser' and increases readability of the parsing code in various ways:
naming of subparsers, code layout, comments, etc.
patch 80233fd730f31864932f0087de703a23f6aff69c
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Apr 6 00:17:09 CEST 2023
* D.P.Match: rename matchPattern to patternmatch
This is for consistency of naming with the other prim matchers.
Attachments
|