From 82214f0be5688ca55d0d89381be5daf3a9123903 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 13 Oct 2010 17:53:44 +0000
Subject: [PATCH] generalize the nqueens function in NQueens.gf

---
 examples/nqueens/NQueens.gf      | 2 +-
 examples/nqueens/NQueensAscii.gf | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/nqueens/NQueens.gf b/examples/nqueens/NQueens.gf
index 960bef6d1..6eec8953f 100644
--- a/examples/nqueens/NQueens.gf
+++ b/examples/nqueens/NQueens.gf
@@ -6,7 +6,7 @@ cat [Nat] ;
 cat Vec (s,l : Nat) [Nat] ;
 cat Sat Nat Nat [Nat] ;
 
-data queens : Matrix (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) -> S ;
+data nqueens : (n : Nat) -> Matrix n -> S ;
 
 data nilV  : ({s} : Nat) -> ({c} : [Nat]) -> Vec s zero c ;
      consV : ({l},j,k : Nat) -> 
diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf
index a5bb2ed76..489f5ce7b 100644
--- a/examples/nqueens/NQueensAscii.gf
+++ b/examples/nqueens/NQueensAscii.gf
@@ -3,7 +3,7 @@ concrete NQueensAscii of NQueens = NatAscii ** {
 lincat S, Matrix, Vec = Str ;
        ListNat, Sat = {} ;
 
-lin queens m = m ;
+lin nqueens _ m = m ;
 
 lin nilV _ _ = "" ;
     consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;