├── .dir-locals.el ├── .gitignore ├── .merlin ├── LICENSE.md ├── Makefile ├── Manual.md ├── README.md ├── _tags ├── coop ├── coop.odocl ├── coop.opam ├── dune-project ├── etc └── coop-mode.el ├── examples ├── file_operations.coop ├── io_monitor.coop ├── memory.coop ├── state.coop └── tick.coop ├── pervasives.coop ├── src ├── config.ml ├── config.mli ├── coop.ml ├── desugar.ml ├── desugar.mli ├── desugared.mli ├── dune ├── external.ml ├── external.mli ├── level.ml ├── level.mli ├── lexer.ml ├── location.ml ├── location.mli ├── name.ml ├── name.mli ├── parser.mly ├── print.ml ├── print.mli ├── runtime.ml ├── runtime.mli ├── sugared.mli ├── syntax.ml ├── syntax.mli ├── toplevel.ml ├── toplevel.mli ├── typecheck.ml ├── typecheck.mli ├── ulexbuf.ml ├── ulexbuf.mli ├── value.ml └── value.mli └── tests ├── abstract_type.coop ├── abstract_type.coop.ref ├── comodel_nested.coop ├── comodel_nested.coop.ref ├── comodelrename.coop ├── comodelrename.coop.ref ├── comodeltimes.coop ├── comodeltimes.coop.ref ├── datatypes.coop ├── datatypes.coop.ref ├── declare.coop ├── declare.coop.ref ├── empty_type.coop ├── empty_type.coop.ref ├── exception_propagate.coop ├── exception_propagate.coop.ref ├── kernel_exec.coop ├── kernel_exec.coop.ref ├── optional_val_case.coop ├── optional_val_case.coop.ref ├── potentially_unhandled.coop ├── potentially_unhandled.coop.ref ├── recursion.coop ├── recursion.coop.ref ├── signal_catch.coop ├── signal_catch.coop.ref ├── state.coop ├── state.coop.ref ├── subtype.coop ├── subtype.coop.ref ├── test.sh ├── user_exec.coop └── user_exec.coop.ref /.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/.dir-locals.el -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/.merlin -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/Makefile -------------------------------------------------------------------------------- /Manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/Manual.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- 1 | true: bin_annot 2 | : include 3 | 4 | -------------------------------------------------------------------------------- /coop: -------------------------------------------------------------------------------- 1 | _build/default/src/coop.exe -------------------------------------------------------------------------------- /coop.odocl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/coop.odocl -------------------------------------------------------------------------------- /coop.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/coop.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/dune-project -------------------------------------------------------------------------------- /etc/coop-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/etc/coop-mode.el -------------------------------------------------------------------------------- /examples/file_operations.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/examples/file_operations.coop -------------------------------------------------------------------------------- /examples/io_monitor.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/examples/io_monitor.coop -------------------------------------------------------------------------------- /examples/memory.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/examples/memory.coop -------------------------------------------------------------------------------- /examples/state.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/examples/state.coop -------------------------------------------------------------------------------- /examples/tick.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/examples/tick.coop -------------------------------------------------------------------------------- /pervasives.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/pervasives.coop -------------------------------------------------------------------------------- /src/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/config.ml -------------------------------------------------------------------------------- /src/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/config.mli -------------------------------------------------------------------------------- /src/coop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/coop.ml -------------------------------------------------------------------------------- /src/desugar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/desugar.ml -------------------------------------------------------------------------------- /src/desugar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/desugar.mli -------------------------------------------------------------------------------- /src/desugared.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/desugared.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/dune -------------------------------------------------------------------------------- /src/external.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/external.ml -------------------------------------------------------------------------------- /src/external.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/external.mli -------------------------------------------------------------------------------- /src/level.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/level.ml -------------------------------------------------------------------------------- /src/level.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/level.mli -------------------------------------------------------------------------------- /src/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/lexer.ml -------------------------------------------------------------------------------- /src/location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/location.ml -------------------------------------------------------------------------------- /src/location.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/location.mli -------------------------------------------------------------------------------- /src/name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/name.ml -------------------------------------------------------------------------------- /src/name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/name.mli -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/print.ml -------------------------------------------------------------------------------- /src/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/print.mli -------------------------------------------------------------------------------- /src/runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/runtime.ml -------------------------------------------------------------------------------- /src/runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/runtime.mli -------------------------------------------------------------------------------- /src/sugared.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/sugared.mli -------------------------------------------------------------------------------- /src/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/syntax.ml -------------------------------------------------------------------------------- /src/syntax.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/syntax.mli -------------------------------------------------------------------------------- /src/toplevel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/toplevel.ml -------------------------------------------------------------------------------- /src/toplevel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/toplevel.mli -------------------------------------------------------------------------------- /src/typecheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/typecheck.ml -------------------------------------------------------------------------------- /src/typecheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/typecheck.mli -------------------------------------------------------------------------------- /src/ulexbuf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/ulexbuf.ml -------------------------------------------------------------------------------- /src/ulexbuf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/ulexbuf.mli -------------------------------------------------------------------------------- /src/value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/value.ml -------------------------------------------------------------------------------- /src/value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/src/value.mli -------------------------------------------------------------------------------- /tests/abstract_type.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/abstract_type.coop -------------------------------------------------------------------------------- /tests/abstract_type.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/abstract_type.coop.ref -------------------------------------------------------------------------------- /tests/comodel_nested.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodel_nested.coop -------------------------------------------------------------------------------- /tests/comodel_nested.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodel_nested.coop.ref -------------------------------------------------------------------------------- /tests/comodelrename.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodelrename.coop -------------------------------------------------------------------------------- /tests/comodelrename.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodelrename.coop.ref -------------------------------------------------------------------------------- /tests/comodeltimes.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodeltimes.coop -------------------------------------------------------------------------------- /tests/comodeltimes.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/comodeltimes.coop.ref -------------------------------------------------------------------------------- /tests/datatypes.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/datatypes.coop -------------------------------------------------------------------------------- /tests/datatypes.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/datatypes.coop.ref -------------------------------------------------------------------------------- /tests/declare.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/declare.coop -------------------------------------------------------------------------------- /tests/declare.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/declare.coop.ref -------------------------------------------------------------------------------- /tests/empty_type.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/empty_type.coop -------------------------------------------------------------------------------- /tests/empty_type.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/empty_type.coop.ref -------------------------------------------------------------------------------- /tests/exception_propagate.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/exception_propagate.coop -------------------------------------------------------------------------------- /tests/exception_propagate.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/exception_propagate.coop.ref -------------------------------------------------------------------------------- /tests/kernel_exec.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/kernel_exec.coop -------------------------------------------------------------------------------- /tests/kernel_exec.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/kernel_exec.coop.ref -------------------------------------------------------------------------------- /tests/optional_val_case.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/optional_val_case.coop -------------------------------------------------------------------------------- /tests/optional_val_case.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/optional_val_case.coop.ref -------------------------------------------------------------------------------- /tests/potentially_unhandled.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/potentially_unhandled.coop -------------------------------------------------------------------------------- /tests/potentially_unhandled.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/potentially_unhandled.coop.ref -------------------------------------------------------------------------------- /tests/recursion.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/recursion.coop -------------------------------------------------------------------------------- /tests/recursion.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/recursion.coop.ref -------------------------------------------------------------------------------- /tests/signal_catch.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/signal_catch.coop -------------------------------------------------------------------------------- /tests/signal_catch.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/signal_catch.coop.ref -------------------------------------------------------------------------------- /tests/state.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/state.coop -------------------------------------------------------------------------------- /tests/state.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/state.coop.ref -------------------------------------------------------------------------------- /tests/subtype.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/subtype.coop -------------------------------------------------------------------------------- /tests/subtype.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/subtype.coop.ref -------------------------------------------------------------------------------- /tests/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/test.sh -------------------------------------------------------------------------------- /tests/user_exec.coop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/user_exec.coop -------------------------------------------------------------------------------- /tests/user_exec.coop.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/coop/HEAD/tests/user_exec.coop.ref --------------------------------------------------------------------------------