HVad er der galt her (SML)

Hvad er de galt i denne funktion (fun rigtig)

infix member
fun x member [] = false
|  x member (y::ys) = x=y orelse x member ys;

infix fjern
fun x fjern [] = []
|  x fjern (y::l) = if x=y then (x fjern l) else y::(x fjern l);

fun rigtig (~1) = []
|  rigtig (m)  = if List.nth(BList, m) member(PList)
                  then(1::rigtig(m-1))
                  andalso (List.nth(BList, m) fjern PList)  (* (fjern ((List.nth(BList,m)),(PList))) *)
                  else rigtig(m-1);

Den melder flg fejl:

File \"/tmp/sml13821KmT\", line 53, characters 24-38:
!                  then( 1::rigtig(m-1))
!                        ^^^^^^^^^^^^^^
! Type clash: expression of type
!  \'a list
! cannot have type
!  bool

Svar er gode, Hurtige svar er geniale

mvh SiBor