> module HFusion.Internal.Messages where

>  inlineTerm_Variable_Not_Found = "inlineTermS: Couldn't find the variable."
>  termS_Not_Expected_Form = "The TermS is not an expected form."
>  constructor_withOut_Variables = "A constructor has been detected without an empty variable associated with it."
>  definition_Fault = "Fault in the function's definition"
>  reading_Fault = "Error while loading the function"

>  functions_Not_Found nombre1 nombre2 = ("The functions " ++ (show nombre1) ++ " and " ++ (show nombre2) ++ "  couldn't be found.")
>  function_Not_Found nombre1 = "The function " ++ (show nombre1) ++ " couldn't be found."
>  not_Found nombre1 = (show nombre1) ++ " couldn't be found."
>  file_Not_Found filename = "The file " ++ (show filename) ++ " couldn't be found."
>  function_Not_Found_Either_File_AND_System nombre1 = "The function " ++ (show nombre1) ++ " couldn't be found neither in the file nor the system."			
>  function_Not_Found_In_File nombre1 = "The function " ++ (show nombre1) ++ " couldn't be found in the system."			
>  function_Not_Found_In_System nombre1 = "The function " ++ (show nombre1) ++ "  couldn't be found in the system."			
>  couldnt_Load = "Couldn't load the file."
>  comparation = "COMPARISON"
>  both_Defs_Are_Same_Function = "Both definitions corresponds to the same function."	 
>  defintions_Are_Diferent_Functions name inlineMon inlineFile = "The definition of " ++ (show name) ++ " in the file: \n\n " ++ (show inlineMon) ++ "\n and in the file the " ++ (show name) ++ " is defined as follows: \n\n " ++ (show inlineFile)			 
>  couldnt_Load_From_File filename = "Could not load the definitions from the file: " ++ filename					
>  not_Found_Specified_Functions = "Some of those function couldn't be found."
>  directory_Not_Found directorio = "The directory " ++ directorio ++ " couldn't be found."
>  unknown_Error_While_Loading archivo = "Unknow error while loading the file: " ++  archivo ++ "."
>  comparation_All_Functinos = "COMPARISON OF THE FRAMEWORK FUNCTIONS"
>  everyDef_Is_Ok = "Every definition from the framework match with the definition recorded in the files.\n"
>  the_Diff_Defs_Are_Listed_Below = "The functions which are has different definitions are the following:"
>  error_Trying_Load_Hylo def = "Error while loading hylomorphism = " ++ (show def)
>  ok_Comparison_Label = "OK  "			
>  err_Comparison_Label = "ERR_FUS "		  

>  left_Hylo_Not_Sigma_Form = "Leftmost hylomorphism is not in Sigma form, nor InF."
>  right_Hylo_Not_Tau_Form = "Rightmost hylomorphism is not in Tau form, nor OutF."		      
>  fuseOperation_Label ="fuse"
>  fuse_Tau_Operation_Label = "Taufuse"
>  first_Hylo_Not_OutF_Form = "The first hylomorphism isn't in a OutF's form."
>  second_Hylo_Not_Phi_Form = "The second hylomorphism isn't in a generic's form."
>  fuse_Sigma_Operation_Label = "Sigmafuse"		      
>  first_Hylo_Not_Psi_Form = "The first hylomorphism isn't in a generic's form."
>  second_Hylo_Not_InF_Form = "The second hylomorphism isn't in InF's form."		     
>  couldnt_Fuse_Hylos = "Couldn't fuse the hylomorphisms."

>  coalgebra_Should_Not_Return_Terms_Diffrent_From_Vars = "getCata: The coalgebra shouldn't return non-variable terms."
>  not_Recibed_OutF = "etaPara: Didn't recived OutF."						  
>  var_Rec_Not_Binded = " A recursive variable is not bound"	      
>  tWeta_Unexpected = "Unexpected TWeta founded."
>  twaComp_Unexpected = " Unexpected TWacomp founded."
>  twBottom_Unexpected = " Unexpected TWbottom founded."
>  getCata_Label = "getCata"
>  unexpected_Constructed_Pair = " Expected pair."
>  unexpected_Non_Variables = "Unexpected non-variables."			 
>  unexpected_Pattern p = " Pattern didn't expected  "++ show p
>  variable_Not_Found vt = " Input variable not found  "++show vt		  

