Skip to content

Commit

Permalink
Add bala test
Browse files Browse the repository at this point in the history
  • Loading branch information
chiranSachintha committed Apr 17, 2024
1 parent 1ebba7d commit 69dcd83
Show file tree
Hide file tree
Showing 3 changed files with 35 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -71,4 +71,12 @@ public void testComplexCyclicRecordTypeResolution() {
BRunUtil.invoke(typeResolution, "testCreatingComplexRecWithIncTypeFromBala");
BRunUtil.invoke(typeResolution, "testCreatingComplexRecWithIncTypeFromBalaWithCM");
}

@Test
public void testIntersectionOfReadonlyAndRecordTypeWithDefaults() {
CompileResult result = BCompileUtil.compile("test-src/bala/test_projects/test_project_records_negative");
int count = 0;
BAssertUtil.validateError(result, count, "missing non-defaultable required record field 'initialValues'",
22, 25);
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[package]
org = "testorg"
name = "records_negative"
version = "1.0.0"
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
// Copyright (c) 2024 WSO2 Inc. (http://www.wso2.org) All Rights Reserved.
//
// WSO2 Inc. licenses this file to you under the Apache License,
// Version 2.0 (the "License"); you may not use this file except
// in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing,
// software distributed under the License is distributed on an
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, either express or implied. See the License for the
// specific language governing permissions and limitations
// under the License.

type Temp record {|
any[] initialValues = [10, 20, 30];
|};

function value() {
Temp & readonly _ = {};
}

0 comments on commit 69dcd83

Please sign in to comment.