Commit c0a36f34 authored by Finn Teegen's avatar Finn Teegen

Add workaround for forall types when translating FlatCurry

parent efa9227f
......@@ -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)) :-
......
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