diff options
author | Adam Chlipala <adam@chlipala.net> | 2016-03-11 08:16:23 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2016-03-11 08:16:23 -0500 |
commit | d2823e60805a6cc394b149563ff500ea969b8627 (patch) | |
tree | e3db92117ef09b995fd84bd115c2c8ea1ff90ae6 /src/sql.sml | |
parent | 1e7a95459bc0fa25781e7d343db85f356f0eee9a (diff) |
Make Sql compatible with unmangling
Diffstat (limited to 'src/sql.sml')
-rw-r--r-- | src/sql.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sql.sml b/src/sql.sml index dfe2f968..e8e82196 100644 --- a/src/sql.sml +++ b/src/sql.sml @@ -193,7 +193,7 @@ val uw_ident = wrapP ident (fn s => if String.isPrefix "uw_" s andalso size s >= SOME (str (Char.toUpper (String.sub (s, 3))) ^ String.extract (s, 4, NONE)) else - NONE) + SOME s) val field = wrap (follow (opt (follow t_ident (const "."))) uw_ident) |