소스 검색

omit generated var name when reporting exhaustion errors (fixes #1881)

Simon Krajewski 12 년 전
부모
커밋
33a0aae988
1개의 변경된 파일2개의 추가작업 그리고 0개의 파일을 삭제
  1. 2 0
      matcher.ml

+ 2 - 0
matcher.ml

@@ -1093,6 +1093,8 @@ let match_expr ctx e cases def with_type p =
  				Printf.sprintf "[%s]" (st_args i r (s_st_r top false st v))
  				Printf.sprintf "[%s]" (st_args i r (s_st_r top false st v))
  			| SArray(st,i) ->
  			| SArray(st,i) ->
  				s_st_r false true st (Printf.sprintf "[%i]%s" i (if top then " = " ^ v else v))
  				s_st_r false true st (Printf.sprintf "[%i]%s" i (if top then " = " ^ v else v))
+ 			| SField({st_def = SVar v1},f) when v1.v_name.[0] = '`' ->
+ 				f ^ (if top then " = " ^ v else v)
   			| SField(st,f) ->
   			| SField(st,f) ->
  				s_st_r false true st (Printf.sprintf ".%s%s" f (if top then " = " ^ v else v))
  				s_st_r false true st (Printf.sprintf ".%s%s" f (if top then " = " ^ v else v))
  			| SEnum(st,ef,i) ->
  			| SEnum(st,ef,i) ->