Mercurial > urweb
comparison src/shake.sml @ 1265:e8d68fd8ed4b
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 |