Commit 6ceb0768 authored by Kai-Oliver Prott's avatar Kai-Oliver Prott

Fix arity of external declarations with a context

parent 5e39f6b7
Subproject commit 6e508561aeb514b59086834f0925d39caa99b7ad
Subproject commit 2fe1209579e7e5958dfee5e46c6338f2ea2a830c
Subproject commit 75979426c8c25676e41e2990ab80d2534ecbcf9b
Subproject commit 6f8a79e6f67a62e06a28daac96d6abb570b8228a
......@@ -220,7 +220,7 @@ prim_writeFileWorld(RA,S,W,H,E0,E) :- user:derefAll(RA,A),
string2Atom(A,FName),
fileOpenOptions(Options),
open(FName,write,Stream,Options),
prim_writeFileContents(Stream,S,W,H,E0,E).
prim_writeFileContents(Stream,S,W,H,E0,E).
?- block prim_appendFile(?,?,?,-,?).
prim_appendFile(F,S,partcall(1,prim_appendFileWorld,[S,F]),E,E).
......@@ -230,7 +230,7 @@ prim_appendFileWorld(RA,S,W,H,E0,E) :- user:derefAll(RA,A),
string2Atom(A,FName),
fileOpenOptions(Options),
open(FName,append,Stream,Options),
prim_writeFileContents(Stream,S,W,H,E0,E).
prim_writeFileContents(Stream,S,W,H,E0,E).
?- block prim_writeFileContents(?,?,?,?,-,?).
prim_writeFileContents(Stream,Contents,W,R,E0,E) :-
......@@ -759,6 +759,8 @@ allUnboundVariables(Vs) :-
% (first argument must be the functional pattern):
:- block unifEq(?,?,?,-,?).
unifEq(A,B,R,E0,E):- user:hnf(A,HA,E0,E1), unifEq1(HA,B,R,E1,E).
% unifEq will have a useless dict argument first, so we remove that one
unifEq(_,A,B,R,E0,E):- unifEq(A,B,R,E0,E).
:- block unifEq1(?,?,?,-,?).
% In the following clause, we bind a functional pattern variable to the
......@@ -888,6 +890,8 @@ genUnifEqHnfBody(N,Arity,A,B,'Prelude.&'('Prelude.=:<='(ArgA,ArgB),G)):-
:- block unifEqLinear(?,?,?,-,?).
unifEqLinear(A,B,R,E0,E):-
user:hnf(A,HA,E0,E1), unifEqLinear1(HA,B,R,E1,E).
% unifEqLinear will have a useless dict argument first, so we remove that one
unifEqLinear(_,A,HA,E0,E1):- unifEqLinear(A,HA,E0,E1).
:- block unifEqLinear1(?,?,?,-,?).
% In the following clause, we bind a function pattern variable to the
......
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