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

Default modalities and simple modal modules #97

Open
wants to merge 5 commits into
base: jane
Choose a base branch
from
Open

Default modalities and simple modal modules #97

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b618a5f
Add tests for default modalities.
tdelvecchio-jsc Dec 20, 2024
a7d7285
Implement default modalities.
tdelvecchio-jsc Dec 20, 2024
d585ffc
Add more tests.
tdelvecchio-jsc Dec 20, 2024
1e0ca6b
Add tests for basic modal modules.
tdelvecchio-jsc Jan 10, 2025
4b1dfb3
Implement basic modal modules.
tdelvecchio-jsc Jan 10, 2025
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
4 changes: 2 additions & 2 deletions lib/Ast.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -295,8 +295,8 @@ let doc_atrs ?(acc = []) atrs =

let rec mty_is_simple x =
match x.pmty_desc with
| Pmty_ident _ | Pmty_alias _ | Pmty_signature [] -> true
| Pmty_signature (_ :: _)
| Pmty_ident _ | Pmty_alias _ | Pmty_signature {psg_items= []; _} -> true
| Pmty_signature {psg_items= _ :: _; _}
|Pmty_with (_, _ :: _ :: _)
|Pmty_extension _
|Pmty_functor (_, _)
Expand Down
4 changes: 2 additions & 2 deletions lib/Chunk.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,8 @@
open Extended_ast

type 'a item =
| Structure : Extended_ast.structure item
| Signature : Extended_ast.signature item
| Structure : Extended_ast.structure_item list item
| Signature : Extended_ast.signature_item list item
| Use_file : Extended_ast.use_file item

type 'a t =
Expand Down
4 changes: 2 additions & 2 deletions lib/Chunk.mli
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
(**************************************************************************)

type 'a item =
| Structure : Extended_ast.structure item
| Signature : Extended_ast.signature item
| Structure : Extended_ast.structure_item list item
| Signature : Extended_ast.signature_item list item
| Use_file : Extended_ast.use_file item

type 'a t =
Expand Down
2 changes: 1 addition & 1 deletion lib/Exposed.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -144,7 +144,7 @@ module Right = struct

let payload = function
| PStr items -> list ~elt:structure_item items
| PSig items -> list ~elt:signature_item items
| PSig {psg_items; _} -> list ~elt:signature_item psg_items
| PTyp t -> core_type t
| PPat _ -> false
end
Loading
Loading