(*
 Oukseh Lee

 Copyright(c) 2000-2004 KAIST/SNU Research On Program Analysis System
 (National Creative Research Initiative Center 1998-2003)
 http://ropas.snu.ac.kr/n

 All rights reserved. This file is distributed under the terms of
 an Open Source License.
*)


structure TyDebug = struct
  
  exception Bug of string

  val dump = ref false
  val absyn_print = ref false
  val display = ref false
  val unbound_variable = ref true
  val time_profile = ref false

  fun report_error s = (Format.printf "@[ÄÄÆÄÀÏ·¯¿¡ ¹ö±×°¡ ÀÖ½À´Ï´Ù.@ ";
                        Format.printf "¹ö±× À̸§Àº@ %s ÀÔ´Ï´Ù.@ " s;
                        Format.printf "ÀÔ·ÂÇϽŠÇÁ·Î±×·¥°ú@ ¹ö±× À̸§À»@ ";
                        Format.printf "cookcu@@ropas.kaist.ac.kr·Î@ º¸³» Áֽñ⠹ٶø´Ï´Ù.@.")
end