infix does not match on let (++) = append vs let (+++) a b = append a b

[briangmilnes]

InfixBug.fsti
module InfixBug

open FStar.Seq
val append : #a:eqtype -> s1:seq a → s2:seq a → Tot (seq a)
val (+++) : #a:eqtype -> s1:seq a → s2:seq a → Tot (seq a)
val (++) : #a:eqtype -> s1:seq a → s2:seq a → Tot (seq a)
val foo: nat -> nat

InfixBug.fst
module InfixBug

open FStar.Seq

let append (#a:eqtype) (s1:seq a) (s2:seq a) : Tot (seq a)
= s1

let (+++) a b = append

let (++) = append

// Error 233 at src/fstar/fst/InfixBug.fst(12,0-12,19):
// - Expected the definition of op_Plus_Plus to precede [foo]

let foo (n:nat) = n

Not very important bug though.