test/valrecpat1.ss
#lang planet chongkai/sml

val rec _ = fn x => x

val _ = print "OK\n"