From aa05cf6073cf2a6dfa46108cd5522c0171a7f1c3 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 30 Jul 2015 16:51:31 -0400 Subject: Make library work on both client and server sides Replace the two-step compile/match process with a single compile-and-match one to avoid issues with server-client representation incompatibility. Use the browser regex engine on the client side. --- src/regex.ur | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'src/regex.ur') diff --git a/src/regex.ur b/src/regex.ur index ddc7793..cc039e2 100644 --- a/src/regex.ur +++ b/src/regex.ur @@ -1,4 +1,5 @@ (* Copyright 2015 the Massachusetts Institute of Technology +Copyright 2015 Benjamin Barenblat Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the @@ -13,12 +14,6 @@ specific language governing permissions and limitations under the License. *) structure FFI = Regex__FFI -type t = FFI.regex - -val compile = FFI.compile True - -val compile_case_insensitive = FFI.compile False - fun match regex input = (* Perform the match. *) let -- cgit v1.2.3