...
 
Commits (2)
Subproject commit 9df5bcd6e8e4da2e9d812382df1465642063b31c
Subproject commit 56d707053d159cfe6b283aa30fe7361f007a2752
Subproject commit 0ed232ccc6909332e3e56be1b3cb34c22a629d99
Subproject commit f136795b59d0f1a8c1038fbbefd2f0b6e0f4e177
......@@ -72,10 +72,13 @@ fcy2flcTypeExpr('TCons'(TName,TEs),'TCons'(FTName,FTEs)) :-
fcy2flcTypeExpr('ForallType'(Is,TE),FAT) :-
fcy2flcForallTypeExpr(Is,TE,FAT).
fcy2flcForallTypeExpr([],TE,FTE) :-
fcy2flcTypeExpr(TE,FTE).
fcy2flcForallTypeExpr([I|Is],TE,'TCons'("Prelude.Forall",['TVar'(I),FAT])) :-
fcy2flcForallTypeExpr(Is,TE,FAT).
fcy2flcForallTypeExpr([],TE,FTE) :- !,
fcy2flcTypeExpr(TE,FTE).
%fcy2flcForallTypeExpr(['Prelude.(,)'(I,_)|Is],TE,
% 'TCons'("Prelude.Forall",['TVar'(I),FAT])) :- !,
% fcy2flcForallTypeExpr(Is,TE,FAT).
fcy2flcForallTypeExpr([_|Is],TE,FAT) :-
fcy2flcForallTypeExpr(Is,TE,FAT).
fcy2flcFunc('Func'(FName,Arity,Vis,Type,Rule),
'Func'(FFName,Arity,Vis,FType,FRule)) :-
......