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: Atomprop.sml:62.39-62.43 Error: unbound variable or constructor: Atomprop.sml:62.44 Error: unbound variable or constructor: sprop.sml:65.31 Error: unbound variable or constructor: pprop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Atomprop.sml:71.16-73.31 Error: non-constructor applied to argument in pattern: Atomprop.sml:71.16-73.31 Error: non-constructor applied to argument in pattern: Impliesprop.sml:72.48-72.50 Error: unbound variable or constructor: s1prop.sml:72.44 Error: unbound variable or constructor: sprop.sml:79.32-79.41 Error: unbound variable or constructor: Buttsquidprop.sml:77.16-79.41 Error: non-constructor applied to argument in pattern: Atomprop.sml:77.16-79.41 Error: non-constructor applied to argument in pattern: Impliesprop.sml:78.46-78.50 Error: unbound variable or constructor: woopprop.sml:92.30-92.34 Error: unbound variable or constructor: Atomprop.sml:92.35 Error: unbound variable or constructor: sprop.sml:95.14-97.30 Error: non-constructor applied to argument in pattern: Atomprop.sml:96.38-96.40 Error: unbound variable or constructor: s1prop.sml:96.34 Error: unbound variable or constructor: sprop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Andprop.sml:103.60-103.62 Error: unbound variable or constructor: p2prop.sml:103.56-103.58 Error: unbound variable or constructor: p1prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Orprop.sml:107.56-107.58 Error: unbound variable or constructor: p1prop.sml:108.54-108.56 Error: unbound variable or constructor: p2prop.sml:61.9-129.33 Error: non-constructor applied to argument in pattern: Impliesprop.sml:111.17-111.19 Error: unbound variable or constructor: p1prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Atomprop.sml:121.48-121.50 Error: unbound variable or constructor: p1prop.sml:122.48-122.50 Error: unbound variable or constructor: p1prop.sml:123.36-123.38 Error: unbound variable or constructor: p2prop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Impliesprop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Orprop.sml:117.52-117.59 Error: unbound variable or constructor: Impliesprop.sml:117.64-117.66 Error: unbound variable or constructor: p2prop.sml:117.60-117.63 Error: unbound variable or constructor: p1bprop.sml:117.35-117.42 Error: unbound variable or constructor: Impliesprop.sml:117.47-117.49 Error: unbound variable or constructor: p2prop.sml:117.43-117.46 Error: unbound variable or constructor: p1aprop.sml:111.12-127.43 Error: non-constructor applied to argument in pattern: Andprop.sml:115.35-115.42 Error: unbound variable or constructor: Impliesprop.sml:115.47-115.54 Error: unbound variable or constructor: Impliesprop.sml:115.59-115.61 Error: unbound variable or constructor: p2prop.sml:115.55-115.58 Error: unbound variable or constructor: p1bprop.sml:115.43-115.46 Error: unbound variable or constructor: p1aprop.sml:112.40-112.42 Error: unbound variable or constructor: p2prop.sml:92.17-92.50 Error: operator is not a function [tycon mismatch] operator: 'Z list in expression: newg newwprop.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 cprop.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 cprop.sml:107.41-107.63 Error: operator is not a function [tycon mismatch] operator: 'Z list in expression: w cprop.sml:108.39-108.61 Error: operator is not a function [tycon mismatch] operator: 'Z list in expression: w cprop.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 cprop.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) cprop.sml:115.19-115.68 Error: operator is not a function [tycon mismatch] operator: _ list in expression: w cprop.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 cprop.sml:117.19-117.72 Error: operator is not a function [tycon mismatch] operator: _ list in expression: w cprop.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 cprop.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) cprop.sml:123.21-123.43 Error: operator is not a function [tycon mismatch] operator: _ list in expression: w cprop.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) cprop.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 patternsprop.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 p2prop.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