Hi all,
I am trying to use EmitML to generate ML for a function of type char list
-> string that does pattern matching on its first argument. The generated
ML currently looks like
fun foo "" = ...
| foo (c::cs) = ...
and the generated signature says foo : string -> string.
I would like (indeed it's necessary to get valid ML) the signature to say
foo : char list -> string, and the first clause to pattern match on []
instead of "". Is it possible to set things up so that these things happen,
without having to manually generate the ML for this function?
Cheers,
Ramana
------------------------------------------------------------------------------
Managing the Performance of Cloud-Based Applications
Take advantage of what the Cloud has to offer - Avoid Common Pitfalls.
Read the Whitepaper.
http://pubads.g.doubleclick.net/gampad/clk?id=121051231&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
