let rec mkrangepat loc c1 c2 =
              if c1 > c2
              then mkrangepat loc c2 c1
              else
                if c1 = c2
                then mkpat loc (Ppat_constant (Const_char c1))
                else
                  mkpat loc
                    (Ppat_or ((mkghpat loc (Ppat_constant (Const_char c1))),
                       (deep_mkrangepat loc (Char.chr ((Char.code c1) + 1))
                          c2)))