Morph MORPH
SIGN IN SIGN UP
dhruvhead / opa UNCLAIMED
0 0 0 Go

COMMITS

/ ast/check_test.go
v1
June 19, 2024
J
Bumping golangci-lint to v1.59.1 (#6817)
Johan Fylling committed
5464b00
August 31, 2023
J
General refs in rule heads (#5913)
Johan Fylling committed
0431567
August 24, 2023
J
ast: Making partial object key rules contribute to dynamic portion of object type (#6177)
Johan Fylling committed
50d8ae8
June 27, 2023
J
ast: Fixing issue in type-checker where partial objects couldn't have key overrides of divergent type (#5992)
Johan Fylling committed
d310c43
February 23, 2023
J
ast: Force type-checker to respect allow_net capability (#5671)
Johan Fylling committed
fe375f4
February 16, 2023
J
ast: Annotations scoped to `package` carries across modules (#5627)
Johan Fylling committed
c0360f1
January 3, 2023
J
ast&cmd: Only enforcing `schemas` annotations if `--schema` flag is used (#5502)
Johan Fylling committed
36fdcef
October 14, 2022
S
ast: support dotted heads (#4660)
Stephan Renatus committed
965301f
September 15, 2022
P
Add `prealloc` linter check + linter fixes (#5139)
Philip Conrad committed
b2d92a3
March 3, 2022
J
cmd: Adding annotations listing to inspect command (#4388)
Johan Fylling committed
35d7e58
February 22, 2022
J
ast: Compiling annotations also for modules with solo package definition (#4372)
Johan Fylling committed
f4b03e9
J
ast: Adding annotation override support to all annotation types (#4370)
Johan Fylling committed
1d1eb4d
September 22, 2021
T
ast: Update type checker to support varargs
Torin Sandall committed
3fd7dbf
April 22, 2021
T
ast: Add test case to assert that document scope is unordered
Torin Sandall committed
fa073bb
T
ast: Support inline schema definitions in annotations
Torin Sandall committed
43a6ea7
April 19, 2021
T
ast: Support more annotation scopes
Torin Sandall committed
0ae4102
T
ast: Misc. refactoring on annotations support
Torin Sandall committed
d3adb90
April 2, 2021
T
ast: Refactor type checker and environment state
Torin Sandall committed
8b2e9ff
April 1, 2021
T
ast: Refactor SchemaSet to hide ByPath collection
Torin Sandall committed
898d010
March 31, 2021
T
ast: Update checker to propagate annotation types during inference
Torin Sandall committed
e0b9628
February 18, 2021
M
New support to upload a directory of JSON schema file(s) via "opa eval --schema". Directory can contain schema file(s) for policy input document(s), and schema file(s) for contextual data document(s). These schema files are used then to improve static type checking and to get more precise error reports as you develop Rego code.
Mandana Vaziri committed
3e3655b
February 11, 2021
S
cleanup: remove test.Subtest (#3144)
Stephan Renatus committed
58be4ee
August 21, 2020
T
types: Fix panic on reference to object with composite key
Torin Sandall committed
40bdc42
July 24, 2020
T
ast: Marshal non-string object keys when converting to interface{}
Torin Sandall committed
8b550ce
March 11, 2020
P
fix random typo
Patrick East committed
12aeca1
March 27, 2020
A
ast: Add rules/functions that contain errors to the type env
Ashutosh Narkar committed
c43b61b
December 10, 2019
T
ast: New parser implementation
Torin Sandall committed
db030e0
March 12, 2020
P
ast: Fix type check for objects with non-json keys
Patrick East committed
e869e88
November 26, 2019
T
ast: Fix type checker to unmangle variables
Torin Sandall committed
7dce041
September 12, 2019
T
ast: Update compiler to accept custom built-ins
Torin Sandall committed
b811528
August 15, 2019
T
ast: Fix ordering of rule type checking errors
Torin Sandall committed
2b77240
April 27, 2019
T
Fix type inferencing on object keys
Torin Sandall committed
d2f978c
January 3, 2019
T
Fix semantic check for function references
Torin Sandall committed
59cd91e
August 30, 2018
T
Update to pass go vet in 1.11
Torin Sandall committed
47456c6
June 5, 2018
S
fix misspell
Stephan Renatus committed
2f1526c
February 15, 2018
T
Improve call result handling
Torin Sandall committed
3672a3f
January 25, 2018
T
Add support for calls as values
Torin Sandall committed
02e6868
January 23, 2018
T
Fix type inferencing to handle unioning properly
Torin Sandall committed
258b536
January 10, 2018
T
Fix rule arg type inferencing
Torin Sandall committed
a47ccbd
November 7, 2017
T
Refactor topdown evaluation/unification
Torin Sandall committed
3ebbeed
October 30, 2017
T
Fix match error panic
Torin Sandall committed
e4fa1e2
October 10, 2017
T
Refactor functions implementation
Torin Sandall committed
7ca542a
October 3, 2017
T
Modify AST to represent function names as refs
Torin Sandall committed
ea2ea9b
September 2, 2017
T
Fix type inference bug
Torin Sandall committed
b8f0762
August 31, 2017
T
Improve dynamic object property support
Torin Sandall committed
1c0d0b8
T
Refactor static property name
Torin Sandall committed
7fcb192
T
Suppress match errors if closures contained errors
Torin Sandall committed
0403a6b
July 18, 2017
M
Support composite terms as reference operands
Matthew Mussomele committed
3821494
July 11, 2017
M
Insert language builtins into the TypeEnv on compiler creation
Matthew Mussomele committed
2af4c80
July 7, 2017
T
Improve type checking error messages
Torin Sandall committed
94d8aa6