(***********************************************************************) (* *) (* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) (* $Id: nsyntaxerr.ml,v 1.1.1.1 2002/01/16 09:01:22 cookcu Exp $ *) (* Auxiliary type for reporting syntax errors *) open Format open Location type err_kinds = IllegalAsPat | IllegalLabel | IllegalField | IllegalPat | IllegalRecBind | UnknownError | IllegalExpSeq | IllegalType | IllegalTypeId | IllegalExp | IllegalVarId | IllegalTypeVar | IllegalConId | IllegalDec | IllegalStrId | IllegalFctId | IllegalSigId | IllegalStrExp | IllegalSigExp type errmsg_kinds = EngGentle | HanGentle | HanTough let errmsg_type = ref HanGentle type error = Unclosed of Location.t * string * Location.t * string | Duptyid of Location.t * Location.t * string | Dupdatacon of Location.t * Location.t * string | Duppatvar of Location.t * Location.t * string | Orpaterr of Location.t | Other of Location.t * err_kinds exception Error of error exception Escape_error let msglist = [(IllegalAsPat, "As pattern must be used with variable pattern.", "As 패턴에서은 항상 변수 패턴과 쓰여야 합니다.", "As 앞에는 항상 변수만 온다니까!!"); (IllegalLabel, "Illegal record label.", "잘못된 레코드 표지(label)입니다.", "이상한거 자꾸 레코드 표지로 쓰지마라, 숫자만이던가 문자만이던가 해야 한다니까!!"); (IllegalField, "Illegal field of record pattern.", "레코드패턴의 필드가 이상합니다.", "레코드 안에다가 이상한거 쓸래??"); (IllegalPat, "Illegal pattern.", "잘못된 패턴입니다.", "이것도 패턴이라고 썼냐??"); (IllegalRecBind, "Recursive variable must be bound to 'fn' expression.", "재귀적으로 정의된 변수에는 항상 'fn' 표현만 와야 합니다.", "let rec 로 정의할려면, 'fn'만 쓰거라, 다른건 난 어떻게 할 줄 모르니까."); (IllegalExpSeq, "Sequence of expression must end with expression(Not semi-colon).", "프로그램 표현의 나열은 항상 프로그램 표현으로 끝나야 합니다(세미콜론은 안됩니다).", "프로그램 표현을 나열할려면 맨 끝이 프로그램 표현이어야 한다구. 세미콜론 같은 걸로 끝나면 안돼."); (IllegalType, "This should be a proper type.", "올바른 타입이 와야 합니다.", "올바른 타입이 와야 합니다."); (IllegalTypeId, "This should be proper type identifier.", "올바른 타입 식별자가 와야 합니다.", "올바른 타입 식별자가 와야 합니다."); (IllegalExp, "This should be a proper expression.", "올바른 표현이 와야 합니다.", "올바른 표현이 와야 합니다."); (IllegalVarId, "This should be proper variable identifier.", "올바른 변수 식별자가 와야 합니다.", "올바른 변수 식별자가 와야 합니다."); (IllegalTypeVar, "This should be proper type variable.", "올바른 타입 변수가 와야 합니다.", "올바른 타입 변수가 와야 합니다."); (IllegalConId, "This should be proper constructor identifier.", "올바른 생성자 식별자가 와야 합니다.", "올바른 생성자 식별자가 와야 합니다."); (IllegalDec, "This should be proper declaration.", "올바른 선언이 와야 합니다.", "올바른 선언이 와야 합니다."); (IllegalStrId, "This should be proper structure identifer.", "올바른 구조 식별자가 와야 합니다.", "올바른 구조 식별자가 와야 합니다."); (IllegalFctId, "This should be proper functor identifer.", "올바른 펑터 식별자가 와야 합니다.", "올바른 펑터 식별자가 와야 합니다."); (IllegalSigId, "This should be proper signature identifier.", "올바른 시그너처 식별자가 와야 합니다.", "올바른 시그너처 식별자가 와야 합니다."); (IllegalStrExp, "This should be proper structure expressions.", "올바른 구조 표현이 와야 합니다.", "올바른 구조 표현이 와야 합니다."); (IllegalSigExp, "This should be proper signature expressions.", "올바른 시그너처 표현이 와야 합니다.", "올바른 시그너처 표현이 와야 합니다.") ] let print_err_kinds e = let (k,msg1,msg2,msg3) = try List.find (function (k,_,_,_) -> k = e) msglist with Not_found -> (UnknownError, "Unknown error ocurred.", "알지못하는 오류가 발생했습니다.", "이건 나도 모르겠다. 니 알아서 알아봐라.") in print_string (match !errmsg_type with EngGentle -> msg1 | HanGentle -> msg2 | HanTough -> msg3) let report_error = function Unclosed(opening_loc, opening, closing_loc, closing) -> if String.length !Location.input_name = 0 && Location.highlight_locations opening_loc closing_loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: '" | HanGentle -> "문법상 오류: '" | HanTough -> "멍청한 실수: '"); print_string closing; print_string (match !errmsg_type with EngGentle -> "' expected, the highlighted '" | HanGentle -> "' 이(가) 빠져 있습니다. 표시된 '" | HanTough -> "' 을 빼먹냐! 내가 표시한 '"); print_string opening; print_string (match !errmsg_type with EngGentle -> "' might be unmatched" | HanGentle -> "' 이(가) 짝이 맞지 않는 것 같습니다." | HanTough -> "' 이 안맞을 것이다. 고쳐라."); end else begin Location.print std_formatter closing_loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: '" | HanGentle -> "문법상 오류: '" | HanTough -> "멍청한 실수: '"); print_string closing; print_string (match !errmsg_type with EngGentle -> "' expected " | HanGentle -> "' 이(가) 빠져 있습니다. " | HanTough -> "' 을 빼먹었군! "); force_newline(); Location.print std_formatter opening_loc; print_string (match !errmsg_type with EngGentle -> "This '" | HanGentle -> "위의 위치의 '" | HanTough -> "위에 표시한 '"); print_string opening; print_string (match !errmsg_type with EngGentle -> "' might be unmatched" | HanGentle -> "' 이(가) 짝이 맞지 않는 것 같습니다." | HanTough -> "' 이 안맞을 것이다. 고쳐라.") end | Duptyid(previous_loc, current_loc, name) -> if String.length !Location.input_name = 0 && Location.highlight_locations previous_loc current_loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: type name '" | HanGentle -> "문법상 오류: 타입 이름인 '" | HanTough -> "멍청한 실수: 타입 이름인 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' is duplicated at the highlighted positions" | HanGentle -> "' 을(를) 하나의 타입정의내에서 두번 정의하였습니다. " ^"표시된 부분이 두 번 정의된 부분은 입니다." | HanTough -> "' 이 표시한 부분에 똑같이 나오는 구만. 그럼 안되여~") end else begin Location.print std_formatter current_loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: type name '" | HanGentle -> "문법상 오류: 타입 이름인 '" | HanTough -> "멍청한 실수: 타입 이름인 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' previously appeared."; | HanGentle -> "' 이 이미 하나의 타입정의내에서 이미 정의되었습니다." | HanTough -> "' 이 이미 앞에도 있군. 그럼 안되여~~"); force_newline(); Location.print std_formatter previous_loc; print_string (match !errmsg_type with EngGentle -> "Previous position of the type name '"; | HanGentle -> "위의 위치에 이미 정의되어 있습니다." | HanTough -> "위에 말한 곳에 있으니, 둘중의 하나는 바꿔."); if !errmsg_type = EngGentle then ( print_string name; print_string "'" ) else () end | Duppatvar(previous_loc, current_loc, name) -> if String.length !Location.input_name = 0 && Location.highlight_locations previous_loc current_loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: pattern variable '" | HanGentle -> "문법상 오류: 패턴 변수인 '" | HanTough -> "멍청한 실수: 패턴 변수인 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' is duplicated at the highlighted positions" | HanGentle -> "' 이(가) 한 패턴에 두번 쓰였습니다. "^ "표시된 곳의 확인하세요" | HanTough -> "' 을 한 패턴에 두번 쓰면 나보고 어떻게 하라고? "^ "내가 표시한 곳을 확인해 보셔.") end else begin Location.print std_formatter current_loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: pattern variable '" | HanGentle -> "문법상 오류: 패턴 변수인 '" | HanTough -> "멍청한 실수: 패턴 변수인 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' previously appeared." | HanGentle -> "' 이(가) 같은 패턴내에서 이미 쓰였습니다." | HanTough -> "' 은 이미 쓰고 있는 것이구만. "); force_newline(); Location.print std_formatter previous_loc; print_string (match !errmsg_type with EngGentle -> "Previous position of the pattern variable '" | HanGentle -> "위의 위치에 이미 정의되어 있습니다." | HanTough -> "위에 말한 곳에 있으니, 둘중의 하나는 바꿔."); if !errmsg_type = EngGentle then ( print_string name; print_string "'" ) else () end | Dupdatacon(previous_loc, current_loc, name) -> if String.length !Location.input_name = 0 && Location.highlight_locations previous_loc current_loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: data constructor '" | HanGentle -> "문법상 오류: 데이타 생성자 '" | HanTough -> "멍청한 실수: 데이타 생성자 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' is duplicated at the highlighted positions." | HanGentle -> "' 가 한 정의내에서 두 번이상 쓰였습니다." | HanTough -> "' 를 두번 정의해 버리면 어떻게 하냐? 하나는 바꿔라.") end else begin Location.print std_formatter current_loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: data constructor '" | HanGentle -> "문법상 오류: 데이타 생성자 '" | HanTough -> "멍청한 실수: 데이타 생성자 '"); print_string name; print_string (match !errmsg_type with EngGentle -> "' previously appeared." | HanGentle -> "' 는 같은 정의내에서 이미 쓰이고 있습니다." | HanTough -> "' 는 이미 정의된 것인데? -.-"); force_newline(); Location.print std_formatter previous_loc; print_string (match !errmsg_type with EngGentle -> "Previous position of the data constructor '" | HanGentle -> "위의 위치에 이미 정의되어 있습니다." | HanTough -> "위에 말한 곳에 있으니, 둘중의 하나는 바꿔."); print_string name; print_string "'" end | Orpaterr (loc) -> if String.length !Location.input_name = 0 && Location.highlight_locations loc loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: Or patterns must have same "^ "pattern variables" | HanGentle -> "문법상 오류: Or 패턴으로 묶인 패턴들은 쓰는 "^ "변수들이 같아야 합니다." | HanTough -> "멍청한 실수: Or 패턴들에 쓰인 변수는 모두 "^ "같아야 한다구. 안그러면 이상하잖아?"); end else begin Location.print std_formatter loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: Or patterns must have same "^ "pattern variables" | HanGentle -> "문법상 오류: Or 패턴으로 묶인 패턴들은 쓰는 "^ "변수들이 같아야 합니다." | HanTough -> "멍청한 실수: Or 패턴들에 쓰인 변수는 모두 "^ "같아야 한다구. 안그러면 이상하잖아?"); end | Other (loc,e) -> if String.length !Location.input_name = 0 && Location.highlight_locations loc loc then begin print_string (match !errmsg_type with EngGentle -> "Syntax error: " | HanGentle -> "문법상 오류: " | HanTough -> "멍청한 실수: "); print_err_kinds e end else begin Location.print std_formatter loc; print_string (match !errmsg_type with EngGentle -> "Syntax error: " | HanGentle -> "문법상 오류: " | HanTough -> "멍청한 실수: "); print_err_kinds e end