Recherche:

Ta boucle while centrale ne met pas `k` à jour dans la branche "then", ce qui donne une boucle infinie (tu peux exécuter le programme dans ta tête pour comprendre ce qui se passe).

dans "m.[k]", l'expression "k" a le type "int ref" mais on attend quelque chose de type "int".

Tu devrais utiliser les balises de code (le dièse dans les boutons du formulaire) pour que tes...

L'accès dans une chaîne c'est t.[i] et pas t.(i), et pour les boucles c'est do ... done et pas do .. end.