Add test cases for -W{,no-}controller-can

digital-asset · Nov 19, 2021 · 3f738bf · 3f738bf
1 parent 09d204b
commit 3f738bf
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 0 deletions.
diff --git a/compiler/damlc/tests/daml-test-files/NoWarnControllerCan.daml b/compiler/damlc/tests/daml-test-files/NoWarnControllerCan.daml
@@ -0,0 +1,17 @@
+-- Copyright (c) 2021, Digital Asset (Switzerland) GmbH and/or its affiliates.
+-- All rights reserved.
+
+{-# OPTIONS_GHC -Wno-controller-can #-}
+
+module NoWarnControllerCan where
+
+template T with
+    p : Party
+    q : Party
+  where
+    signatory p
+
+    controller q can
+      nonconsuming Pass : ()
+        do
+          pure ()
diff --git a/compiler/damlc/tests/daml-test-files/WarnControllerCan.daml b/compiler/damlc/tests/daml-test-files/WarnControllerCan.daml
@@ -0,0 +1,17 @@
+-- Copyright (c) 2021, Digital Asset (Switzerland) GmbH and/or its affiliates.
+-- All rights reserved.
+
+-- @WARN range=14:5-17:18; The syntax 'controller ... can' is deprecated
+
+module WarnControllerCan where
+
+template T with
+    p : Party
+    q : Party
+  where
+    signatory p
+
+    controller q can
+      nonconsuming Pass : ()
+        do
+          pure ()