Standard ML of New Jersey v110.71 [built: Fri Oct  9 19:58:26 2009]
[opening prop.sml]
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Atom
prop.sml:62.39-62.43 Error: unbound variable or constructor: Atom
prop.sml:62.44 Error: unbound variable or constructor: s
prop.sml:65.31 Error: unbound variable or constructor: p
prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Atom
prop.sml:71.16-73.31 Error: non-constructor applied to argument in pattern: Atom
prop.sml:71.16-73.31 Error: non-constructor applied to argument in pattern: Implies
prop.sml:72.48-72.50 Error: unbound variable or constructor: s1
prop.sml:72.44 Error: unbound variable or constructor: s
prop.sml:79.32-79.41 Error: unbound variable or constructor: Buttsquid
prop.sml:77.16-79.41 Error: non-constructor applied to argument in pattern: Atom
prop.sml:77.16-79.41 Error: non-constructor applied to argument in pattern: Implies
prop.sml:78.46-78.50 Error: unbound variable or constructor: woop
prop.sml:92.30-92.34 Error: unbound variable or constructor: Atom
prop.sml:92.35 Error: unbound variable or constructor: s
prop.sml:95.14-97.30 Error: non-constructor applied to argument in pattern: Atom
prop.sml:96.38-96.40 Error: unbound variable or constructor: s1
prop.sml:96.34 Error: unbound variable or constructor: s
prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: And
prop.sml:103.60-103.62 Error: unbound variable or constructor: p2
prop.sml:103.56-103.58 Error: unbound variable or constructor: p1
prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Or
prop.sml:107.56-107.58 Error: unbound variable or constructor: p1
prop.sml:108.54-108.56 Error: unbound variable or constructor: p2
prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Implies
prop.sml:111.17-111.19 Error: unbound variable or constructor: p1
prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Atom
prop.sml:121.48-121.50 Error: unbound variable or constructor: p1
prop.sml:122.48-122.50 Error: unbound variable or constructor: p1
prop.sml:123.36-123.38 Error: unbound variable or constructor: p2
prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Implies
prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Or
prop.sml:117.52-117.59 Error: unbound variable or constructor: Implies
prop.sml:117.64-117.66 Error: unbound variable or constructor: p2
prop.sml:117.60-117.63 Error: unbound variable or constructor: p1b
prop.sml:117.35-117.42 Error: unbound variable or constructor: Implies
prop.sml:117.47-117.49 Error: unbound variable or constructor: p2
prop.sml:117.43-117.46 Error: unbound variable or constructor: p1a
prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: And
prop.sml:115.35-115.42 Error: unbound variable or constructor: Implies
prop.sml:115.47-115.54 Error: unbound variable or constructor: Implies
prop.sml:115.59-115.61 Error: unbound variable or constructor: p2
prop.sml:115.55-115.58 Error: unbound variable or constructor: p1b
prop.sml:115.43-115.46 Error: unbound variable or constructor: p1a
prop.sml:112.40-112.42 Error: unbound variable or constructor: p2
prop.sml:92.17-92.50 Error: operator is not a function [tycon mismatch]
  operator: 'Z list
  in expression:
    newg neww
prop.sml:96.31-96.62 Error: types of if branches do not agree [tycon mismatch]
  then branch: bool
  else branch: (_ -> bool) list
  in expression:
    if <errorvar> = <errorvar> then true else asdf ()
prop.sml:103.41-103.67 Error: operator is not a function [tycon mismatch]
  operator: 'Z list
  in expression:
    w c
prop.sml:61.9-129.33 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): bool * _ * _ list * _ -> bool
  this rule: bool * _ * _ list * _ -> (_ -> bool) list
  in rule:
    (_,g,_ :: w,c) => ((decidel <exp>) g) <errorvar> :: <errorvar> :: w c
prop.sml:107.41-107.63 Error: operator is not a function [tycon mismatch]
  operator: 'Z list
  in expression:
    w c
