diff options
author | Son Ho | 2022-02-02 16:22:47 +0100 |
---|---|---|
committer | Son Ho | 2022-02-02 16:22:47 +0100 |
commit | 45b8a56c20f2cf29c8bc9fc1de593e9c82a2fb6d (patch) | |
tree | 3ef53c200e5dce73f9808a07353fcfe03d0f4ba0 /src/StringUtils.ml | |
parent | 4b601f6ff28c54a04e84469946f5ab5afc045526 (diff) |
Fix more issues when extracting types to F*
Diffstat (limited to 'src/StringUtils.ml')
-rw-r--r-- | src/StringUtils.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/StringUtils.ml b/src/StringUtils.ml index 7c77a8d1..2e0e18f7 100644 --- a/src/StringUtils.ml +++ b/src/StringUtils.ml @@ -90,4 +90,6 @@ let to_snake_case (s : string) : string = let _ = assert (to_camel_case "hello_world" = "HelloWorld"); assert (to_snake_case "HelloWorld36Hello" = "hello_world36_hello"); - assert (to_snake_case "HELLO" = "hello") + assert (to_snake_case "HELLO" = "hello"); + assert (to_snake_case "T1" = "t1"); + assert (to_camel_case "list" = "List") |