Create simple failing test cases for row constructors
commitfc2cd0111c200cabaad94151bf044f465f1c6700
authorŁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>
dateWed 18 Mar 2015, 22:37 (12 years ago)
parent354026f
examples/failing/RowConstructors1.pursnew file+6
@@ -0,0 +1,6 @@
1+module Main where
2+
3+data Foo = Bar
4+type Baz = { | Foo }
5+
6+main = Debug.Trace.trace "Done"
examples/failing/RowConstructors2.pursnew file+6
@@ -0,0 +1,6 @@
1+module Main where
2+
3+type Foo r = (x :: Number | r)
4+type Bar = { | Foo }
5+
6+main = Debug.Trace.trace "Done"
examples/failing/RowConstructors3.pursnew file+6
@@ -0,0 +1,6 @@
1+module Main where
2+
3+type Foo = { x :: Number }
4+type Bar = { | Foo }
5+
6+main = Debug.Trace.trace "Done"