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