Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revising the way attributes are desugared #2940

Merged
merged 13 commits into from
Aug 1, 2023
Merged

Revising the way attributes are desugared #2940

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
6c8d301
revising the desugaring of attributes
nikswamy May 21, 2023
cff51ec
propagate attributes to effect definitions
nikswamy May 21, 2023
aa863d1
snap
nikswamy May 22, 2023
4f3759c
Merge remote-tracking branch 'origin/master' into _nik_decl_attrs
nikswamy May 22, 2023
e23d621
merging master in
nikswamy Jun 15, 2023
df7301c
snap
nikswamy Jun 15, 2023
b5987c1
wip
nikswamy Jun 15, 2023
11976d2
merging in master
nikswamy Jul 31, 2023
f9be400
snap
nikswamy Jul 31, 2023
822f1e0
attributes on redefine effect and tycon_abstract
nikswamy Jul 31, 2023
13c0de0
keep attrs around Sig_fail
nikswamy Jul 31, 2023
5aef6ad
dedup more systematically; do not use BatList.unique_hash for this pu…
nikswamy Aug 1, 2023
dbf25f0
Merge remote-tracking branch 'origin/master' into _nik_decl_attrs
nikswamy Aug 1, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions ocaml/fstar-lib/FStar_List.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,3 +77,5 @@ let unique = BatList.unique
let map_flatten f l = flatten (map f l)

let span = BatList.span

let deduplicate (f:'a -> 'a -> bool) (l:'a list) : 'a list = BatList.unique ~eq:f l
6 changes: 3 additions & 3 deletions ocaml/fstar-lib/generated/FStar_Compiler_Range_Type.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

5 changes: 2 additions & 3 deletions ocaml/fstar-lib/generated/FStar_Ident.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 10 additions & 3 deletions ocaml/fstar-lib/generated/FStar_Syntax_MutRecTy.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 7 additions & 1 deletion ocaml/fstar-lib/generated/FStar_Syntax_Util.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading