comparison src/compiler.sml @ 1083:2eb585274501

Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
author Adam Chlipala <adamc@hcoop.net>
date Wed, 23 Dec 2009 12:25:34 -0500
parents 4b2f50829af5
children 8e240c007442
comparison
equal deleted inserted replaced
1082:4b2f50829af5 1083:2eb585274501
594 end 594 end
595 595
596 fun p_job' {Job = j, Libs = _ : string list} = p_job j 596 fun p_job' {Job = j, Libs = _ : string list} = p_job j
597 597
598 val parseUrp = { 598 val parseUrp = {
599 func = #Job o parseUrp' false, 599 func = #Job o parseUrp' true,
600 print = p_job 600 print = p_job
601 } 601 }
602 602
603 val parseUrp' = { 603 val parseUrp' = {
604 func = parseUrp' true, 604 func = parseUrp' false,
605 print = p_job' 605 print = p_job'
606 } 606 }
607 607
608 val toParseJob = transform parseUrp "parseJob" 608 val toParseJob = transform parseUrp "parseJob"
609 val toParseJob' = transform parseUrp' "parseJob'" 609 val toParseJob' = transform parseUrp' "parseJob'"