test/valrecpat.ss
#lang planet chongkai/sml

val rec ( f ) = fn x => x

val _ = print (f "OK\n")