Mercurial > urweb

comparison src/compiler.sml @ 1393:802c179dac1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
alwaysInline .urp setting
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 18:15:04 -0500
parents bf58ca871c00
children d328983dc5a6
comparison
equal deleted inserted replaced
1392:e305ffee2b5b 1393:802c179dac1f
752 | _ => ErrorMsg.error "invalid 'limit' arguments") 752 | _ => ErrorMsg.error "invalid 'limit' arguments")
753 | "minHeap" => 753 | "minHeap" =>
754 (case Int.fromString arg of 754 (case Int.fromString arg of
755 NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'") 755 NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'")
756 | SOME n => minHeap := n) 756 | SOME n => minHeap := n)
757 | "alwaysInline" => Settings.addAlwaysInline arg
757 758
758 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 759 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
759 read () 760 read ()
760 end 761 end
761 762