Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /tests/trunk/bugs/tests.post-110.63/bug268/parse_term.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.post-110.63/bug268/parse_term.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2463 - (download) (annotate)
Sat Apr 28 21:19:47 2007 UTC (12 years ago) by gkuan
File size: 194 byte(s)
missing bug tests subdirectories
(*------------FILE: parse_term.sml---------------------------*)

import "term.sig";

functor parse_termFC (structure TERM:termsig) =

open TERM

fun term_nil x = (x:term list) = []


ViewVC Help
Powered by ViewVC 1.0.0