anchor.diff:      """ config
       |> prepend newline
       |> should equal """
  -let user_printers = ref([] : (string * (term -> unit)) list)
  -let the_interface = ref([] : (string * (string * hol_type)) list)"""
  +let user_printers = ref ([] : (string * (term -> unit)) list)
  +let the_interface = ref ([] : (string * (string * hol_type)) list)"""
   
   [<Test>]
   let ``should print named patterns on explicit constructors``() =
  
positive.code:     member this.Function1<'a>(x, y) =
          printfn "%A, %A" x y
  
      abstract abstractMethod<'a, 'b> : 'a * 'b -> unit
      override this.abstractMethod<'a, 'b>(x:'a, y:'b) =
           printfn "%A, %A" x y""" config
      |> prepend newline
      |> should equal """
  type Test() = 
      member this.Function1<'a>(x, y) = printfn "%A, %A" x y
      abstract abstractMethod<'a, 'b> : 'a * 'b -> unit
      override this.abstractMethod<'a, 'b>(x : 'a, y : 'b) = printfn "%A, %A" x y"""
  
  [<Test>]
  let ``params arguments``() =
  
negative.code:         for e in f() do printfn "%d" e""" config
      |> prepend newline
      |> should equal """
  let iterate1 (f : unit -> seq<int>) = 
      for e in f() do
          printfn "%d" e
  
  let iterate2 (f : unit -> #seq<int>) = 
      for e in f() do
          printfn "%d" e"""
  
  