[Git][monnier/typer][master] * src/subst.ml: Rewrite completely, mostly following the λσ approach
Stefan pushed to branch master at Stefan / Typer Commits: b978cb6b by Stefan Monnier at 2016-04-18T08:21:44-04:00 * src/subst.ml: Rewrite completely, mostly following the λσ approach * .gitignore: Add missing final newline. Fix #*# pattern. * src/lexp.ml (lexp): Swap Susp's arguments, to match the order usually used in papers. Adjust all users accordingly. * src/typecheck.ml (mkSusp, scompose, sapply, ssink): New helpers to use the new substitutions. (conv_p'): Adjust to new substitutions's type. (check): Check that Let's types are indeed types. Fix compilation. - - - - - 5 changed files: - .gitignore - DESIGN - src/lexp.ml - src/subst.ml - src/typecheck.ml Changes: ===================================== .gitignore ===================================== #<Gitlab::Git::Diff:0x000000058ce830> ===================================== DESIGN ===================================== #<Gitlab::Git::Diff:0x000000058ce0d8> ===================================== src/lexp.ml ===================================== #<Gitlab::Git::Diff:0x000000058cd840> ===================================== src/subst.ml ===================================== #<Gitlab::Git::Diff:0x000000058cd340> ===================================== src/typecheck.ml ===================================== #<Gitlab::Git::Diff:0x000000058ccc88> View it on GitLab: https://gitlab.com/monnier/typer/commit/b978cb6bc84bf6316d6e60e3793139d8bfbe...
Afficher les réponses par date
participants (1)
-
Stefan