Permalink
Browse files

[fix] slicer,server.meaningless: side effect value should not be warn…

…ed (reference, sessions ...)
  • Loading branch information...
1 parent ed81388 commit 740ded760a1a9340536fb557dca3e5739bdefdcd @OpaOnWindowsNow OpaOnWindowsNow committed Mar 26, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 qmlslicer/qmlSimpleSlicer.ml
@@ -837,7 +837,7 @@ let check_side ~emit_error ~emit node =
in
let c1 = if node.calls_private <> None then (
match node.user_annotation with
- | Some {wish=Force; side=Server} ->
+ | Some {wish=Force; side=Server} when not(node.does_side_effects)->
may_warn_tagged_but_use ~emit node ~wclass:WClass.Server.meaningless
~tagged:"server" ~use:"protected" Private_path
"The directive will be ignored.";

0 comments on commit 740ded7

Please sign in to comment.