Mercurial > urweb

comparison src/main.mlton.sml @ 1677:3cfc79f92db7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Jan 2012 20:37:39 -0500
parents 659a2f71f5e5
children 5ecf67553da8
comparison
equal deleted inserted replaced
1676:266814b15dd6 1677:3cfc79f92db7
1 (* Copyright (c) 2008-2011, Adam Chlipala 1 (* Copyright (c) 2008-2012, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
83 (tc := true; 83 (tc := true;
84 doArgs rest) 84 doArgs rest)
85 | "-dumpTypes" :: rest => 85 | "-dumpTypes" :: rest =>
86 (Elaborate.dumpTypes := true; 86 (Elaborate.dumpTypes := true;
87 doArgs rest) 87 doArgs rest)
88 | "-dumpSource" :: rest =>
89 (Compiler.dumpSource := true;
90 doArgs rest)
88 | "-output" :: s :: rest => 91 | "-output" :: s :: rest =>
89 (Settings.setExe (SOME s); 92 (Settings.setExe (SOME s);
90 doArgs rest) 93 doArgs rest)
91 | "-sql" :: s :: rest => 94 | "-sql" :: s :: rest =>
92 (Settings.setSql (SOME s); 95 (Settings.setSql (SOME s);