diff options
| author | Jon French | 2018-05-02 12:00:07 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-02 12:00:07 +0100 |
| commit | 0c062d51d850c77d01fc3e78a73778e6f5aa7a59 (patch) | |
| tree | 8c78f252430096dd46441de71a54dd10d1ba7276 /src/rewriter.mli | |
| parent | 274b7517f07076be19eedc1bdade6db2c649a8bc (diff) | |
refactor string append pattern ast to be based on lists rather than pairs
Diffstat (limited to 'src/rewriter.mli')
| -rw-r--r-- | src/rewriter.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewriter.mli b/src/rewriter.mli index 70c894c4..90c15b16 100644 --- a/src/rewriter.mli +++ b/src/rewriter.mli @@ -95,7 +95,7 @@ type ('a,'pat,'pat_aux,'fpat,'fpat_aux) pat_alg = ; p_tup : 'pat list -> 'pat_aux ; p_list : 'pat list -> 'pat_aux ; p_cons : 'pat * 'pat -> 'pat_aux - ; p_string_append : 'pat * 'pat -> 'pat_aux + ; p_string_append : 'pat list -> 'pat_aux ; p_aux : 'pat_aux * 'a annot -> 'pat ; fP_aux : 'fpat_aux * 'a annot -> 'fpat ; fP_Fpat : id * 'pat -> 'fpat_aux |