bblum

prop.sml:65.28-65.30 Error: infix operator "::" used without "op" in fun decprop.sml:99.25-99.27 Error: infix operator "::" used without "op" in fun decprop.sml:101.31-101.33 Error: infix operator "::" used without "op" in fun decprop.sml:103.26-103.28 Error: infix operator "::" used without "op" in fun decprop.sml:105.30-105.32 Error: infix operator "::" used without "op" in fun decprop.sml:108.42-108.44 Error: infix operator "::" used without "op" in fun decprop.sml:59.9-127.33 Error: clauses don't all have same number of patternsprop.sml:63.31 Error: unbound variable or constructor: pprop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:69.16-71.31 Error: non-constructor applied to argument in pattern: Atomprop.sml:69.16-71.31 Error: non-constructor applied to argument in pattern: Impliesprop.sml:70.48-70.50 Error: unbound variable or constructor: s1prop.sml:77.32-77.41 Error: unbound variable or constructor: Buttsquidprop.sml:75.16-77.41 Error: non-constructor applied to argument in pattern: Atomprop.sml:75.16-77.41 Error: non-constructor applied to argument in pattern: Impliesprop.sml:76.46-76.50 Error: unbound variable or constructor: woopprop.sml:93.14-95.30 Error: non-constructor applied to argument in pattern: Atomprop.sml:94.38-94.40 Error: unbound variable or constructor: s1prop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:59.9-127.33 Error: data constructor :: used without argument in patternprop.sml:59.9-127.33 Error: non-constructor applied to argument in pattern: Impliesprop.sml:109.17-109.19 Error: unbound variable or constructor: p1prop.sml:109.12-125.43 Error: non-constructor applied to argument in pattern: Atomprop.sml:119.48-119.50 Error: unbound variable or constructor: p1prop.sml:120.48-120.50 Error: unbound variable or constructor: p1prop.sml:121.36-121.38 Error: unbound variable or constructor: p2prop.sml:109.12-125.43 Error: non-constructor applied to argument in pattern: Impliesprop.sml:109.12-125.43 Error: non-constructor applied to argument in pattern: Orprop.sml:115.52-115.59 Error: unbound variable or constructor: Impliesprop.sml:115.64-115.66 Error: unbound variable or constructor: p2prop.sml:115.60-115.63 Error: unbound variable or constructor: p1bprop.sml:115.35-115.42 Error: unbound variable or constructor: Impliesprop.sml:115.47-115.49 Error: unbound variable or constructor: p2prop.sml:115.43-115.46 Error: unbound variable or constructor: p1aprop.sml:109.12-125.43 Error: non-constructor applied to argument in pattern: Andprop.sml:113.35-113.42 Error: unbound variable or constructor: Impliesprop.sml:113.47-113.54 Error: unbound variable or constructor: Impliesprop.sml:113.59-113.61 Error: unbound variable or constructor: p2prop.sml:113.55-113.58 Error: unbound variable or constructor: p1bprop.sml:113.43-113.46 Error: unbound variable or constructor: p1aprop.sml:110.40-110.42 Error: unbound variable or constructor: p2prop.sml:90.17-90.50 Error: operator is not a function [tycon mismatch]  operator: 'Z list  in expression:    newg newwprop.sml:94.31-94.62 Error: types of if branches do not agree [tycon mismatch]  then branch: bool  else branch: (_ -> bool) list  in expression:    if s = <errorvar> then true else asdf ()prop.sml:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool * 'Z * _ list * ('Y -> _) * 'Y -> bool  this rule: 'X * 'W list * 'Z * _ * 'V * 'W list * _ -> _  in rule:    (_,g,Atom,s,_,w,p) =>      let val isMans = (fn <rule>)          val doStuff = (fn <rule>)          val asdf = (fn <rule>)      in (case p           of _ => if <exp> then <exp> else <exp>            | _ => asdf <exp>)      endprop.sml:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool * 'Z * _ list * ('Y -> _) * 'Y -> bool  this rule: 'X * 'Z * 'W * 'V * _ list * _ -> bool  in rule:    (_,g,True,_,w,c) => (((decidel <exp>) g) w) cprop.sml:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool * 'Z * _ list * ('Y -> _) * 'Y -> bool  this rule: 'X * 'Z * 'W * (_ list * (_ -> bool)) * 'V *             ('U -> (_ -> bool) list) * 'U             -> (_ -> bool) list  in rule:    (_,g,And,(p1,p2),_,w,c) => ((decidel <exp>) g) p1 :: p2 :: w cprop.sml:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool * 'Z * _ list * ('Y -> _) * 'Y -> bool  this rule: 'X * 'W * 'V * 'U * 'T * 'S -> bool  in rule:    (_,g,False,_,w,c) => trueprop.sml:105.38-106.62 Error: operand of andalso is not of type bool [tycon mismatch]  operand: (_ -> bool) list  in expression:    (((decidel <exp>) g) p1 :: w c) andalso (((decidel <exp>) g) p2 :: w c)prop.sml:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool * 'Z * _ list * ('Y -> _) * 'Y -> bool  this rule: 'X * 'Z * 'W * (_ list * _ list) * 'V * ('U -> (_ -> bool) list)             * 'U             -> _  in rule:    (_,g,Or,(p1,p2),_,w,c) =>      ((<exp> <exp>) p1 :: w c) andalso ((<exp> <exp>) p2 :: w c)prop.sml:111.26-111.45 Error: operator and operand don't agree [tycon mismatch]  operator domain: _ list  operand:         'Z -> (_ -> bool) list  in expression:    ((decidel false) g) wprop.sml:113.19-113.68 Error: operator and operand don't agree [tycon mismatch]  operator domain: bool * bool list  operand:         bool * (_ -> bool) list  in expression:    (((decidel <exp>) g) <errorvar>) (<errorvar>,<errorvar> (<exp>,<exp>)) ::      w cprop.sml:109.12-125.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:109.12-125.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:119.23-119.53 Error: operator and operand don't agree [tycon mismatch]  operator domain: _ list  operand:         _ -> (_ -> bool) list  in expression:    (List.exists (fn x => <exp> = <exp>)) wprop.sml:120.23-120.53 Error: operator and operand don't agree [tycon mismatch]  operator domain: _ list  operand:         (_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list  in expression:    (List.exists (fn x => <exp> = <exp>)) gprop.sml:119.19-125.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:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool *                   ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list)                   * _ list * ('Z -> _) * 'Z                   -> bool  this rule: 'Y * ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list)             * ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list) *             'X * (_ -> (_ -> 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:59.9-127.33 Error: types of rules don't agree [tycon mismatch]  earlier rule(s): bool *                   ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list)                   * _ list * ('Z -> _) * 'Z                   -> bool  this rule: 'Y * 'X * 'W list * 'V -> bool  in rule:    (_,g,nil,c) => falseprop.sml:59.9-127.33 Error: right-hand-side of clause doesn't agree with function result type [tycon mismatch]  expression:  ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list)               -> _ list -> (_ -> _) -> _ -> bool  result type:  ((_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list)                -> _ list -> _ -> bool  in declaration:    decidel = (fn arg => (fn <pat> => <exp>))prop.sml:133.9-141.43 Error: clauses don't all have same number of patternsprop.sml:133.9-141.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:133.9-141.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:133.9-141.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)prop.sml:144.28-144.51 Error: operator and operand don't agree [tycon mismatch]  operator domain: (_ -> (_ -> bool) list) -> _ -> (_ list -> _ -> bool) list  operand:         'Z list  in expression:    decider nil/usr/bin/sml: Fatal error -- Uncaught exception Error with 0 raised at ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27