Mercurial > urweb

comparison src/shake.sml @ 1265:e8d68fd8ed4b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Consider view declarations while shaking
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 May 2010 15:10:52 -0400
parents c316ca3c9ec6
children b4480a56cab7
comparison
equal deleted inserted replaced
1264:79b2bcac6200 1265:e8d68fd8ed4b
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, 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 *
82 82
83 val (usedE, usedC) = usedVars (usedE, usedC) pe 83 val (usedE, usedC) = usedVars (usedE, usedC) pe
84 val (usedE, usedC) = usedVars (usedE, usedC) ce 84 val (usedE, usedC) = usedVars (usedE, usedC) ce
85 in 85 in
86 (usedE, usedC) 86 (usedE, usedC)
87 end
88 | ((DView (_, _, _, e, c), _), (usedE, usedC)) =>
89 let
90 val usedC = usedVarsC usedC c
91 in
92 usedVars (usedE, usedC) e
87 end 93 end
88 | ((DTask (e1, e2), _), st) => 94 | ((DTask (e1, e2), _), st) =>
89 if !sliceDb then 95 if !sliceDb then
90 st 96 st
91 else 97 else