prop.sml:108.39-108.61 Error: operator is not a function [tycon mismatch]
  operator: 'Z list
  in expression:
    w c
prop.sml:107.40-108.62 Error: operand of andalso is not of type bool [tycon mismatch]
  operand: (_ -> bool) list
  in expression:
    (((decidel <exp>) g) <errorvar> :: w c)
    andalso (((decidel <exp>) g) <errorvar> :: w c)
prop.sml:112.25-112.47 Error: operator is not a function [tycon mismatch]
  operator: 'Z list
  in expression:
    w c
prop.sml:111.12-127.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z -> (_ -> bool) list
  this rule: 'Z -> bool
  in rule:
    False => (((decidel <exp>) g) w) c
prop.sml:115.19-115.68 Error: operator is not a function [tycon mismatch]
  operator: _ list
  in expression:
    w c
prop.sml:111.12-127.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z -> (_ -> bool) list
  this rule: 'Z -> bool list
  in rule:
    _ => ((<exp> <exp>) <errorvar>) (<errorvar>,<errorvar> <exp>) :: w c
prop.sml:117.19-117.72 Error: operator is not a function [tycon mismatch]
  operator: _ list
  in expression:
    w c
prop.sml:111.12-127.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z -> (_ -> bool) list
  this rule: 'Z -> bool list
  in rule:
    _ =>
      ((<exp> <exp>) <errorvar>) (<errorvar>,<errorvar>) ::
        <errorvar> (<exp>,<exp>) :: w c
prop.sml:111.12-127.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z -> (_ -> bool) list
  this rule: 'Z -> (_ list -> _ -> bool) list
  in rule:
    _ => (decidel false) p :: (g w) c
prop.sml:123.21-123.43 Error: operator is not a function [tycon mismatch]
  operator: _ list
  in expression:
    w c
prop.sml:121.19-127.43 Error: types of if branches do not agree [tycon mismatch]
  then branch: (_ -> bool) list
  else branch: (_ list -> _ -> bool) list
  in expression:
    if ((List.exists (fn <rule>)) w) orelse ((List.exists (fn <rule>)) g)
    then ((decidel <exp>) g) <errorvar> :: w c
    else (decidel false) p :: (g w) c
prop.sml:61.9-129.33 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): bool * _ * _ list * _ -> bool
  this rule: bool * _ * _ list * _ -> (_ -> bool) list
  in rule:
    (_,g,(p  as _) :: w,c) =>
      (case <errorvar>
        of True => <exp> <exp> :: w <exp>
         | False => (<exp> <exp>) c
         | _ => <exp> <exp> :: w <exp>
         | _ => <exp> <exp> :: <exp> :: <exp>
         | _ => <exp> <exp> :: <exp> <exp>
         | _ => if <exp> orelse <exp> then <exp> :: <exp> else <exp> :: <exp>)
prop.sml:135.9-143.43 Error: clauses don't all have same number of patterns
prop.sml:135.9-143.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z * 'Y * 'X -> bool
  this rule: 'W * 'V * 'U * ('T * 'T) -> bool
  in rule:
    (g,w,And,(p1,p2)) =>
      (((decider <exp>) w) p1) andalso (((decider <exp>) w) p2)
prop.sml:135.9-143.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z * 'Y * 'X -> bool
  this rule: 'W * ('V -> ('U -> bool) list) * 'T * ('S * 'V)
             -> ('U -> bool) list
  in rule:
    (g,w,Implies,(p1,p2)) => (decider g) p1 :: w p2
prop.sml:135.9-143.43 Error: types of rules don't agree [tycon mismatch]
  earlier rule(s): 'Z * 'Y * 'X -> bool
  this rule: 'W * 'V * 'U * ('T * 'T) -> bool
  in rule:
    (g,w,Or,(p1,p2)) =>
      (((decider <exp>) w) p1) orelse (((decider <exp>) w) p2)
/usr/bin/sml: Fatal error -- Uncaught exception Error with 0
 raised at ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27