compiler: add test files for #61

[skip ci]

cogent/tests/fail_put-linear-more-than-once.cogent

@@ -0,0 +1,17 @@
+--
+-- Copyright 2017, NICTA
+--
+-- This software may be distributed and modified according to the terms of
+-- the GNU General Public License version 2. Note that NO WARRANTY is provided.
+-- See "LICENSE_GPLv2.txt" for details.
+--
+-- @TAG(NICTA_GPL)
+--
+
+type A
+type B = {f1 : U8, f2 : U8, f3 : A}
+
+quxx : (B take f3, A, A) -> B
+quxx (b,x,y) = let b'  = b {f3=x}
+               and b'' = b' {f3=y}
+                in b''

cogent/tests/fail_take-linear-more-than-once.cogent

@@ -0,0 +1,18 @@
+--
+-- Copyright 2017, NICTA
+--
+-- This software may be distributed and modified according to the terms of
+-- the GNU General Public License version 2. Note that NO WARRANTY is provided.
+-- See "LICENSE_GPLv2.txt" for details.
+--
+-- @TAG(NICTA_GPL)
+--
+
+type A
+type B = {f1 : U8, f2 : U8, f3 : A}
+
+foo : B -> (B take f3, A, A)
+foo b = let b'  {f3=x} = b
+        and b'' {f3=y} = b'
+         in (b'',x,y)
+

cogent/tests/fail_take-nonlinear-more-than-once.cogent

@@ -8,10 +8,12 @@
 -- @TAG(NICTA_GPL)
 --
 
-type B = {f1 : U8, f2 : U8, f3 : Bool}
+type A
+type B = {f1 : U8, f2 : U8, f3 : A}
 
 -- cannot take several times, which makes sense
 baz : B -> B take (f1)
 baz b = let b'   {f1} = b
         and b''  {f1} = b'
          in b''
+

cogent/tests/pass_put-nonlinear-more-than-once.cogent

@@ -0,0 +1,19 @@
+--
+-- Copyright 2017, NICTA
+--
+-- This software may be distributed and modified according to the terms of
+-- the GNU General Public License version 2. Note that NO WARRANTY is provided.
+-- See "LICENSE_GPLv2.txt" for details.
+--
+-- @TAG(NICTA_GPL)
+--
+
+type A
+type B = {f1 : U8, f2 : U8, f3 : A}
+
+-- can put multiple times
+bar : B take (f1) -> B
+bar b = let b'  = b  {f1 = 1}
+        and b'' = b' {f1 = 2}
+         in b''
+