Optimized compilation of string patterns#540

chengluyu wants to merge 3 commits into

hkust-taco:hkmc2hkust-taco/mlscript:hkmc2from

chengluyu:compiled-string-patternschengluyu/mlscript:compiled-string-patternsCopy head branch name to clipboard