1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/Frontend/messages.sml	Wed Aug 25 16:20:07 2010 +0200
     1.3 @@ -0,0 +1,43 @@
     1.4 +(* all messages are encoded to integers for the multi-language system
     1.5 +   use"Frontend/messages.sml";
     1.6 +   use"messages.sml";
     1.7 +   *)
     1.8 +
     1.9 +datatype language = English | German | Japanese;
    1.10 +fun language2str English = "English"
    1.11 +  | language2str German = "German"
    1.12 +  | language2str Japanese = "Japanese";
    1.13 +
    1.14 +val language = English;
    1.15 +
    1.16 +(*1000 system*)
    1.17 +fun msg2str 1000 English =
    1.18 +    "msg 1000 English"
    1.19 +  | msg2str 1000 German =
    1.20 +    "msg 1000 German"
    1.21 +
    1.22 +(*2000 user in model- and specify-phase*)
    1.23 +  | msg2str 2020 English =
    1.24 +    "Kernel cannot propose a tactic (helpless!)"
    1.25 +
    1.26 +
    1.27 +(*3000 user in solve-phase*)
    1.28 +
    1.29 +(*4000 general*)
    1.30 +
    1.31 +(*5000 general*)
    1.32 +
    1.33 +(*6000 general*)
    1.34 +
    1.35 +(*7000 general*)
    1.36 +
    1.37 +(*1000 general*)
    1.38 +
    1.39 +(*1000 general*)
    1.40 +
    1.41 +(*1000 general*)
    1.42 +
    1.43 +(*1000 general*)
    1.44 +
    1.45 +  | msg2str i l = raise error ("no message for No. "^
    1.46 +			string_of_int i^" "^language2str l);