>  not_Defined_For_Applied_Pattern p = " Not defined for the applied pattern:"++show p
>  not_Defined_For_Applied_Term t = " Not defined for the applied term:"++show t

>  infix_Operator_Without_Characters_In_Name = "Infix operator without a name"
>  infix_Constructor_Without_Characters_In_Name = "Infix constructor without a name"				       
>  display_Not_Define_For_Term = "It is not defined the way to show the term."					  

>  no_Sound_Operation_Aplication = "It has no sense to invoke the requested operation."

>  could_not_read_any_input = "We could not read any input. Chances are that the file is empty,\n"++
>                             "does not exists or you don't have enough privileges to read it."
>  problem_Label = "Problem: "
>  nonCommand_Label = "Not a command."
>  error_Found_In_Grammar m line = "Error found in the grammar, " ++ m ++ "\n" ++ line	      
>  bad_File_Form = "The file is not in the proper format."		      
>  not_Tau_Derived_For_Function = "The requested function doesn't have the Tau derived."	   
>  not_Sigma_Derived_For_Function = "The requested function doesn't have the Sigma derivated."			  
>  here_We_Display_All_Defs = "This is the list of definitions in the environment"
>  finish_OK_Label = "Successfully terminated."		      
>  error_Exception ctx = "An error exception detected:" ++ ctx	     
>  welcmssg = "Welcome to the Interactive Fusion System."
>  homedir = "/inco/group02/fusion/usr/mgiorgi/src"
>  load_command   = "load fn           load definitions form file fn"
>  cmd_command    = "!cmd              executes de cmd command"
>  save_command   = "save f1..fn       saves all files f1..fn"
>  hylo_command   = "hn:               dispplays the definition of hn as hylomorphism"
>  envi_command   = "env               displays the list of definitions in the environment"
>  def_command    = "hn                displays the recursive definition of hn"
>  fuse_command   = "nh = h1 . h2      fuse h1.h2 & binds the result to the identifier nh"
>  help_command   = "help              shows the available commands"  
>  check_command  = "checkfile fn      matches the definitions of previous fusions calculations in a repository"  
>  assertEq_command= "assertEq f g      prints an error messages if the definitions are different (modulus alpha conversion)"  
>  cata_command   = "cata h            displays h as catamorphism"  
>  ana_command    = "ana h             displays h as anamorphism"  
>  quit_command   = "quit              ends the program"

>  iError_Empty_Context = "Internal error: empty context in lexToken"
>  iError_Empty_Input_In_LexToken = "Internal error: empty input in lexToken"			  
>  iError_lexChar = "Internal error: lexChar"				    
>  illegal_Float = "Illegal float"	    
>  illegal_Character c = "illegal character \'" ++ show c ++ "\'\n"	   
>  improperly_Terminated_Char_Const = "Improperly terminated character constant"		 
>  improperly_Terminated_Str = "Improperly terminated string"			      
>  illegal_Char_Str_Gap = "Illegal character in string gap"		       
>  iError_stringGap = "Internal error: stringGap"		  
>  illegal_Ctrl_Char = "Illegal control character"	      
>  iError_nestedComment = "Internal error: nestedComment"	       

>  isNot_Env n = "getAllDefEnv: " ++ n ++ " is not in environment"

>  iError_Empty_Context_In_PopContext = "Internal error: empty context in popContext"
>  error_Label = "ERROR: "				

>  cannot_Find_Label x = "cannot find " ++ show x

>  not_Satured t = "The term (" ++ (show t) ++ ") is a recursive call (possibly mutual) which changes\n"++
>                  "an argument other than the last one.\n"++
>                  "Only the last recursive argument may differ from that of the initial invocation.\n"++
>                  "Is there any way you could rewrite the definition to meet this restriction?"

>  not_Expected t = "Not expected: (" ++ (show t) ++ ")."
>  not_Derivable = "Not derivable."
>  not_Legal_Term = "Not legal term."
>  not_InF_Term = "The algebra of the hylomorphism is not InF."
>  not_OutF_Term = "The coalgebra of the hylomorphism is not OutF."
>  unmatched_F_Error = "The funtors do not match"
>  debug_Message t chrs = "Debug message for the term " ++ (show t) ++ ":" ++ chrs
>  error_Message chrs = chrs