test/valrecpat4.ss
#lang planet chongkai/sml

val rec (f as g as _) = fn x => x

val _ = print (f "it ")
val _ = print (g "works\n")