diff options
| author | Basile Henry | 2020-10-25 18:30:57 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-25 18:30:57 +0100 |
| commit | 8f15b9a53f85ec1f806a36c5d1a0fe455e077e70 (patch) | |
| tree | 32d311e0aff29e77b167c95a0051d916b2788c4c /dhall/tests/parser/success/builtinsB.txt | |
| parent | 49e202de4478c2933f9179ea23efc7d991c35381 (diff) | |
| parent | 0f2522aadcc81481b14c8611db2777670a85ab32 (diff) | |
Merge pull request #181 from basile-henry/text-replace
Implement Text/replace
Diffstat (limited to '')
| -rw-r--r-- | dhall/tests/parser/success/builtinsB.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/tests/parser/success/builtinsB.txt b/dhall/tests/parser/success/builtinsB.txt index 1005949..3d3e292 100644 --- a/dhall/tests/parser/success/builtinsB.txt +++ b/dhall/tests/parser/success/builtinsB.txt @@ -1 +1 @@ -[Natural/fold, Natural/build, Natural/isZero, Natural/even, Natural/odd, Natural/toInteger, Natural/show, Integer/toDouble, Integer/show, Integer/negate, Integer/clamp, Natural/subtract, Double/show, List/build, List/fold, List/length, List/head, List/last, List/indexed, List/reverse, Text/show, Bool, True, False, Optional, None, Natural, Integer, Double, Text, List, Type, Kind, Sort] +[Natural/fold, Natural/build, Natural/isZero, Natural/even, Natural/odd, Natural/toInteger, Natural/show, Integer/toDouble, Integer/show, Integer/negate, Integer/clamp, Natural/subtract, Double/show, List/build, List/fold, List/length, List/head, List/last, List/indexed, List/reverse, Text/show, Text/replace, Bool, True, False, Optional, None, Natural, Integer, Double, Text, List, Type, Kind, Sort] |