Jean-Alexandre Barszcz pushed to branch ocaml-toplevel at Stefan / Typer

Commits: f6c2ab2f by Jean-Alexandre Barszcz at 2020-12-12T02:18:53-05:00 Create a toplevel with Typer's modules

- - - - -

1 changed file:

- GNUmakefile

Changes:

===================================== GNUmakefile ===================================== @@ -113,6 +113,22 @@ run/typer-file: run/test-file: @./$(BUILDDIR)/test

+# Typer modules in an ocaml toplevel +## Creates the packed module `Typer` to avoid module name clashes +## with ocaml's compiler-libs (`Lexer`, `Env`, etc.) +toplevel: typer + # ============================ + # Build toplevel + # ============================ + @find $(BUILDDIR)/src -name *.ml -not -name REPL.ml -not -name debug.ml\ + | xargs basename -a -s .ml > typer.mlpack + @echo "typer" > typer.mltop + $(OCAMLBUILD) -I src $(OBFLAGS) typer.top + @$(RM) typer.mltop typer.mlpack + +run/toplevel: toplevel + rlwrap $(BUILDDIR)/typer.top -I $(BUILDDIR) + # Compile into bytecode using ocamlc in profiling mode. # Generate a ocamlprof.dump file. profiling-cp:

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/f6c2ab2f2f0407ae69ab00f76312bf068a...