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

ATD modules (work in progress) #297

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

ATD modules (work in progress) #297

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
7f7d220
Add support for ATD modules ('import') - WIP
mjambon Apr 25, 2022
21c6b63
WIP
mjambon May 10, 2022
e1362b1
Merge remote-tracking branch 'origin/master' into mj-atd-modules
mjambon Nov 14, 2022
9929394
Work in progress
mjambon Nov 14, 2022
7bd2445
Work in progress
mjambon Nov 15, 2022
21e8d71
It compiles and the tests pass.
mjambon Nov 16, 2022
ca5746e
Replacing type names by a list of dot-separated components. WIP
mjambon Nov 16, 2022
2fddace
Implemented and tested import functionality in atdpy.
mjambon Nov 17, 2022
f406178
Split ocaml.ml into meaningful modules. WIP
mjambon Nov 19, 2022
6d67a10
Split ocaml.ml into meaningful modules. Still a work in progress.
mjambon Nov 21, 2022
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
1 change: 1 addition & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,7 @@ js:
clean:
$(DUNE) clean
$(MAKE) -C atdpy clean
$(MAKE) -C atdts clean
rm -rf tmp

.PHONY: all-supported-ocaml-versions
Expand Down
6 changes: 4 additions & 2 deletions atd/src/annot.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
Utilities for interpreting annotations of type Ast.annot.
*)

open Import
open Stdlib_extra

type t = Ast.annot

Expand Down Expand Up @@ -168,6 +168,7 @@ type schema = schema_section list
let validate_section sec root =
(* split fields by location where they may occur *)
let in_module_head = ref [] in
let in_import = ref [] in
let in_type_def = ref [] in
let in_type_expr = ref [] in
let in_variant = ref [] in
Expand Down Expand Up @@ -202,7 +203,8 @@ let validate_section sec root =
)
in
Ast.fold_annot
~module_head:(check in_module_head)
~module_:(check in_module_head)
~import:(check in_import)
~type_def:(check in_type_def)
~type_expr:(check in_type_expr)
~variant:(check in_variant)
Expand Down
Loading