[15:06:30] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se)
[15:06:44] <wmacmil> hey I'm confused as to what this error means
[15:06:47] <wmacmil> ArithEng.gf:24:
[15:06:47] <wmacmil>   Happened in the renaming of Var
[15:06:47] <wmacmil>    Warning: atomic term Symb
[15:06:47] <wmacmil>             conflict SymbolEng.Symb, SymbolicEng.Symb
[15:06:47] <wmacmil>             given P, ParadigmsEng, Prelude, ExtraEng, ParadigmsEng,
[15:06:49] <wmacmil>                   SentenceEng, SymbolEng, SymbolicEng, SyntaxEng, ArithEng
[15:06:55] <wmacmil> concrete ArithEng of Arith = open
[15:06:55] <wmacmil>   SyntaxEng,
[15:06:55] <wmacmil>   SymbolicEng,
[15:06:57] <wmacmil>   SymbolEng,
[15:06:59] <wmacmil>   SentenceEng,
[15:07:01] <wmacmil>   (P = ParadigmsEng),
[15:07:03] <wmacmil>   ParadigmsEng,
[15:07:05] <wmacmil>   ExtraEng,
[15:07:07] <wmacmil>   Prelude in {
[15:08:00] <wmacmil> where i just have
[15:08:11] <wmacmil> lincat Var = Symb ;
[15:32:43] <daherb> it says that you have Symb defined both in SymbolEng and SymbolicEng and the definitions don't match
[21:04:26] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection)
[21:04:44] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se)