Thanks for sharing

[idkjs]

Thanks for sharing the knowledge.

I am trying to run your example and getting a few errors:

Maybe its a typo. What did you intend with module Migrations....

********** NEW BUILD **********

File "src/adb/PG.re", lines 105-107, characters 2-9:
105 | ..[%rapper execute({sql|
106 |   SET session_replication_role = replica;
107 |   |sql})]..
Error: Unbound module Rapper_helper
File "src/adb/migration.re", line 4, characters 17-41:
4 | module type DB = Rapper_helper.CONNECTION;
                     ^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Rapper_helper
                                             
********** NEW BUILD **********

File "example/example.re", line 6, characters 27-52:
6 | let migrations = [((module Migrations.Initial_schema): (module S.Migration))];
                               ^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Migrations
Hint: Did you mean Migration?
                                             
********** NEW BUILD **********

File "example/example.re", line 6, characters 27-51:
6 | let migrations = [((module Migration.Initial_schema): (module S.Migration))];
                               ^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Migration.Initial_schema
Had errors, waiting for filesystem changes...

Thanks again for sharing your knowledge.

[idkjs]

Also, i add an example to my fork which seems to compile but not do anything after changing:

let migrations = [ (module Migration.Initial_schema : S.Migration) ]

to

let migrations = [ (module Initial_schema : S.Migration) ]

https://github.com/idkjs/ADB/tree/main/example

Thanks again