(* recfail.sml    Test of illegal recursive valbinds as per SML Definition 1997.   sestoft@dina.kvl.dk 1999-01-06 *) (* Illegal rebindings --- must fail *) fun true x  = x;fun false x = x;fun nil x   = x;fun [] x    = x;fun ref x   = x; val rec true    = fn x => x;val rec false   = fn x => x;val rec nil     = fn x => x;val rec []      = fn x => x;val rec (op ::) = fn x => x;val rec ref     = fn x => x; (* Illegally qualified variables *) val rec General.x              = fn x => x;fun General.f                  = fn x => x;     val rec General.f as g         = fn x => x;val rec f as General.g         = fn x => x;val rec General.f as (g)       = fn x => x;val rec f as (General.g)       = fn x => x;val rec f as g as General.h    = fn x => g x;val rec (General.f)            = fn x => x;val rec ((General.f))          = fn x => x;val rec General.f : int -> int = fn x => x; (* Ill-formed patterns --- must fail *) val rec #[]     = fn x => x;val rec ()      = fn x => x;val rec (a, b)  = fn x => x;val rec {a, b}  = fn x => x;val rec { 1=a } = fn x => x;val rec [_]     = fn x => x; (* Ill-formed funvalbind clauses --- must fail *) fun _       x = x;fun #[]     x = x;fun ()      x = x;fun (a, b)  x = x;fun {a, b}  x = x;fun { 1=a } x = x;fun [_]     x = x;