Dummy OCaml-Frage

[Nick M. (Gast)]

Kann hier jemand OCaml?
Ich nämlich nicht! 8-/

Seit einem Tag versuch ich hier einen Fehler zu finden:

type enumLoopStates = LoopKeep | LoopBreak | LoopReturn | LoopError

let tNP inStr =
  let myTag = treeTagGet inStr
  and myTagType = treeTagTypeGet inStr
  and myStr = ref treeTagConsume inStr
  and loopState = ref LoopKeep in (
    if myTagType = TagTypeShort then begin
      ""
    end
    else begin
      while !loopState = LoopKeep do
        loopState := LoopBreak;
        if treeTagTypeGet !myStr = TagTypeNone then begin
          ""
        end
        else begin
          let nextTagType = treeTagTypeGet !myStr
          and nextTag = treeTagGet !myStr in ( (* ***2*** *)
            if nextTagType = TagTypeClose && nextTag = myTag then begin
              ""
            end
            if nextTagType = TagTypeNone then begin (* ***1*** *)
              ""
            end
            else begin
              ""
            end
          )
        end
      done
    end
  )

Die Funktionen treeTagConsume, treeTagGet liefern einen String.
treeTagTypeGet liefert einen:
type enumTagTypes = TagTypeNone | TagTypeShort | TagTypeOpen | 
TagTypeClose

Ich hab möglichst viel rausgeworfen, daher ist das Ergebnis auch immer 
nur ein "".
Der Compiler meckert an ***1***

             if nextTagType = TagTypeNone then begin
             ^^
Error: Syntax error: ')' expected

Und an ***2***

           and nextTag = treeTagGet !myStr in (
                                              ^
  This '(' might be unmatched

Ich schnall es echt nicht, was ich da falsch geklammert habe.
Die Einrückung mag für OCaml unüblich sein.
Vorsichtshalber hab ich überall begin / end verwendet.

[Nick M. (Gast)]

Schubs, ich hab es immer noch nicht gefunden.
Die Einrückung spiegelt die Struktur wieder die ich eigentlich haben 
will.

[Nick M. (Gast)]

Ich habs rausgefunden.
Von paar missplatzierten ';' abgesehen ist danach immer die 
Fehlermeldung etwa "This is not a function" für einen inneren Block 
gekommen. Ist aber auch gelöst.

Die Syntax von OCaml ist schon etwas **räusper** gewühnungsbedürftig und 
die Fehlermeldungen bringen mich kaum weiter. Die sollen wohl eher zum 
Nachdenken anregen statt auf einen Fehler hinzuweisen. :-)