Как получить доступ к len и pos при вводе `StringCvt.scanString (RE.find compiledComment )` - PullRequest
Новая
       25

Как получить доступ к len и pos при вводе `StringCvt.scanString (RE.find compiledComment )`

0 голосов
/ 14 октября 2018

Справочная информация: я пытаюсь использовать regexp для анализа комментария на одном языке, который начинается с //: 

structure Main =
struct
structure RE = RegExpFn(
    structure P = AwkSyntax
    structure E = ThompsonEngine
)
val regexes = [
    ("[a-zA-z@= ]* *//.*",   fn match => ("comment", match)),
    ("[0-9]*",      fn match => ("2nd", match)),
    ("1tom|2jerry", fn match => ("3rd", match))
]
fun main () =
    let
        val input = "@=abs //sdfasdfdfa sdf as"
        val comment = "[a-zA-z@= ]* *//"
        val compiledComment = RE.compileString comment
    in
        (* #1 StringCvt.scanString (RE.match regexes) input *)
        (* #2 StringCvt.scanString (RE.find compiledComment) input *)
        (* #3 case ... of ... *)
    end

    end

input - это мой тестовый пример, я надеюсь обрезать //sdfasdfdfa sdf as и сохранить *Только 1007 *.

Вот некоторые мои испытания:

  • пусть StringCvt.scanString (RE.find compiledComment) input будет возвращаемым значением fun main: 
- Main.main();
[autoloading]
[autoloading done]
val it = SOME (Match ({len=8,pos=0},[])) : StringCvt.cs Main.RE.match option
  • пусть StringCvt.scanString (RE.match regexes) input будет возвращаемым значением: 
- Main.main();
[autoloading]
[autoloading done]
val it = SOME ("comment",Match ({len=#,pos=#},[]))
  : (string * StringCvt.cs Main.RE.match) option

Два случая говорят мне, что StringCvt.scanString (RE.find compiledComment) input - это то, что я хочу, потому что его значение содержит {len=8,pos=0},[]), который можно использовать для обрезки всех комментариев.Но меня немного смущает его значение и тип: val it = SOME (Match ({len=8,pos=0},[])) : StringCvt.cs Main.RE.match option.Как я могу получить доступ к len и pos здесь?Почему StringCvt.cs и Main.RE.match разделяются только пробелами?

После поиска в документе sml, я включаю всю информацию, полученную ниже: 

#+BEGIN_SRC sml
StringCvt.scanString (RE.match regexes) input
val it = SOME (
        "comment"  ,           Match             ({len=#,pos=#},[]))
 :      (string    *           StringCvt.cs      Main.RE.match)
         option



StringCvt.scanString (RE.find compiledComment) input
val it = SOME (
        Match                      ({len=8,pos=0},[]))
 :      StringCvt.cs               Main.RE.match
        option



val find : regexp ->
(char,'a) StringCvt.reader -> ({pos : 'a, len : int} option MatchTree.match_tree,'a) StringCvt.reader

val scanString :
((char, cs) reader -> ('a, cs) reader) -> string -> 'a option

val match : (string * ({pos : 'a, len : int} option MatchTree.match_tree -> 'b)) list -> (char,'a) StringCvt.reader -> ('b,'a) StringCvt.reader

#+END_SRC
type cs
The abstract type of the character stream used by scanString. A value of this type represents the state of a character stream. The concrete type is left unspecified to allow implementations a choice of representations. Typically, cs will be an integer index into a string.

IIUC, тип Match долженбыть StringCvt.cs, тип ({len=8,pos=0},[])) и ({len=#,pos=#},[])) должен быть Main.RE.match.Затем я начинаю сопоставление с шаблоном: 

let
...
in 
case StringCvt.scanString (RE.find compiledComment) input of
            NONE => ""
         |  SOME (
                StringCvt.cs ({len = b, pos = a}, _)) => String.substring (input a b)

К сожалению, 

main.sml:23.19-23.39 Error: non-constructor applied to argument in pattern
main.sml:23.92 Error: unbound variable or constructor: a
main.sml:23.94 Error: unbound variable or constructor: b
main.sml:23.86-23.95 Error: operator is not a function [tycon mismatch]
  operator: string
  in expression:
    input <errorvar>
[autoloading failed: unable to load module(s)]
stdIn:1.2-1.11 Error: unbound structure: Main in path Main.main

Кажется, я не могу использовать StringCvt.cs для шаблона, потому что он не конструктор.Затем я попытался использовать wildcard: 

case StringCvt.scanString (RE.find compiledComment) input of
    NONE => ""
 |  SOME (_ ({len = b, pos = a}, _)) => String.substring (input a b)

, 

main.sml:23.19 Error: non-constructor applied to argument in pattern

Итак, конструктор для Match является обязательным здесь?Я не могу копать глубже.Есть ли у вас какие-либо идеи?заранее спасибо

1 Ответ

0 голосов
/ 15 октября 2018

Решено: 

case StringCvt.scanString (RE.find compiledComment) input
         of NONE => ""
          | SOME match =>
            let
                val {pos, len} = MatchTree.root match
            in
                String.substring (input, 0, pos)
            end
...