Build History for branch/martin/modules

Update example

Update example

Follow-up improvements from code review - Merge import.ml into stdlib_extra.ml: import.ml now just re-exports stdlib_extra.ml via `include Stdlib_extra`, eliminating the duplicated utility code. - atd/imports.ml: use Hashtbl.Make with a PathTbl functor (keyed on string list) for the globals deduplication table, replacing the polymorphic Hashtbl. - atdts: dotted module paths in import declarations now map to path separators in the generated TypeScript import. For example, `import long.module.path` generates `./long/module/path` rather than just `./path`. - Add a gen-expect test for dotted module path imports in atdts. - doc/atd-language-reference.rst: add an experimental warning about dotted module paths, noting that their behavior may vary across backends and support may be removed in a future release. - doc/atdts.rst: update import path example to reflect the path-separator behavior for dotted module paths. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Review fixes: remove dead code, simplify, fix doc - stdlib_extra.ml: remove dead `mapi` function (it had reversed argument order compared to List.mapi and was never called; the stdlib List.mapi is used directly through `include List`) - ast.ml/mli: simplify local_name_of_import to x.name (the `name` field already holds the resolved local name, making the match redundant) - doc/atdts.rst: fix generated import file path in example: atdts uses only the last component of a dotted module path (e.g. "./path" not "./long.module.path") Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

atdgen: update snapshots for wildcard type variable change The import refactoring changed how type parameters are handled, causing the code generator to emit _ wildcard type variables instead of named type variables in type annotations (e.g. 'a param -> _ param). Update all affected expected.ml snapshot files. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

atdgen: ignore runtime test output files The test suite writes *.bin and *.json files to the working directory. Add a .gitignore to keep them out of git status. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Add a note into atdd's source code

Fix atdcat: restore -remove-wraps and update expected test output The import refactoring commit dropped Atd.Ast.remove_wrap_constructs, breaking the -remove-wraps flag in atdcat. Restore the function using the existing Map.module_ infrastructure, and update the atdcat expected test files to include the import lines now present in test.atd. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Update docs and changelog for import statement support - CHANGES.md: document import declarations with alias and per-component name annotations - doc/atd-language-reference.rst: update grammar and add "Import declarations" section - doc/atdml-reference.rst: add "Import declarations" section - doc/atdpy.rst: add "Import annotations" subsection - doc/atdts.rst: add "Import declarations" subsection Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>