diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-05-27 15:10:52 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-27 15:10:52 -0400 |
| commit | be9263be5864a7cc94cab5b971af9ff02c26cc70 (patch) | |
| tree | c31b9042cedaabf6f1c471ed2595caefbed49543 /src/shake.sml | |
| parent | c3607e368bf1d79c5ebaae2e8f9d3dba599953a5 (diff) | |
Consider view declarations while shaking
Diffstat (limited to 'src/shake.sml')
| -rw-r--r-- | src/shake.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/shake.sml b/src/shake.sml index f679c6e8..bc81def9 100644 --- a/src/shake.sml +++ b/src/shake.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -85,6 +85,12 @@ fun shake file = in (usedE, usedC) end + | ((DView (_, _, _, e, c), _), (usedE, usedC)) => + let + val usedC = usedVarsC usedC c + in + usedVars (usedE, usedC) e + end | ((DTask (e1, e2), _), st) => if !sliceDb then st |