diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-30 13:29:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-30 13:29:00 -0400 |
| commit | 54276f5a38163eb7997c574810faed0cc6dea35c (patch) | |
| tree | ff01535ec8b49034e5cb39f0be1e36261bea9d8b /include | |
| parent | 581a2290590268039cacfbe0762b343f710c3116 (diff) | |
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Diffstat (limited to 'include')
| -rw-r--r-- | include/urweb.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h index f5a4c391..8c1fa920 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -115,6 +115,10 @@ uw_Basis_int uw_Basis_strlen(uw_context, const char *); uw_Basis_char uw_Basis_strsub(uw_context, const char *, uw_Basis_int); uw_Basis_string uw_Basis_strsuffix(uw_context, const char *, uw_Basis_int); uw_Basis_string uw_Basis_strcat(uw_context, const char *, const char *); +uw_Basis_int *uw_Basis_strindex(uw_context, const char *, uw_Basis_char); +uw_Basis_string uw_Basis_strchr(uw_context, const char *, uw_Basis_char); +uw_Basis_string uw_Basis_substring(uw_context, const char *, uw_Basis_int, uw_Basis_int); + uw_Basis_string uw_strdup(uw_context, const char *); uw_Basis_string uw_maybe_strdup(uw_context, const char *); char *uw_memdup(uw_context, const char *, size_t); |