anchor.diff:                 ]
   
       do parseViewRef :=
  -        chainl1 (tryWrapInApply parseBasicView)
  +        chainl1 ( tryWrapInApply parseBasicView )
                   // ^- <basic-view>
                   //  | <basic-view> ...
  -                (pstring "*" .>> ws >>% fun x y -> Join(x, y))
  +                ( stringReturn "*" ( fun x y -> Join ( x, y ) ) .>> ws )
                   //                 ... * <view>
   
       /// Parser for braced view statements.
  
positive.code: 
      /// Parser for `skip` commands.
      /// Skip is inserted when we're in command position, but see a semicolon.
      let parseSkip = pstring ";" .>> ws >>% Skip
                      // ^- ;
  
      /// Parser for simple commands (atomics, skips, and bracketed commands).
  
negative.code:     let parseNamedView = parseIdentifier |>> NamedView
  
      /// Parses the unit view (`emp`, for our purposes).
      let parseUnit = stringReturn "emp" Unit
  
      /// Parses a `basic` view (unit, if, named, or bracketed).
      let parseBasicView =
  