Commit 572cf59e authored by Michael Hanus 's avatar Michael Hanus
Browse files

Bug fix for writing hierarchical qualifiers with showTerm

parent 59bc14e1
......@@ -162,7 +162,13 @@ isShowableArg(_).
removeQualifier(N,Dot,UT) :- removeQualifier(N,Dot,N,UT).
removeQualifier([],_,N,N). % no qualifier in name, keep original name
removeQualifier([C|Cs],Dot,N,UN) :-
C=Dot -> UN=Cs ; removeQualifier(Cs,Dot,N,UN).
C=Dot
-> removeQualifier(Cs,Dot,Cs,UN)
; (isModIdChar(C) -> removeQualifier(Cs,Dot,N,UN)
; UN=Cs).
isModIdChar(C) :- char_int(C,N),
(65=<N, N=<90 ; 97=<N, N=<122 ; 48=<N, N=<57 ; N=95).
% convert list (arg 1) into difference list (arg 2+3):
diffList([],E,E).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment