Problème en caml : if et while

Bonjour,
J'ai avec moi quelques lignes de code dont je ne vois pas l'erreur, car je ne pratique pas très souvent.
Voici la procédure :

let coup m =
let s= ref (10,10),(10,10) in
let k=ref 0 in
for i=0 to 7 do begin
for j=0 to 7 do begin
if m.(i).(j)=1 then
while m.(i+(!k)).(j)=0 & i+(!k)<7 & m.(i+(!k)+1).(j)<1 do s:=[(i,j),(i+(!k)+1,j)]::(!s); k:=(!k)+1 done;


end done; end done; !s;;

Il ne prend pas en compte mon while ...

Si vous pouvez m'aider, merci !