├── .ackrc ├── .gitignore ├── .gitmodules ├── META ├── Makefile ├── README.md ├── TAGS ├── _tags ├── alphaLib ├── Essai.ml ├── GADT.ml ├── GADT2.ml ├── GADT3.ml ├── GADT4.ml ├── GADT5.ml ├── Lib.ml ├── Lib.mli ├── Makefile ├── MyNames.ml ├── MyNames.mli ├── MyTypes.ml ├── RandomAccessList.ml ├── RandomAccessList.mli ├── Signatures.ml ├── TODO ├── UnaryBinders.ml └── UnaryBinders.mli ├── compiler ├── .dir-locals.el ├── Compile.ml ├── Compile.mli ├── Mezzo2UntypedMezzo.ml ├── Mezzo2UntypedMezzo.mli ├── OCamlKeywords.ml ├── OCamlKeywords.mli ├── UntypedMezzo.ml ├── UntypedMezzo2UntypedOCaml.ml ├── UntypedMezzo2UntypedOCaml.mli ├── UntypedOCaml.ml ├── UntypedOCamlPrinter.ml └── UntypedOCamlPrinter.mli ├── configure ├── corelib ├── .gitignore ├── MezzoCoreLib.mllib ├── array.mz ├── array.mzi ├── autoarray.mz ├── autoarray.mzi ├── autoload ├── bool.mz ├── bool.mzi ├── info.mz ├── info.mzi ├── int.mz ├── int.mzi ├── lock.mz ├── lock.mzi ├── magic.mz ├── magic.mzi ├── myocamlbuild.ml ├── nest.mz ├── nest.mzi ├── option.mz ├── option.mzi ├── physical.mz ├── physical.mzi ├── pool.mz ├── print.mz ├── print.mzi ├── ref.mz ├── ref.mzi ├── thread.mz ├── thread.mzi ├── tube.mz └── tube.mzi ├── interpreter ├── .dir-locals.el ├── Interpreter.ml └── Interpreter.mli ├── lib ├── .dir-locals.el ├── Bash.ml ├── Bash.mli ├── Either.ml ├── Either.mli ├── InfiniteArray.ml ├── InfiniteArray.mli ├── LazyList.ml ├── LazyList.mli ├── Log.ml ├── Log.mli ├── MzList.ml ├── MzList.mli ├── MzMap.ml ├── MzMap.mli ├── MzPprint.ml ├── MzString.ml ├── MzString.mli ├── Option.ml ├── Option.mli ├── PersistentRef.ml ├── PersistentRef.mli ├── PersistentUnionFind.ml ├── PersistentUnionFind.mli ├── gMap.mli ├── gSet.mli ├── patricia.ml └── patricia.mli ├── mezzo.ml ├── mezzolib ├── MezzoLib.ml └── MezzoLib.mllib ├── mezzoweb.ml ├── misc └── graph.svg ├── myocamlbuild.pre.ml ├── ocamlbuild └── ocamlbuild_mezzo.ml ├── parsing ├── .dir-locals.el ├── .gitignore ├── ClFlags.ml ├── Datacon.ml ├── Driver.ml ├── Driver.mli ├── Hashcons.ml ├── Hashcons.mli ├── Identifier.ml ├── Identifier.mli ├── JsGlue.ml ├── KeywordGenerator.ml ├── KeywordPygments.ml ├── Keywords ├── Kind.ml ├── Kind.mli ├── Lexer.ml ├── Lexer.mli ├── Module.ml ├── ParserUtils.ml ├── SurfaceSyntax.ml ├── SurfaceSyntaxPrinter.ml ├── SurfaceSyntaxPrinter.mli ├── Variable.ml ├── grammar.mly └── options.ml ├── stdlib ├── Makefile ├── MezzoStdLib.mllib ├── bfs.mz ├── bfs.mzi ├── bucket.mz ├── bucket.mzi ├── channel.mz ├── channel.mzi ├── condition.mz ├── condition.mzi ├── control.mz ├── dfs.mz ├── dfs.mzi ├── doublylinked.mz ├── doublylinked.mzi ├── either.mz ├── either.mzi ├── fix.mz ├── focused.mz ├── focused.mzi ├── future.mz ├── future.mzi ├── hashtable.mz ├── hashtable.mzi ├── hide.mz ├── hide.mzi ├── iterator.mz ├── iterator.mzi ├── joinable.mz ├── joinable.mzi ├── lazy.mz ├── lazy.mzi ├── list.mz ├── list.mzi ├── memoize.mz ├── memoize.mzi ├── mlist.mz ├── mlist.mzi ├── mutableTreeMap.mz ├── mutableTreeMap.mzi ├── name.mz ├── name.mzi ├── osf.mz ├── osf.mzi ├── partition.mz ├── persistentarray.mz ├── persistentarray.mzi ├── pool.mzi ├── protected.mz ├── protected.mzi ├── queue.mz ├── queue.mzi ├── reflection.mz ├── reflection.mzi ├── region.mz ├── region.mzi ├── stash.mz ├── stash.mzi ├── stream.mz ├── stream.mzi ├── string.mz ├── string.mzi ├── synctube.mz ├── synctube.mzi ├── vector.mz ├── vector.mzi ├── wref.mz └── wref.mzi ├── tests ├── 018.mz ├── MISSING ├── ResizeableArray.mz ├── abbrev-1.mz ├── abbrev-1.mzi ├── abbrev-2.mz ├── abbrev-3.mz ├── abbrev-4.mz ├── abbrev-4.mzi ├── absdefs.mz ├── absdefs.mzi ├── absdefs2.mzi ├── abstract-perm.mz ├── abstract.mz ├── abstract.mzi ├── abstract2.mz ├── abstract2.mzi ├── adoptable.mz ├── adopts-non-mutable-type.mz ├── adopts-type-variable.mz ├── adopts1.mz ├── adopts10.mz ├── adopts11.mz ├── adopts12.mz ├── adopts13.mz ├── adopts14.mz ├── adopts15.mz ├── adopts16.mz ├── adopts17.mz ├── adopts18.mz ├── adopts19.mz ├── adopts2.mz ├── adopts20.mz ├── adopts3.mz ├── adopts4.mz ├── adopts5.mz ├── adopts6.mz ├── adopts7.mz ├── adopts8.mz ├── adopts9.mz ├── adoptslib.mz ├── adoptslib.mzi ├── anonargs.mz ├── arithmetic.mz ├── array-1.mz ├── array-2.mz ├── array-3.mz ├── array-borrow-1.mz ├── array-borrow-2.mz ├── array-contravariance.mz ├── array-covariance.mz ├── array-focus.mz ├── assert-bug.mz ├── assert-exists.mz ├── assert-point.mz ├── assert-var.mz ├── assert-var.mzi ├── assert.mz ├── assert2.mz ├── assign.mz ├── atomic.mz ├── atomic.mzi ├── bad-arity.mz ├── bad-arity2.mz ├── bad-generalization.mz ├── bad-levels.mz ├── bad-linearity.mz ├── bad-variance-annot.mz ├── bad-variance-annot2.mz ├── bad-variance-annot2.mzi ├── bag_fifo.mz ├── bag_fifo.mzi ├── bag_lifo.mz ├── basic.mz ├── bind-op.mz ├── booltrue.mz ├── boundedQueue.mz ├── bug-merge-booleans.mz ├── caires_seco_node.mz ├── call.mz ├── commutations.mz ├── comparison-bug.mz ├── comparison-bug.mzi ├── concurrentsort.mz ├── conflict1.mz ├── conflict2.mz ├── cons.mz ├── constraints_in_patterns.mz ├── constraints_in_patterns2.mz ├── constraints_in_patterns3.mz ├── constraints_in_patterns4.mz ├── constraints_merge.mz ├── constructors.mz ├── constructors_bad_1.mz ├── constructors_bad_2.mz ├── consumes-duplicable.mz ├── consumes-duplicable.mzi ├── consumes-forgotten.mz ├── consumes-forgotten.mzi ├── continuations.mz ├── continuations.mzi ├── copy2.mz ├── counter.mz ├── covariantlock.mz ├── covariantlock.mzi ├── cps-dereliction.mz ├── cps-old.mz ├── cps.mz ├── curry1.mz ├── cycle1.mz ├── cycle1.mzi ├── cycle2.mz ├── cycle2.mzi ├── cyclic-list.mz ├── cyclic-list2.mz ├── cyclic1.mz ├── cyclic1.mzi ├── cyclic2.mz ├── cyclic2.mzi ├── data-term.mz ├── datacon-shadow.mz ├── datacon1.mz ├── datacon2.mz ├── datacon3.mz ├── datacon4.mz ├── datacon5.mz ├── dcscope2.mz ├── delimcc.mz ├── dependent-type.mz ├── deref.mz ├── deref2.mz ├── deref3.mz ├── derivation.mz ├── derived_locks.mz ├── derived_locks.mzi ├── destruct-unqualified.mz ├── desugaring00.mz ├── dfs-example.mz ├── dfs-owns.mz ├── dfs-simple.mz ├── diverge.mz ├── double-datacon.mz ├── double-datacon.mzi ├── double-open.mz ├── double-open2.mz ├── double-release.mz ├── dup-datacon.mzi ├── dup-value.mzi ├── dup.mz ├── dup2.mz ├── dup_sign.mzi ├── dup_sign1.mz ├── dup_sign1.mzi ├── dup_sign2.mz ├── dup_sign3.mz ├── dup_sign4.mz ├── dup_sign4.mzi ├── dup_sign5.mz ├── dup_sign5.mzi ├── duplicity1.mz ├── duplicity2.mz ├── dynarray.mz ├── dynarray.mzi ├── eta.mz ├── exclusive-bug.mz ├── exclusiveperm.mz ├── exist-name-conflict.mz ├── exist00.mz ├── exist01.mz ├── exist03.mz ├── exist04.mz ├── exist05.mz ├── exist06.mz ├── exist07.mz ├── exist08.mz ├── exist09.mz ├── exist10.mz ├── exist10.mzi ├── existential-witness.mz ├── exists-forall.mz ├── exists-tyapp.mz ├── exists-tyapp2.mz ├── export-names.mz ├── export-names.mzi ├── fact-existential.mz ├── fact-inconsistency.mz ├── fact-term.mz ├── facts.mz ├── facts.mzi ├── facts00.mz ├── facts01.mz ├── facts02.mz ├── facts03.mz ├── facts04.mz ├── facts05.mz ├── facts06.mz ├── facts07.mz ├── facts08.mz ├── facts09.mz ├── facts10.mz ├── facts11.mz ├── facts12.mz ├── facts13.mz ├── facts14.mz ├── facts15.mz ├── facts16.mz ├── facts17.mz ├── facts18.mz ├── fail1.mz ├── fail10.mz ├── fail11.mz ├── fail2.mz ├── fail3.mz ├── fail4.mz ├── fail5.mz ├── fail6.mz ├── fail7.mz ├── fail8.mz ├── fail9.mz ├── fd.mzi ├── fieldEvaluationOrder.mz ├── fieldEvaluationOrderReject1.mz ├── fieldEvaluationOrderReject2.mz ├── field_access.mz ├── field_access_bad.mz ├── field_assignment.mz ├── field_assignment_bad.mz ├── flexbug.mz ├── flexbug2.mz ├── flexible-point.mz ├── fold-permission.mz ├── forall-wref.mz ├── forall-wref.mzi ├── fpiterator-focused.mz ├── fpiterator-loop.mz ├── fpiterator.mz ├── fractional.mzi ├── frame-duplicable.mz ├── frame-duplicable.mzi ├── frame-wand.mz ├── frame.mz ├── frame.mzi ├── function-comparison.mz ├── function-comparison2.mz ├── function.mz ├── gadt-bug.mz ├── gadt.mz ├── get.mz ├── ghost00.mz ├── hole.mz ├── icfp.mz ├── identity.mz ├── ifthen-bug.mz ├── impredicative.mz ├── impredicative2.mz ├── impredicative3.mz ├── impredicative4.mz ├── impredicative5.mz ├── improve-inference.mz ├── improve-inference2.mz ├── in_place_traversal.mz ├── in_place_traversal2.mz ├── inconsistent1.mz ├── inconsistent2.mz ├── incorrect-fields.mz ├── incorrect-interface.mz ├── incorrect-interface.mzi ├── instantiate_exists.mz ├── interface-arg-name.mz ├── interface-arg-name.mzi ├── internal_choice.mz ├── interpreter │ ├── .gitignore │ ├── 001.mz │ ├── 002.mz │ ├── 003.mz │ ├── 004.mz │ ├── 005.mz │ ├── 006.mz │ ├── 007.mz │ ├── 008.mz │ ├── 009.mz │ ├── 010.mz │ ├── 011.mz │ ├── 012.mz │ ├── 013.mz │ ├── 014.mz │ ├── 015.mz │ ├── 016.mz │ ├── 017.mz │ ├── 018.mz │ ├── 019.mz │ ├── 020.mz │ ├── 021.mz │ ├── 022.mz │ ├── 023.mz │ ├── 024.mz │ ├── 025.mz │ ├── 026.mz │ ├── 027.mz │ ├── 028.mz │ ├── 029.mz │ ├── 030.mz │ ├── 031.mz │ ├── 032.mz │ ├── 033.mz │ ├── 034.mz │ ├── 035.mz │ ├── 036.mz │ ├── 037.mz │ ├── 038.mz │ ├── 039.mz │ ├── 040.mz │ ├── 041.mz │ ├── 042.mz │ ├── 043.mz │ ├── 044.mz │ ├── 045.mz │ ├── 046.mz │ ├── 047.mz │ ├── 048.mz │ ├── 049.mz │ ├── 050.mz │ ├── 051.mz │ ├── 052.mz │ ├── 053.mz │ ├── 054.mz │ ├── 055.mz │ ├── 056.mz │ ├── 057.mz │ ├── 058.mz │ ├── 059.mz │ ├── 060.mz │ ├── 061.mz │ ├── 062.mz │ ├── 063.mz │ ├── 064.mz │ ├── 065.mz │ ├── 066.mz │ ├── 067.mz │ ├── 068.mz │ ├── 069.mz │ ├── 070.mz │ ├── 071.mz │ ├── 072.mz │ ├── 073.mz │ ├── 074.mz │ ├── 075.mz │ ├── 076.mz │ ├── 077.mz │ ├── 078.mz │ ├── 079.mz │ ├── 080.mz │ ├── 081.mz │ ├── 082.mz │ ├── 083.mz │ ├── 084.mz │ ├── 085.mz │ ├── 086.mz │ ├── 087.mz │ ├── 088.mz │ ├── 089.mz │ ├── 090.mz │ ├── 091.mz │ ├── 092.mz │ ├── 093.mz │ ├── 094.mz │ ├── 095.mz │ ├── 096.mz │ ├── 097.mz │ ├── 098.mz │ ├── 099.mz │ ├── 100.mz │ └── Makefile ├── iteration.mz ├── iteration.mzi ├── joinable_thread.mz ├── joinable_thread.mzi ├── jonathan │ ├── b+tree.mz │ └── find-xlist.mz ├── landin-variant.mz ├── landin.mz ├── letflex.mz ├── linkedHashMap.mz ├── linkedHashMap.mzi ├── list-concat-dup.mz ├── list-concat.mz ├── list-find.mz ├── list-id.mz ├── list-length-variant.mz ├── list-length.mz ├── list-map-tail-rec.mz ├── list-map0.mz ├── list-map1.mz ├── list-map2.mz ├── list-map3.mz ├── list-mem2.mz ├── list-rev.mz ├── list2array.mz ├── local-type.mz ├── local-type2.mz ├── local-type3.mz ├── local-type4.mz ├── local-type5.mz ├── localtype1.mz ├── localtype2.mz ├── localtype3.mz ├── loop.mz ├── loose_variable.mz ├── magic-map.mz ├── masking.mz ├── masking2.mz ├── masking3.mz ├── merge-bug.mz ├── merge-dont-pollute.mz ├── merge-dont-pollute2.mz ├── merge-funcs.mz ├── merge-struct.mz ├── merge-tyapp-with-two-subs.mz ├── merge.mz ├── merge1.mz ├── merge10.mz ├── merge11.mz ├── merge12.mz ├── merge13.mz ├── merge14.mz ├── merge15.mz ├── merge16.mz ├── merge17.mz ├── merge18.mz ├── merge19.mz ├── merge2.mz ├── merge20.mz ├── merge3.mz ├── merge4.mz ├── merge5.mz ├── merge6.mz ├── merge7.mz ├── merge8.mz ├── merge9.mz ├── merge_generalize_val.mz ├── missing-export.mz ├── missing-export.mzi ├── module-lookup.mz ├── module-lookup.mzi ├── modules │ ├── a.mzi │ ├── b.mzi │ ├── c.mzi │ ├── dcscope.mz │ ├── dcscope.mzi │ ├── equations_in_mzi.mz │ ├── equations_in_mzi.mzi │ ├── export_nondup.mz │ ├── export_nondup.mzi │ ├── exportref.mzi │ ├── exporttwo.mz │ ├── exporttwo.mzi │ ├── list2.mzi │ ├── m.mz │ ├── qualified.mz │ ├── simple.mz │ ├── simple.mzi │ ├── simple2.mz │ └── simple2.mzi ├── monads.mz ├── multiple-match-ref.mz ├── multiple_data_type_groups.mz ├── multiple_fields_and_permissions.mz ├── multiplearrows.mz ├── name-capture.mz ├── name-intro.mz ├── name-intro2.mz ├── name-intro3.mz ├── name-intro4.mz ├── name-intro5.mz ├── named-return.mz ├── named-return2.mz ├── named-tuple-components.mz ├── nesting00.mz ├── nesting01.mz ├── nesting02.mz ├── nesting03.mz ├── nesting04.mz ├── old_iterator.mz ├── old_iterator.mzi ├── old_miterator.mz ├── old_miterator.mzi ├── old_mutableTreeMap_iterator.mz ├── oneshot-test.mz ├── openvide.mz ├── overflow.mz ├── owns1.mz ├── owns2.mz ├── owns3.mz ├── pack-assert.mz ├── pack1.mz ├── pack2.mz ├── pattern-sharing.mz ├── pattern1.mz ├── pattern2.mz ├── pattern3.mz ├── pattern4.mz ├── permission-shift-duplicable.mz ├── permission-shift-duplicable.mzi ├── permission-shift.mz ├── permission-shift.mzi ├── permutation.mz ├── persistentarray_nesting.mz ├── poly.mz ├── polycall1.mz ├── polycall2.mz ├── polycall3.mz ├── polycall4.mz ├── polycall5.mz ├── polycall6.mz ├── priority.mz ├── quantifier-bug.mz ├── quantifier.mz ├── ref-confusion.mz ├── ref-covariant.mz ├── ref-covariant.mzi ├── ref-swap.mz ├── residual.mz ├── resugar.mz ├── rich-bool1.mz ├── same-type-var-bug.mz ├── self.mz ├── server.mz ├── shortest.mz ├── singleton-swap.mz ├── singleton-swap.mzi ├── singleton1.mz ├── singleton2.mz ├── smemoize.mz ├── smemoize.mzi ├── snapshot.mz ├── sparray.mz ├── sparray.mzi ├── sparraymw.mz ├── species.mz ├── stack.mzi ├── strange.mz ├── strip_floating_perms.mz ├── stupid-swap.mz ├── stupid_match.mz ├── sub_constraints_nonpoint_type.mz ├── tableau.mz ├── take-abstract.mz ├── time.mz ├── time.mzi ├── tree-coroutine.mz ├── tree-removal.mz ├── tree_size.mz ├── tuple-syntax.mz ├── twice-mutable.mz ├── twostructural.mz ├── tyand00.mz ├── tyand01.mz ├── tyand02.mz ├── tyand03.mz ├── tyand04.mz ├── tyand05.mz ├── tyand06.mz ├── tyapp.mz ├── tyexists-failure.mz ├── unbound00.mz ├── unbound01.mz ├── unbound02.mz ├── unbound03.mz ├── unbound04.mz ├── unbound05.mz ├── unbound06.mz ├── unbound07.mz ├── unbound08.mz ├── unbound09.mz ├── unbound10.mz ├── unbound11.mz ├── unbound12.mz ├── unbound13.mz ├── unbound13.mzi ├── unbound14.mz ├── unbound14.mzi ├── unbound15.mz ├── unbound16.mz ├── unbound17.mz ├── unbound18.mz ├── unbound18.mzi ├── unbound19.mz ├── unbound19.mzi ├── unbound20.mz ├── unbound20.mzi ├── unbound21.mz ├── unbound22.mz ├── unbound23.mz ├── unbound24.mz ├── unbound25.mz ├── unbound26.mz ├── unbound27.mz ├── unbound28.mz ├── unbound29.mz ├── unbound30.mz ├── unbound31.mz ├── unbound32.mz ├── unbound33.mz ├── unbound34.mz ├── unbound34.mzi ├── unbound35.mz ├── unbound35.mzi ├── unbound36.mz ├── unbound37.mz ├── unbound38.mz ├── unbound39.mz ├── unbound40.mz ├── unbound41.mz ├── union-find-dynamic.mz ├── union-find-nesting.mz ├── union-find-nesting.mzi ├── union-find-region.mz ├── union-find-region.mzi ├── unit │ └── UnitTests.ml ├── unlikely-eta-reduction.mz ├── unqualified-datacon.mz ├── unwarranted-release.mz ├── use-magic.mz ├── value-restriction-violation.mz ├── value-restriction-violation.mzi ├── value_restriction.mz ├── value_restriction2.mz ├── value_restriction3.mz ├── value_restriction4.mz ├── value_restriction5.mz ├── value_restriction5.mzi ├── variance.mz ├── vicious-cycle.mz ├── vide.mz ├── vide.mzi ├── vtube.mzi ├── vtube_iter.mz ├── warninconsistent1.mz ├── weird-datacon-shadowing.mz ├── weird-datacon-shadowing.mzi ├── while-1.mz ├── while-2.mz ├── while-3.mz ├── wildcard1.mz ├── wildcard2.mz ├── wildcard3.mz ├── woref.mz ├── woref.mzi ├── wrong_type_annotation.mz ├── xlist-concat.mz ├── xlist-concat1.mz ├── xlist-concat2.mz ├── xlist-copy.mz ├── xlist-cps-append.mz ├── xlist.mz ├── xlist.mzi └── xswap.mz ├── testsuite.ml ├── typing ├── .dir-locals.el ├── DataTypeFlavor.ml ├── DeBruijn.ml ├── DeBruijn.mli ├── DerivationPrinter.ml ├── DerivationPrinter.mli ├── Derivations.ml ├── Derivations.mli ├── Exports.ml ├── Exports.mli ├── Expressions.ml ├── Expressions.mli ├── ExpressionsCore.ml ├── ExpressionsCore.mli ├── Fact.ml ├── Fact.mli ├── FactInference.ml ├── FactInference.mli ├── Hoist.ml ├── Hoist.mli ├── Inconsistency.ml ├── Interfaces.ml ├── Interfaces.mli ├── KindCheck.ml ├── KindCheck.mli ├── KindPrinter.ml ├── KindPrinter.mli ├── Mark.ml ├── Mark.mli ├── Merge.ml ├── Merge.mli ├── Mode.ml ├── Mode.mli ├── Modules.ml ├── Modules.mli ├── Namespace.ml ├── Namespace.mli ├── NamespaceSignature.ml ├── Permissions.ml ├── Permissions.mli ├── Resugar.ml ├── Resugar.mli ├── ResugarFold.ml ├── ResugarFold.mli ├── TransSurface.ml ├── TransSurface.mli ├── TypeChecker.ml ├── TypeChecker.mli ├── TypeCore.ml ├── TypeCore.mli ├── TypeErrors.ml ├── TypeErrors.mli ├── Types.ml ├── Types.mli ├── Variance.ml └── Variance.mli ├── utils ├── .dir-locals.el ├── Debug.ml ├── TestUtils.ml ├── Utils.ml └── Utils.mli ├── viewer ├── data │ ├── tests_ResizeableArray.mz.json │ ├── tests_conflict2.hml.json │ ├── tests_constraints_merge.hml.json │ ├── tests_duplicity2.hml.json │ ├── tests_function.hml.json │ ├── tests_in_place_traversal.hml.json │ ├── tests_list-length.hml.json │ ├── tests_merge1.hml.json │ ├── tests_merge10.hml.json │ ├── tests_merge11.hml.json │ ├── tests_merge12.hml.json │ ├── tests_merge13.hml.json │ ├── tests_merge14.hml.json │ ├── tests_merge16.hml.json │ ├── tests_merge2.hml.json │ ├── tests_merge3.hml.json │ ├── tests_merge4.hml.json │ ├── tests_merge5.hml.json │ ├── tests_merge6.hml.json │ ├── tests_merge7.hml.json │ ├── tests_merge8.hml.json │ ├── tests_merge9.hml.json │ ├── tests_perms_in_records.hml.json │ ├── tests_singleton1.hml.json │ ├── tests_tree_size.hml.json │ ├── tests_xlist-concat1.hml.json │ └── tests_xlist-concat2.hml.json ├── gen_index.sh ├── index.html ├── jquery-1.7.2.min.js ├── lib.js ├── pygmentize.css ├── viewer.css ├── viewer.html └── viewer.js ├── vim ├── ftdetect │ └── mezzo.vim ├── ftplugin │ └── mezzo.vim ├── indent │ └── mezzo.vim └── syntax │ ├── .gitignore │ └── mezzo.vim.raw └── web ├── break-mutual-recursion-in-menhir.patch ├── demos ├── a-race-fixed.mz ├── a-race.mz ├── borrow-w-ghost-code.mz ├── graph-fixed-dfs.mz ├── graph.mz ├── list-append.mz ├── msr.mz ├── ref-get-fix1.mz ├── ref-get-fix2.mz ├── ref-get.mz └── write-once-refs.mz ├── index.html ├── js ├── ace.js ├── jquery-2.1.0.min.js ├── override.js └── ui.js └── style.css /.ackrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/.ackrc -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/.gitmodules -------------------------------------------------------------------------------- /META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/META -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/README.md -------------------------------------------------------------------------------- /TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/TAGS -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/_tags -------------------------------------------------------------------------------- /alphaLib/Essai.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/Essai.ml -------------------------------------------------------------------------------- /alphaLib/GADT.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/GADT.ml -------------------------------------------------------------------------------- /alphaLib/GADT2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/GADT2.ml -------------------------------------------------------------------------------- /alphaLib/GADT3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/GADT3.ml -------------------------------------------------------------------------------- /alphaLib/GADT4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/GADT4.ml -------------------------------------------------------------------------------- /alphaLib/GADT5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/GADT5.ml -------------------------------------------------------------------------------- /alphaLib/Lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/Lib.ml -------------------------------------------------------------------------------- /alphaLib/Lib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/Lib.mli -------------------------------------------------------------------------------- /alphaLib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/Makefile -------------------------------------------------------------------------------- /alphaLib/MyNames.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/MyNames.ml -------------------------------------------------------------------------------- /alphaLib/MyNames.mli: -------------------------------------------------------------------------------- 1 | open Signatures 2 | include NAME 3 | -------------------------------------------------------------------------------- /alphaLib/MyTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/MyTypes.ml -------------------------------------------------------------------------------- /alphaLib/RandomAccessList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/RandomAccessList.ml -------------------------------------------------------------------------------- /alphaLib/RandomAccessList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/RandomAccessList.mli -------------------------------------------------------------------------------- /alphaLib/Signatures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/Signatures.ml -------------------------------------------------------------------------------- /alphaLib/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/TODO -------------------------------------------------------------------------------- /alphaLib/UnaryBinders.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/UnaryBinders.ml -------------------------------------------------------------------------------- /alphaLib/UnaryBinders.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/alphaLib/UnaryBinders.mli -------------------------------------------------------------------------------- /compiler/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/.dir-locals.el -------------------------------------------------------------------------------- /compiler/Compile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/Compile.ml -------------------------------------------------------------------------------- /compiler/Compile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/Compile.mli -------------------------------------------------------------------------------- /compiler/Mezzo2UntypedMezzo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/Mezzo2UntypedMezzo.ml -------------------------------------------------------------------------------- /compiler/Mezzo2UntypedMezzo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/Mezzo2UntypedMezzo.mli -------------------------------------------------------------------------------- /compiler/OCamlKeywords.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/OCamlKeywords.ml -------------------------------------------------------------------------------- /compiler/OCamlKeywords.mli: -------------------------------------------------------------------------------- 1 | val keyword_table: (string, unit) Hashtbl.t 2 | -------------------------------------------------------------------------------- /compiler/UntypedMezzo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedMezzo.ml -------------------------------------------------------------------------------- /compiler/UntypedMezzo2UntypedOCaml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedMezzo2UntypedOCaml.ml -------------------------------------------------------------------------------- /compiler/UntypedMezzo2UntypedOCaml.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedMezzo2UntypedOCaml.mli -------------------------------------------------------------------------------- /compiler/UntypedOCaml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedOCaml.ml -------------------------------------------------------------------------------- /compiler/UntypedOCamlPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedOCamlPrinter.ml -------------------------------------------------------------------------------- /compiler/UntypedOCamlPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/compiler/UntypedOCamlPrinter.mli -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/configure -------------------------------------------------------------------------------- /corelib/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | -------------------------------------------------------------------------------- /corelib/MezzoCoreLib.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/MezzoCoreLib.mllib -------------------------------------------------------------------------------- /corelib/array.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/array.mz -------------------------------------------------------------------------------- /corelib/array.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/array.mzi -------------------------------------------------------------------------------- /corelib/autoarray.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/autoarray.mz -------------------------------------------------------------------------------- /corelib/autoarray.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/autoarray.mzi -------------------------------------------------------------------------------- /corelib/autoload: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/autoload -------------------------------------------------------------------------------- /corelib/bool.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/bool.mz -------------------------------------------------------------------------------- /corelib/bool.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/bool.mzi -------------------------------------------------------------------------------- /corelib/info.mz: -------------------------------------------------------------------------------- 1 | val info [a] (x: a): () = () 2 | -------------------------------------------------------------------------------- /corelib/info.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/info.mzi -------------------------------------------------------------------------------- /corelib/int.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/int.mz -------------------------------------------------------------------------------- /corelib/int.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/int.mzi -------------------------------------------------------------------------------- /corelib/lock.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/lock.mz -------------------------------------------------------------------------------- /corelib/lock.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/lock.mzi -------------------------------------------------------------------------------- /corelib/magic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/magic.mz -------------------------------------------------------------------------------- /corelib/magic.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/magic.mzi -------------------------------------------------------------------------------- /corelib/myocamlbuild.ml: -------------------------------------------------------------------------------- 1 | open Ocamlbuild_plugin 2 | 3 | -------------------------------------------------------------------------------- /corelib/nest.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/nest.mz -------------------------------------------------------------------------------- /corelib/nest.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/nest.mzi -------------------------------------------------------------------------------- /corelib/option.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/option.mz -------------------------------------------------------------------------------- /corelib/option.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/option.mzi -------------------------------------------------------------------------------- /corelib/physical.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/physical.mz -------------------------------------------------------------------------------- /corelib/physical.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/physical.mzi -------------------------------------------------------------------------------- /corelib/pool.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/pool.mz -------------------------------------------------------------------------------- /corelib/print.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/print.mz -------------------------------------------------------------------------------- /corelib/print.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/print.mzi -------------------------------------------------------------------------------- /corelib/ref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/ref.mz -------------------------------------------------------------------------------- /corelib/ref.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/ref.mzi -------------------------------------------------------------------------------- /corelib/thread.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/thread.mz -------------------------------------------------------------------------------- /corelib/thread.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/thread.mzi -------------------------------------------------------------------------------- /corelib/tube.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/tube.mz -------------------------------------------------------------------------------- /corelib/tube.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/corelib/tube.mzi -------------------------------------------------------------------------------- /interpreter/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/interpreter/.dir-locals.el -------------------------------------------------------------------------------- /interpreter/Interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/interpreter/Interpreter.ml -------------------------------------------------------------------------------- /interpreter/Interpreter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/interpreter/Interpreter.mli -------------------------------------------------------------------------------- /lib/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/.dir-locals.el -------------------------------------------------------------------------------- /lib/Bash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Bash.ml -------------------------------------------------------------------------------- /lib/Bash.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Bash.mli -------------------------------------------------------------------------------- /lib/Either.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Either.ml -------------------------------------------------------------------------------- /lib/Either.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Either.mli -------------------------------------------------------------------------------- /lib/InfiniteArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/InfiniteArray.ml -------------------------------------------------------------------------------- /lib/InfiniteArray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/InfiniteArray.mli -------------------------------------------------------------------------------- /lib/LazyList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/LazyList.ml -------------------------------------------------------------------------------- /lib/LazyList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/LazyList.mli -------------------------------------------------------------------------------- /lib/Log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Log.ml -------------------------------------------------------------------------------- /lib/Log.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Log.mli -------------------------------------------------------------------------------- /lib/MzList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzList.ml -------------------------------------------------------------------------------- /lib/MzList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzList.mli -------------------------------------------------------------------------------- /lib/MzMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzMap.ml -------------------------------------------------------------------------------- /lib/MzMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzMap.mli -------------------------------------------------------------------------------- /lib/MzPprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzPprint.ml -------------------------------------------------------------------------------- /lib/MzString.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzString.ml -------------------------------------------------------------------------------- /lib/MzString.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/MzString.mli -------------------------------------------------------------------------------- /lib/Option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Option.ml -------------------------------------------------------------------------------- /lib/Option.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/Option.mli -------------------------------------------------------------------------------- /lib/PersistentRef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/PersistentRef.ml -------------------------------------------------------------------------------- /lib/PersistentRef.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/PersistentRef.mli -------------------------------------------------------------------------------- /lib/PersistentUnionFind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/PersistentUnionFind.ml -------------------------------------------------------------------------------- /lib/PersistentUnionFind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/PersistentUnionFind.mli -------------------------------------------------------------------------------- /lib/gMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/gMap.mli -------------------------------------------------------------------------------- /lib/gSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/gSet.mli -------------------------------------------------------------------------------- /lib/patricia.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/patricia.ml -------------------------------------------------------------------------------- /lib/patricia.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/lib/patricia.mli -------------------------------------------------------------------------------- /mezzo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/mezzo.ml -------------------------------------------------------------------------------- /mezzolib/MezzoLib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/mezzolib/MezzoLib.ml -------------------------------------------------------------------------------- /mezzolib/MezzoLib.mllib: -------------------------------------------------------------------------------- 1 | MezzoLib 2 | -------------------------------------------------------------------------------- /mezzoweb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/mezzoweb.ml -------------------------------------------------------------------------------- /misc/graph.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/misc/graph.svg -------------------------------------------------------------------------------- /myocamlbuild.pre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/myocamlbuild.pre.ml -------------------------------------------------------------------------------- /ocamlbuild/ocamlbuild_mezzo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/ocamlbuild/ocamlbuild_mezzo.ml -------------------------------------------------------------------------------- /parsing/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/.dir-locals.el -------------------------------------------------------------------------------- /parsing/.gitignore: -------------------------------------------------------------------------------- 1 | Keywords.ml 2 | -------------------------------------------------------------------------------- /parsing/ClFlags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/ClFlags.ml -------------------------------------------------------------------------------- /parsing/Datacon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Datacon.ml -------------------------------------------------------------------------------- /parsing/Driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Driver.ml -------------------------------------------------------------------------------- /parsing/Driver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Driver.mli -------------------------------------------------------------------------------- /parsing/Hashcons.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Hashcons.ml -------------------------------------------------------------------------------- /parsing/Hashcons.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Hashcons.mli -------------------------------------------------------------------------------- /parsing/Identifier.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Identifier.ml -------------------------------------------------------------------------------- /parsing/Identifier.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Identifier.mli -------------------------------------------------------------------------------- /parsing/JsGlue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/JsGlue.ml -------------------------------------------------------------------------------- /parsing/KeywordGenerator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/KeywordGenerator.ml -------------------------------------------------------------------------------- /parsing/KeywordPygments.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/KeywordPygments.ml -------------------------------------------------------------------------------- /parsing/Keywords: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Keywords -------------------------------------------------------------------------------- /parsing/Kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Kind.ml -------------------------------------------------------------------------------- /parsing/Kind.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Kind.mli -------------------------------------------------------------------------------- /parsing/Lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Lexer.ml -------------------------------------------------------------------------------- /parsing/Lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Lexer.mli -------------------------------------------------------------------------------- /parsing/Module.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Module.ml -------------------------------------------------------------------------------- /parsing/ParserUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/ParserUtils.ml -------------------------------------------------------------------------------- /parsing/SurfaceSyntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/SurfaceSyntax.ml -------------------------------------------------------------------------------- /parsing/SurfaceSyntaxPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/SurfaceSyntaxPrinter.ml -------------------------------------------------------------------------------- /parsing/SurfaceSyntaxPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/SurfaceSyntaxPrinter.mli -------------------------------------------------------------------------------- /parsing/Variable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/Variable.ml -------------------------------------------------------------------------------- /parsing/grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/grammar.mly -------------------------------------------------------------------------------- /parsing/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/parsing/options.ml -------------------------------------------------------------------------------- /stdlib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/Makefile -------------------------------------------------------------------------------- /stdlib/MezzoStdLib.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/MezzoStdLib.mllib -------------------------------------------------------------------------------- /stdlib/bfs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/bfs.mz -------------------------------------------------------------------------------- /stdlib/bfs.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/bfs.mzi -------------------------------------------------------------------------------- /stdlib/bucket.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/bucket.mz -------------------------------------------------------------------------------- /stdlib/bucket.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/bucket.mzi -------------------------------------------------------------------------------- /stdlib/channel.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/channel.mz -------------------------------------------------------------------------------- /stdlib/channel.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/channel.mzi -------------------------------------------------------------------------------- /stdlib/condition.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/condition.mz -------------------------------------------------------------------------------- /stdlib/condition.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/condition.mzi -------------------------------------------------------------------------------- /stdlib/control.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/control.mz -------------------------------------------------------------------------------- /stdlib/dfs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/dfs.mz -------------------------------------------------------------------------------- /stdlib/dfs.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/dfs.mzi -------------------------------------------------------------------------------- /stdlib/doublylinked.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/doublylinked.mz -------------------------------------------------------------------------------- /stdlib/doublylinked.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/doublylinked.mzi -------------------------------------------------------------------------------- /stdlib/either.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/either.mz -------------------------------------------------------------------------------- /stdlib/either.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/either.mzi -------------------------------------------------------------------------------- /stdlib/fix.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/fix.mz -------------------------------------------------------------------------------- /stdlib/focused.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/focused.mz -------------------------------------------------------------------------------- /stdlib/focused.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/focused.mzi -------------------------------------------------------------------------------- /stdlib/future.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/future.mz -------------------------------------------------------------------------------- /stdlib/future.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/future.mzi -------------------------------------------------------------------------------- /stdlib/hashtable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/hashtable.mz -------------------------------------------------------------------------------- /stdlib/hashtable.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/hashtable.mzi -------------------------------------------------------------------------------- /stdlib/hide.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/hide.mz -------------------------------------------------------------------------------- /stdlib/hide.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/hide.mzi -------------------------------------------------------------------------------- /stdlib/iterator.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/iterator.mz -------------------------------------------------------------------------------- /stdlib/iterator.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/iterator.mzi -------------------------------------------------------------------------------- /stdlib/joinable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/joinable.mz -------------------------------------------------------------------------------- /stdlib/joinable.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/joinable.mzi -------------------------------------------------------------------------------- /stdlib/lazy.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/lazy.mz -------------------------------------------------------------------------------- /stdlib/lazy.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/lazy.mzi -------------------------------------------------------------------------------- /stdlib/list.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/list.mz -------------------------------------------------------------------------------- /stdlib/list.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/list.mzi -------------------------------------------------------------------------------- /stdlib/memoize.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/memoize.mz -------------------------------------------------------------------------------- /stdlib/memoize.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/memoize.mzi -------------------------------------------------------------------------------- /stdlib/mlist.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/mlist.mz -------------------------------------------------------------------------------- /stdlib/mlist.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/mlist.mzi -------------------------------------------------------------------------------- /stdlib/mutableTreeMap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/mutableTreeMap.mz -------------------------------------------------------------------------------- /stdlib/mutableTreeMap.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/mutableTreeMap.mzi -------------------------------------------------------------------------------- /stdlib/name.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/name.mz -------------------------------------------------------------------------------- /stdlib/name.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/name.mzi -------------------------------------------------------------------------------- /stdlib/osf.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/osf.mz -------------------------------------------------------------------------------- /stdlib/osf.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/osf.mzi -------------------------------------------------------------------------------- /stdlib/partition.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/partition.mz -------------------------------------------------------------------------------- /stdlib/persistentarray.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/persistentarray.mz -------------------------------------------------------------------------------- /stdlib/persistentarray.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/persistentarray.mzi -------------------------------------------------------------------------------- /stdlib/pool.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/pool.mzi -------------------------------------------------------------------------------- /stdlib/protected.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/protected.mz -------------------------------------------------------------------------------- /stdlib/protected.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/protected.mzi -------------------------------------------------------------------------------- /stdlib/queue.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/queue.mz -------------------------------------------------------------------------------- /stdlib/queue.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/queue.mzi -------------------------------------------------------------------------------- /stdlib/reflection.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/reflection.mz -------------------------------------------------------------------------------- /stdlib/reflection.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/reflection.mzi -------------------------------------------------------------------------------- /stdlib/region.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/region.mz -------------------------------------------------------------------------------- /stdlib/region.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/region.mzi -------------------------------------------------------------------------------- /stdlib/stash.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/stash.mz -------------------------------------------------------------------------------- /stdlib/stash.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/stash.mzi -------------------------------------------------------------------------------- /stdlib/stream.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/stream.mz -------------------------------------------------------------------------------- /stdlib/stream.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/stream.mzi -------------------------------------------------------------------------------- /stdlib/string.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/string.mz -------------------------------------------------------------------------------- /stdlib/string.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/string.mzi -------------------------------------------------------------------------------- /stdlib/synctube.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/synctube.mz -------------------------------------------------------------------------------- /stdlib/synctube.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/synctube.mzi -------------------------------------------------------------------------------- /stdlib/vector.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/vector.mz -------------------------------------------------------------------------------- /stdlib/vector.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/vector.mzi -------------------------------------------------------------------------------- /stdlib/wref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/wref.mz -------------------------------------------------------------------------------- /stdlib/wref.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/stdlib/wref.mzi -------------------------------------------------------------------------------- /tests/018.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/018.mz -------------------------------------------------------------------------------- /tests/MISSING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/MISSING -------------------------------------------------------------------------------- /tests/ResizeableArray.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ResizeableArray.mz -------------------------------------------------------------------------------- /tests/abbrev-1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abbrev-1.mz -------------------------------------------------------------------------------- /tests/abbrev-1.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abbrev-1.mzi -------------------------------------------------------------------------------- /tests/abbrev-2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abbrev-2.mz -------------------------------------------------------------------------------- /tests/abbrev-3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abbrev-3.mz -------------------------------------------------------------------------------- /tests/abbrev-4.mz: -------------------------------------------------------------------------------- 1 | alias pair a b = (a, b) 2 | -------------------------------------------------------------------------------- /tests/abbrev-4.mzi: -------------------------------------------------------------------------------- 1 | alias pair a b = (a, b) 2 | -------------------------------------------------------------------------------- /tests/absdefs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/absdefs.mz -------------------------------------------------------------------------------- /tests/absdefs.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/absdefs.mzi -------------------------------------------------------------------------------- /tests/absdefs2.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/absdefs2.mzi -------------------------------------------------------------------------------- /tests/abstract-perm.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abstract-perm.mz -------------------------------------------------------------------------------- /tests/abstract.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abstract.mz -------------------------------------------------------------------------------- /tests/abstract.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abstract.mzi -------------------------------------------------------------------------------- /tests/abstract2.mz: -------------------------------------------------------------------------------- 1 | abstract held (x: value): perm 2 | -------------------------------------------------------------------------------- /tests/abstract2.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/abstract2.mzi -------------------------------------------------------------------------------- /tests/adoptable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adoptable.mz -------------------------------------------------------------------------------- /tests/adopts-non-mutable-type.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts-non-mutable-type.mz -------------------------------------------------------------------------------- /tests/adopts-type-variable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts-type-variable.mz -------------------------------------------------------------------------------- /tests/adopts1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts1.mz -------------------------------------------------------------------------------- /tests/adopts10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts10.mz -------------------------------------------------------------------------------- /tests/adopts11.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts11.mz -------------------------------------------------------------------------------- /tests/adopts12.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts12.mz -------------------------------------------------------------------------------- /tests/adopts13.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts13.mz -------------------------------------------------------------------------------- /tests/adopts14.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts14.mz -------------------------------------------------------------------------------- /tests/adopts15.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts15.mz -------------------------------------------------------------------------------- /tests/adopts16.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts16.mz -------------------------------------------------------------------------------- /tests/adopts17.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts17.mz -------------------------------------------------------------------------------- /tests/adopts18.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts18.mz -------------------------------------------------------------------------------- /tests/adopts19.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts19.mz -------------------------------------------------------------------------------- /tests/adopts2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts2.mz -------------------------------------------------------------------------------- /tests/adopts20.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts20.mz -------------------------------------------------------------------------------- /tests/adopts3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts3.mz -------------------------------------------------------------------------------- /tests/adopts4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts4.mz -------------------------------------------------------------------------------- /tests/adopts5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts5.mz -------------------------------------------------------------------------------- /tests/adopts6.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts6.mz -------------------------------------------------------------------------------- /tests/adopts7.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts7.mz -------------------------------------------------------------------------------- /tests/adopts8.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts8.mz -------------------------------------------------------------------------------- /tests/adopts9.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adopts9.mz -------------------------------------------------------------------------------- /tests/adoptslib.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adoptslib.mz -------------------------------------------------------------------------------- /tests/adoptslib.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/adoptslib.mzi -------------------------------------------------------------------------------- /tests/anonargs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/anonargs.mz -------------------------------------------------------------------------------- /tests/arithmetic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/arithmetic.mz -------------------------------------------------------------------------------- /tests/array-1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-1.mz -------------------------------------------------------------------------------- /tests/array-2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-2.mz -------------------------------------------------------------------------------- /tests/array-3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-3.mz -------------------------------------------------------------------------------- /tests/array-borrow-1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-borrow-1.mz -------------------------------------------------------------------------------- /tests/array-borrow-2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-borrow-2.mz -------------------------------------------------------------------------------- /tests/array-contravariance.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-contravariance.mz -------------------------------------------------------------------------------- /tests/array-covariance.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-covariance.mz -------------------------------------------------------------------------------- /tests/array-focus.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/array-focus.mz -------------------------------------------------------------------------------- /tests/assert-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert-bug.mz -------------------------------------------------------------------------------- /tests/assert-exists.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert-exists.mz -------------------------------------------------------------------------------- /tests/assert-point.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert-point.mz -------------------------------------------------------------------------------- /tests/assert-var.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert-var.mz -------------------------------------------------------------------------------- /tests/assert-var.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert-var.mzi -------------------------------------------------------------------------------- /tests/assert.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert.mz -------------------------------------------------------------------------------- /tests/assert2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assert2.mz -------------------------------------------------------------------------------- /tests/assign.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/assign.mz -------------------------------------------------------------------------------- /tests/atomic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/atomic.mz -------------------------------------------------------------------------------- /tests/atomic.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/atomic.mzi -------------------------------------------------------------------------------- /tests/bad-arity.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-arity.mz -------------------------------------------------------------------------------- /tests/bad-arity2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-arity2.mz -------------------------------------------------------------------------------- /tests/bad-generalization.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-generalization.mz -------------------------------------------------------------------------------- /tests/bad-levels.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-levels.mz -------------------------------------------------------------------------------- /tests/bad-linearity.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-linearity.mz -------------------------------------------------------------------------------- /tests/bad-variance-annot.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-variance-annot.mz -------------------------------------------------------------------------------- /tests/bad-variance-annot2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bad-variance-annot2.mz -------------------------------------------------------------------------------- /tests/bad-variance-annot2.mzi: -------------------------------------------------------------------------------- 1 | abstract list -a 2 | -------------------------------------------------------------------------------- /tests/bag_fifo.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bag_fifo.mz -------------------------------------------------------------------------------- /tests/bag_fifo.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bag_fifo.mzi -------------------------------------------------------------------------------- /tests/bag_lifo.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bag_lifo.mz -------------------------------------------------------------------------------- /tests/basic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/basic.mz -------------------------------------------------------------------------------- /tests/bind-op.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bind-op.mz -------------------------------------------------------------------------------- /tests/booltrue.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/booltrue.mz -------------------------------------------------------------------------------- /tests/boundedQueue.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/boundedQueue.mz -------------------------------------------------------------------------------- /tests/bug-merge-booleans.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/bug-merge-booleans.mz -------------------------------------------------------------------------------- /tests/caires_seco_node.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/caires_seco_node.mz -------------------------------------------------------------------------------- /tests/call.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/call.mz -------------------------------------------------------------------------------- /tests/commutations.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/commutations.mz -------------------------------------------------------------------------------- /tests/comparison-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/comparison-bug.mz -------------------------------------------------------------------------------- /tests/comparison-bug.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/comparison-bug.mzi -------------------------------------------------------------------------------- /tests/concurrentsort.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/concurrentsort.mz -------------------------------------------------------------------------------- /tests/conflict1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/conflict1.mz -------------------------------------------------------------------------------- /tests/conflict2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/conflict2.mz -------------------------------------------------------------------------------- /tests/cons.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cons.mz -------------------------------------------------------------------------------- /tests/constraints_in_patterns.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constraints_in_patterns.mz -------------------------------------------------------------------------------- /tests/constraints_in_patterns2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constraints_in_patterns2.mz -------------------------------------------------------------------------------- /tests/constraints_in_patterns3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constraints_in_patterns3.mz -------------------------------------------------------------------------------- /tests/constraints_in_patterns4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constraints_in_patterns4.mz -------------------------------------------------------------------------------- /tests/constraints_merge.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constraints_merge.mz -------------------------------------------------------------------------------- /tests/constructors.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constructors.mz -------------------------------------------------------------------------------- /tests/constructors_bad_1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constructors_bad_1.mz -------------------------------------------------------------------------------- /tests/constructors_bad_2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/constructors_bad_2.mz -------------------------------------------------------------------------------- /tests/consumes-duplicable.mz: -------------------------------------------------------------------------------- 1 | val f: [a] (consumes a) -> a = 2 | builtin foobar 3 | (* This one is truly cool. *) 4 | -------------------------------------------------------------------------------- /tests/consumes-duplicable.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/consumes-duplicable.mzi -------------------------------------------------------------------------------- /tests/consumes-forgotten.mz: -------------------------------------------------------------------------------- 1 | val f: [a] (consumes a) -> a = 2 | builtin foobar 3 | -------------------------------------------------------------------------------- /tests/consumes-forgotten.mzi: -------------------------------------------------------------------------------- 1 | val f: [a] a -> a 2 | -------------------------------------------------------------------------------- /tests/continuations.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/continuations.mz -------------------------------------------------------------------------------- /tests/continuations.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/continuations.mzi -------------------------------------------------------------------------------- /tests/copy2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/copy2.mz -------------------------------------------------------------------------------- /tests/counter.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/counter.mz -------------------------------------------------------------------------------- /tests/covariantlock.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/covariantlock.mz -------------------------------------------------------------------------------- /tests/covariantlock.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/covariantlock.mzi -------------------------------------------------------------------------------- /tests/cps-dereliction.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cps-dereliction.mz -------------------------------------------------------------------------------- /tests/cps-old.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cps-old.mz -------------------------------------------------------------------------------- /tests/cps.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cps.mz -------------------------------------------------------------------------------- /tests/curry1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/curry1.mz -------------------------------------------------------------------------------- /tests/cycle1.mz: -------------------------------------------------------------------------------- 1 | val x = cycle2::x 2 | -------------------------------------------------------------------------------- /tests/cycle1.mzi: -------------------------------------------------------------------------------- 1 | val x : int 2 | -------------------------------------------------------------------------------- /tests/cycle2.mz: -------------------------------------------------------------------------------- 1 | val x = cycle1::x 2 | -------------------------------------------------------------------------------- /tests/cycle2.mzi: -------------------------------------------------------------------------------- 1 | val x : int 2 | -------------------------------------------------------------------------------- /tests/cyclic-list.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cyclic-list.mz -------------------------------------------------------------------------------- /tests/cyclic-list2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/cyclic-list2.mz -------------------------------------------------------------------------------- /tests/cyclic1.mz: -------------------------------------------------------------------------------- 1 | val x = 2 | cyclic2::x 3 | -------------------------------------------------------------------------------- /tests/cyclic1.mzi: -------------------------------------------------------------------------------- 1 | val x: =cyclic2::x 2 | -------------------------------------------------------------------------------- /tests/cyclic2.mz: -------------------------------------------------------------------------------- 1 | val x = 2 | cyclic1::x 3 | -------------------------------------------------------------------------------- /tests/cyclic2.mzi: -------------------------------------------------------------------------------- 1 | val x: =cyclic2::x 2 | -------------------------------------------------------------------------------- /tests/data-term.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/data-term.mz -------------------------------------------------------------------------------- /tests/datacon-shadow.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/datacon-shadow.mz -------------------------------------------------------------------------------- /tests/datacon1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/datacon1.mz -------------------------------------------------------------------------------- /tests/datacon2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/datacon2.mz -------------------------------------------------------------------------------- /tests/datacon3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/datacon3.mz -------------------------------------------------------------------------------- /tests/datacon4.mz: -------------------------------------------------------------------------------- 1 | data t = 2 | | A { x; y } 3 | -------------------------------------------------------------------------------- /tests/datacon5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/datacon5.mz -------------------------------------------------------------------------------- /tests/dcscope2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dcscope2.mz -------------------------------------------------------------------------------- /tests/delimcc.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/delimcc.mz -------------------------------------------------------------------------------- /tests/dependent-type.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dependent-type.mz -------------------------------------------------------------------------------- /tests/deref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/deref.mz -------------------------------------------------------------------------------- /tests/deref2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/deref2.mz -------------------------------------------------------------------------------- /tests/deref3.mz: -------------------------------------------------------------------------------- 1 | val deref [a] (consumes x: ref a): a = 2 | !x 3 | -------------------------------------------------------------------------------- /tests/derivation.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/derivation.mz -------------------------------------------------------------------------------- /tests/derived_locks.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/derived_locks.mz -------------------------------------------------------------------------------- /tests/derived_locks.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/derived_locks.mzi -------------------------------------------------------------------------------- /tests/destruct-unqualified.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/destruct-unqualified.mz -------------------------------------------------------------------------------- /tests/desugaring00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/desugaring00.mz -------------------------------------------------------------------------------- /tests/dfs-example.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dfs-example.mz -------------------------------------------------------------------------------- /tests/dfs-owns.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dfs-owns.mz -------------------------------------------------------------------------------- /tests/dfs-simple.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dfs-simple.mz -------------------------------------------------------------------------------- /tests/diverge.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/diverge.mz -------------------------------------------------------------------------------- /tests/double-datacon.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/double-datacon.mz -------------------------------------------------------------------------------- /tests/double-datacon.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/double-datacon.mzi -------------------------------------------------------------------------------- /tests/double-open.mz: -------------------------------------------------------------------------------- 1 | open atomic 2 | -------------------------------------------------------------------------------- /tests/double-open2.mz: -------------------------------------------------------------------------------- 1 | val f = atomic::newlock -------------------------------------------------------------------------------- /tests/double-release.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/double-release.mz -------------------------------------------------------------------------------- /tests/dup-datacon.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup-datacon.mzi -------------------------------------------------------------------------------- /tests/dup-value.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup-value.mzi -------------------------------------------------------------------------------- /tests/dup.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup.mz -------------------------------------------------------------------------------- /tests/dup2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup2.mz -------------------------------------------------------------------------------- /tests/dup_sign.mzi: -------------------------------------------------------------------------------- 1 | val f: [a, b] a -> b 2 | -------------------------------------------------------------------------------- /tests/dup_sign1.mz: -------------------------------------------------------------------------------- 1 | val f [a, b] (x: a): b = 2 | fail 3 | 4 | -------------------------------------------------------------------------------- /tests/dup_sign1.mzi: -------------------------------------------------------------------------------- 1 | val f: [a, b] duplicable a => a -> b 2 | -------------------------------------------------------------------------------- /tests/dup_sign2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup_sign2.mz -------------------------------------------------------------------------------- /tests/dup_sign3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup_sign3.mz -------------------------------------------------------------------------------- /tests/dup_sign4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup_sign4.mz -------------------------------------------------------------------------------- /tests/dup_sign4.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup_sign4.mzi -------------------------------------------------------------------------------- /tests/dup_sign5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dup_sign5.mz -------------------------------------------------------------------------------- /tests/dup_sign5.mzi: -------------------------------------------------------------------------------- 1 | val f: [a, b] a -> b 2 | -------------------------------------------------------------------------------- /tests/duplicity1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/duplicity1.mz -------------------------------------------------------------------------------- /tests/duplicity2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/duplicity2.mz -------------------------------------------------------------------------------- /tests/dynarray.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dynarray.mz -------------------------------------------------------------------------------- /tests/dynarray.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/dynarray.mzi -------------------------------------------------------------------------------- /tests/eta.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/eta.mz -------------------------------------------------------------------------------- /tests/exclusive-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exclusive-bug.mz -------------------------------------------------------------------------------- /tests/exclusiveperm.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exclusiveperm.mz -------------------------------------------------------------------------------- /tests/exist-name-conflict.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist-name-conflict.mz -------------------------------------------------------------------------------- /tests/exist00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist00.mz -------------------------------------------------------------------------------- /tests/exist01.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist01.mz -------------------------------------------------------------------------------- /tests/exist03.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist03.mz -------------------------------------------------------------------------------- /tests/exist04.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist04.mz -------------------------------------------------------------------------------- /tests/exist05.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist05.mz -------------------------------------------------------------------------------- /tests/exist06.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist06.mz -------------------------------------------------------------------------------- /tests/exist07.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist07.mz -------------------------------------------------------------------------------- /tests/exist08.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist08.mz -------------------------------------------------------------------------------- /tests/exist09.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist09.mz -------------------------------------------------------------------------------- /tests/exist10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exist10.mz -------------------------------------------------------------------------------- /tests/exist10.mzi: -------------------------------------------------------------------------------- 1 | val f: () -> { k } () 2 | -------------------------------------------------------------------------------- /tests/existential-witness.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/existential-witness.mz -------------------------------------------------------------------------------- /tests/exists-forall.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exists-forall.mz -------------------------------------------------------------------------------- /tests/exists-tyapp.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exists-tyapp.mz -------------------------------------------------------------------------------- /tests/exists-tyapp2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/exists-tyapp2.mz -------------------------------------------------------------------------------- /tests/export-names.mz: -------------------------------------------------------------------------------- 1 | val p = (2, 3) 2 | -------------------------------------------------------------------------------- /tests/export-names.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/export-names.mzi -------------------------------------------------------------------------------- /tests/fact-existential.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fact-existential.mz -------------------------------------------------------------------------------- /tests/fact-inconsistency.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fact-inconsistency.mz -------------------------------------------------------------------------------- /tests/fact-term.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fact-term.mz -------------------------------------------------------------------------------- /tests/facts.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts.mz -------------------------------------------------------------------------------- /tests/facts.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts.mzi -------------------------------------------------------------------------------- /tests/facts00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts00.mz -------------------------------------------------------------------------------- /tests/facts01.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts01.mz -------------------------------------------------------------------------------- /tests/facts02.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts02.mz -------------------------------------------------------------------------------- /tests/facts03.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts03.mz -------------------------------------------------------------------------------- /tests/facts04.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts04.mz -------------------------------------------------------------------------------- /tests/facts05.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts05.mz -------------------------------------------------------------------------------- /tests/facts06.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts06.mz -------------------------------------------------------------------------------- /tests/facts07.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts07.mz -------------------------------------------------------------------------------- /tests/facts08.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts08.mz -------------------------------------------------------------------------------- /tests/facts09.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts09.mz -------------------------------------------------------------------------------- /tests/facts10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts10.mz -------------------------------------------------------------------------------- /tests/facts11.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts11.mz -------------------------------------------------------------------------------- /tests/facts12.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts12.mz -------------------------------------------------------------------------------- /tests/facts13.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts13.mz -------------------------------------------------------------------------------- /tests/facts14.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts14.mz -------------------------------------------------------------------------------- /tests/facts15.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts15.mz -------------------------------------------------------------------------------- /tests/facts16.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts16.mz -------------------------------------------------------------------------------- /tests/facts17.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts17.mz -------------------------------------------------------------------------------- /tests/facts18.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/facts18.mz -------------------------------------------------------------------------------- /tests/fail1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail1.mz -------------------------------------------------------------------------------- /tests/fail10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail10.mz -------------------------------------------------------------------------------- /tests/fail11.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail11.mz -------------------------------------------------------------------------------- /tests/fail2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail2.mz -------------------------------------------------------------------------------- /tests/fail3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail3.mz -------------------------------------------------------------------------------- /tests/fail4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail4.mz -------------------------------------------------------------------------------- /tests/fail5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail5.mz -------------------------------------------------------------------------------- /tests/fail6.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail6.mz -------------------------------------------------------------------------------- /tests/fail7.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail7.mz -------------------------------------------------------------------------------- /tests/fail8.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail8.mz -------------------------------------------------------------------------------- /tests/fail9.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fail9.mz -------------------------------------------------------------------------------- /tests/fd.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fd.mzi -------------------------------------------------------------------------------- /tests/fieldEvaluationOrder.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fieldEvaluationOrder.mz -------------------------------------------------------------------------------- /tests/fieldEvaluationOrderReject1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fieldEvaluationOrderReject1.mz -------------------------------------------------------------------------------- /tests/fieldEvaluationOrderReject2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fieldEvaluationOrderReject2.mz -------------------------------------------------------------------------------- /tests/field_access.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/field_access.mz -------------------------------------------------------------------------------- /tests/field_access_bad.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/field_access_bad.mz -------------------------------------------------------------------------------- /tests/field_assignment.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/field_assignment.mz -------------------------------------------------------------------------------- /tests/field_assignment_bad.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/field_assignment_bad.mz -------------------------------------------------------------------------------- /tests/flexbug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/flexbug.mz -------------------------------------------------------------------------------- /tests/flexbug2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/flexbug2.mz -------------------------------------------------------------------------------- /tests/flexible-point.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/flexible-point.mz -------------------------------------------------------------------------------- /tests/fold-permission.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fold-permission.mz -------------------------------------------------------------------------------- /tests/forall-wref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/forall-wref.mz -------------------------------------------------------------------------------- /tests/forall-wref.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/forall-wref.mzi -------------------------------------------------------------------------------- /tests/fpiterator-focused.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fpiterator-focused.mz -------------------------------------------------------------------------------- /tests/fpiterator-loop.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fpiterator-loop.mz -------------------------------------------------------------------------------- /tests/fpiterator.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fpiterator.mz -------------------------------------------------------------------------------- /tests/fractional.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/fractional.mzi -------------------------------------------------------------------------------- /tests/frame-duplicable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/frame-duplicable.mz -------------------------------------------------------------------------------- /tests/frame-duplicable.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/frame-duplicable.mzi -------------------------------------------------------------------------------- /tests/frame-wand.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/frame-wand.mz -------------------------------------------------------------------------------- /tests/frame.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/frame.mz -------------------------------------------------------------------------------- /tests/frame.mzi: -------------------------------------------------------------------------------- 1 | val f: [p : perm] (int | p) -> int 2 | -------------------------------------------------------------------------------- /tests/function-comparison.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/function-comparison.mz -------------------------------------------------------------------------------- /tests/function-comparison2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/function-comparison2.mz -------------------------------------------------------------------------------- /tests/function.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/function.mz -------------------------------------------------------------------------------- /tests/gadt-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/gadt-bug.mz -------------------------------------------------------------------------------- /tests/gadt.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/gadt.mz -------------------------------------------------------------------------------- /tests/get.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/get.mz -------------------------------------------------------------------------------- /tests/ghost00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ghost00.mz -------------------------------------------------------------------------------- /tests/hole.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/hole.mz -------------------------------------------------------------------------------- /tests/icfp.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/icfp.mz -------------------------------------------------------------------------------- /tests/identity.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/identity.mz -------------------------------------------------------------------------------- /tests/ifthen-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ifthen-bug.mz -------------------------------------------------------------------------------- /tests/impredicative.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/impredicative.mz -------------------------------------------------------------------------------- /tests/impredicative2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/impredicative2.mz -------------------------------------------------------------------------------- /tests/impredicative3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/impredicative3.mz -------------------------------------------------------------------------------- /tests/impredicative4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/impredicative4.mz -------------------------------------------------------------------------------- /tests/impredicative5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/impredicative5.mz -------------------------------------------------------------------------------- /tests/improve-inference.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/improve-inference.mz -------------------------------------------------------------------------------- /tests/improve-inference2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/improve-inference2.mz -------------------------------------------------------------------------------- /tests/in_place_traversal.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/in_place_traversal.mz -------------------------------------------------------------------------------- /tests/in_place_traversal2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/in_place_traversal2.mz -------------------------------------------------------------------------------- /tests/inconsistent1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/inconsistent1.mz -------------------------------------------------------------------------------- /tests/inconsistent2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/inconsistent2.mz -------------------------------------------------------------------------------- /tests/incorrect-fields.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/incorrect-fields.mz -------------------------------------------------------------------------------- /tests/incorrect-interface.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/incorrect-interface.mz -------------------------------------------------------------------------------- /tests/incorrect-interface.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/incorrect-interface.mzi -------------------------------------------------------------------------------- /tests/instantiate_exists.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/instantiate_exists.mz -------------------------------------------------------------------------------- /tests/interface-arg-name.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interface-arg-name.mz -------------------------------------------------------------------------------- /tests/interface-arg-name.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interface-arg-name.mzi -------------------------------------------------------------------------------- /tests/internal_choice.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/internal_choice.mz -------------------------------------------------------------------------------- /tests/interpreter/.gitignore: -------------------------------------------------------------------------------- 1 | *.err 2 | *.out 3 | *.xit 4 | -------------------------------------------------------------------------------- /tests/interpreter/001.mz: -------------------------------------------------------------------------------- 1 | (* Success: 2 *) 2 | val () = 3 | print (1 + 2 * 3 - 40 / 8) 4 | -------------------------------------------------------------------------------- /tests/interpreter/002.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/002.mz -------------------------------------------------------------------------------- /tests/interpreter/003.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/003.mz -------------------------------------------------------------------------------- /tests/interpreter/004.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/004.mz -------------------------------------------------------------------------------- /tests/interpreter/005.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/005.mz -------------------------------------------------------------------------------- /tests/interpreter/006.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/006.mz -------------------------------------------------------------------------------- /tests/interpreter/007.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/007.mz -------------------------------------------------------------------------------- /tests/interpreter/008.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/008.mz -------------------------------------------------------------------------------- /tests/interpreter/009.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/009.mz -------------------------------------------------------------------------------- /tests/interpreter/010.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/010.mz -------------------------------------------------------------------------------- /tests/interpreter/011.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/011.mz -------------------------------------------------------------------------------- /tests/interpreter/012.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/012.mz -------------------------------------------------------------------------------- /tests/interpreter/013.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/013.mz -------------------------------------------------------------------------------- /tests/interpreter/014.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/014.mz -------------------------------------------------------------------------------- /tests/interpreter/015.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/015.mz -------------------------------------------------------------------------------- /tests/interpreter/016.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/016.mz -------------------------------------------------------------------------------- /tests/interpreter/017.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/017.mz -------------------------------------------------------------------------------- /tests/interpreter/018.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/018.mz -------------------------------------------------------------------------------- /tests/interpreter/019.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/019.mz -------------------------------------------------------------------------------- /tests/interpreter/020.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/020.mz -------------------------------------------------------------------------------- /tests/interpreter/021.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/021.mz -------------------------------------------------------------------------------- /tests/interpreter/022.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/022.mz -------------------------------------------------------------------------------- /tests/interpreter/023.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/023.mz -------------------------------------------------------------------------------- /tests/interpreter/024.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/024.mz -------------------------------------------------------------------------------- /tests/interpreter/025.mz: -------------------------------------------------------------------------------- 1 | (* Success: 6 *) 2 | val () = 3 | match 1 + 2 with x as y -> print (x + y) end 4 | 5 | -------------------------------------------------------------------------------- /tests/interpreter/026.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/026.mz -------------------------------------------------------------------------------- /tests/interpreter/027.mz: -------------------------------------------------------------------------------- 1 | (* Success: 24 *) 2 | val () = 3 | match (12, 23) with _ -> print 24 end 4 | 5 | -------------------------------------------------------------------------------- /tests/interpreter/028.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/028.mz -------------------------------------------------------------------------------- /tests/interpreter/029.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/029.mz -------------------------------------------------------------------------------- /tests/interpreter/030.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/030.mz -------------------------------------------------------------------------------- /tests/interpreter/031.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/031.mz -------------------------------------------------------------------------------- /tests/interpreter/032.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/032.mz -------------------------------------------------------------------------------- /tests/interpreter/033.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/033.mz -------------------------------------------------------------------------------- /tests/interpreter/034.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/034.mz -------------------------------------------------------------------------------- /tests/interpreter/035.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/035.mz -------------------------------------------------------------------------------- /tests/interpreter/036.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/036.mz -------------------------------------------------------------------------------- /tests/interpreter/037.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/037.mz -------------------------------------------------------------------------------- /tests/interpreter/038.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/038.mz -------------------------------------------------------------------------------- /tests/interpreter/039.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/039.mz -------------------------------------------------------------------------------- /tests/interpreter/040.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/040.mz -------------------------------------------------------------------------------- /tests/interpreter/041.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/041.mz -------------------------------------------------------------------------------- /tests/interpreter/042.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/042.mz -------------------------------------------------------------------------------- /tests/interpreter/043.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/043.mz -------------------------------------------------------------------------------- /tests/interpreter/044.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/044.mz -------------------------------------------------------------------------------- /tests/interpreter/045.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/045.mz -------------------------------------------------------------------------------- /tests/interpreter/046.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/046.mz -------------------------------------------------------------------------------- /tests/interpreter/047.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/047.mz -------------------------------------------------------------------------------- /tests/interpreter/048.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/048.mz -------------------------------------------------------------------------------- /tests/interpreter/049.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/049.mz -------------------------------------------------------------------------------- /tests/interpreter/050.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/050.mz -------------------------------------------------------------------------------- /tests/interpreter/051.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/051.mz -------------------------------------------------------------------------------- /tests/interpreter/052.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/052.mz -------------------------------------------------------------------------------- /tests/interpreter/053.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/053.mz -------------------------------------------------------------------------------- /tests/interpreter/054.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/054.mz -------------------------------------------------------------------------------- /tests/interpreter/055.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/055.mz -------------------------------------------------------------------------------- /tests/interpreter/056.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/056.mz -------------------------------------------------------------------------------- /tests/interpreter/057.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/057.mz -------------------------------------------------------------------------------- /tests/interpreter/058.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/058.mz -------------------------------------------------------------------------------- /tests/interpreter/059.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/059.mz -------------------------------------------------------------------------------- /tests/interpreter/060.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/060.mz -------------------------------------------------------------------------------- /tests/interpreter/061.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/061.mz -------------------------------------------------------------------------------- /tests/interpreter/062.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/062.mz -------------------------------------------------------------------------------- /tests/interpreter/063.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/063.mz -------------------------------------------------------------------------------- /tests/interpreter/064.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/064.mz -------------------------------------------------------------------------------- /tests/interpreter/065.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/065.mz -------------------------------------------------------------------------------- /tests/interpreter/066.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/066.mz -------------------------------------------------------------------------------- /tests/interpreter/067.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/067.mz -------------------------------------------------------------------------------- /tests/interpreter/068.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/068.mz -------------------------------------------------------------------------------- /tests/interpreter/069.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/069.mz -------------------------------------------------------------------------------- /tests/interpreter/070.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/070.mz -------------------------------------------------------------------------------- /tests/interpreter/071.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/071.mz -------------------------------------------------------------------------------- /tests/interpreter/072.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/072.mz -------------------------------------------------------------------------------- /tests/interpreter/073.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/073.mz -------------------------------------------------------------------------------- /tests/interpreter/074.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/074.mz -------------------------------------------------------------------------------- /tests/interpreter/075.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/075.mz -------------------------------------------------------------------------------- /tests/interpreter/076.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/076.mz -------------------------------------------------------------------------------- /tests/interpreter/077.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/077.mz -------------------------------------------------------------------------------- /tests/interpreter/078.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/078.mz -------------------------------------------------------------------------------- /tests/interpreter/079.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/079.mz -------------------------------------------------------------------------------- /tests/interpreter/080.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/080.mz -------------------------------------------------------------------------------- /tests/interpreter/081.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/081.mz -------------------------------------------------------------------------------- /tests/interpreter/082.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/082.mz -------------------------------------------------------------------------------- /tests/interpreter/083.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/083.mz -------------------------------------------------------------------------------- /tests/interpreter/084.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/084.mz -------------------------------------------------------------------------------- /tests/interpreter/085.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/085.mz -------------------------------------------------------------------------------- /tests/interpreter/086.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/086.mz -------------------------------------------------------------------------------- /tests/interpreter/087.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/087.mz -------------------------------------------------------------------------------- /tests/interpreter/088.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/088.mz -------------------------------------------------------------------------------- /tests/interpreter/089.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/089.mz -------------------------------------------------------------------------------- /tests/interpreter/090.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/090.mz -------------------------------------------------------------------------------- /tests/interpreter/091.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/091.mz -------------------------------------------------------------------------------- /tests/interpreter/092.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/092.mz -------------------------------------------------------------------------------- /tests/interpreter/093.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/093.mz -------------------------------------------------------------------------------- /tests/interpreter/094.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/094.mz -------------------------------------------------------------------------------- /tests/interpreter/095.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/095.mz -------------------------------------------------------------------------------- /tests/interpreter/096.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/096.mz -------------------------------------------------------------------------------- /tests/interpreter/097.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/097.mz -------------------------------------------------------------------------------- /tests/interpreter/098.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/098.mz -------------------------------------------------------------------------------- /tests/interpreter/099.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/099.mz -------------------------------------------------------------------------------- /tests/interpreter/100.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/100.mz -------------------------------------------------------------------------------- /tests/interpreter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/interpreter/Makefile -------------------------------------------------------------------------------- /tests/iteration.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/iteration.mz -------------------------------------------------------------------------------- /tests/iteration.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/iteration.mzi -------------------------------------------------------------------------------- /tests/joinable_thread.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/joinable_thread.mz -------------------------------------------------------------------------------- /tests/joinable_thread.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/joinable_thread.mzi -------------------------------------------------------------------------------- /tests/jonathan/b+tree.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/jonathan/b+tree.mz -------------------------------------------------------------------------------- /tests/jonathan/find-xlist.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/jonathan/find-xlist.mz -------------------------------------------------------------------------------- /tests/landin-variant.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/landin-variant.mz -------------------------------------------------------------------------------- /tests/landin.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/landin.mz -------------------------------------------------------------------------------- /tests/letflex.mz: -------------------------------------------------------------------------------- 1 | val _ = 2 | let flex p: perm in 3 | assert p 4 | -------------------------------------------------------------------------------- /tests/linkedHashMap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/linkedHashMap.mz -------------------------------------------------------------------------------- /tests/linkedHashMap.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/linkedHashMap.mzi -------------------------------------------------------------------------------- /tests/list-concat-dup.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-concat-dup.mz -------------------------------------------------------------------------------- /tests/list-concat.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-concat.mz -------------------------------------------------------------------------------- /tests/list-find.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-find.mz -------------------------------------------------------------------------------- /tests/list-id.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-id.mz -------------------------------------------------------------------------------- /tests/list-length-variant.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-length-variant.mz -------------------------------------------------------------------------------- /tests/list-length.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-length.mz -------------------------------------------------------------------------------- /tests/list-map-tail-rec.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-map-tail-rec.mz -------------------------------------------------------------------------------- /tests/list-map0.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-map0.mz -------------------------------------------------------------------------------- /tests/list-map1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-map1.mz -------------------------------------------------------------------------------- /tests/list-map2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-map2.mz -------------------------------------------------------------------------------- /tests/list-map3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-map3.mz -------------------------------------------------------------------------------- /tests/list-mem2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-mem2.mz -------------------------------------------------------------------------------- /tests/list-rev.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list-rev.mz -------------------------------------------------------------------------------- /tests/list2array.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/list2array.mz -------------------------------------------------------------------------------- /tests/local-type.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/local-type.mz -------------------------------------------------------------------------------- /tests/local-type2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/local-type2.mz -------------------------------------------------------------------------------- /tests/local-type3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/local-type3.mz -------------------------------------------------------------------------------- /tests/local-type4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/local-type4.mz -------------------------------------------------------------------------------- /tests/local-type5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/local-type5.mz -------------------------------------------------------------------------------- /tests/localtype1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/localtype1.mz -------------------------------------------------------------------------------- /tests/localtype2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/localtype2.mz -------------------------------------------------------------------------------- /tests/localtype3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/localtype3.mz -------------------------------------------------------------------------------- /tests/loop.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/loop.mz -------------------------------------------------------------------------------- /tests/loose_variable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/loose_variable.mz -------------------------------------------------------------------------------- /tests/magic-map.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/magic-map.mz -------------------------------------------------------------------------------- /tests/masking.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/masking.mz -------------------------------------------------------------------------------- /tests/masking2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/masking2.mz -------------------------------------------------------------------------------- /tests/masking3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/masking3.mz -------------------------------------------------------------------------------- /tests/merge-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-bug.mz -------------------------------------------------------------------------------- /tests/merge-dont-pollute.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-dont-pollute.mz -------------------------------------------------------------------------------- /tests/merge-dont-pollute2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-dont-pollute2.mz -------------------------------------------------------------------------------- /tests/merge-funcs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-funcs.mz -------------------------------------------------------------------------------- /tests/merge-struct.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-struct.mz -------------------------------------------------------------------------------- /tests/merge-tyapp-with-two-subs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge-tyapp-with-two-subs.mz -------------------------------------------------------------------------------- /tests/merge.mz: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /tests/merge1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge1.mz -------------------------------------------------------------------------------- /tests/merge10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge10.mz -------------------------------------------------------------------------------- /tests/merge11.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge11.mz -------------------------------------------------------------------------------- /tests/merge12.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge12.mz -------------------------------------------------------------------------------- /tests/merge13.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge13.mz -------------------------------------------------------------------------------- /tests/merge14.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge14.mz -------------------------------------------------------------------------------- /tests/merge15.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge15.mz -------------------------------------------------------------------------------- /tests/merge16.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge16.mz -------------------------------------------------------------------------------- /tests/merge17.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge17.mz -------------------------------------------------------------------------------- /tests/merge18.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge18.mz -------------------------------------------------------------------------------- /tests/merge19.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge19.mz -------------------------------------------------------------------------------- /tests/merge2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge2.mz -------------------------------------------------------------------------------- /tests/merge20.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge20.mz -------------------------------------------------------------------------------- /tests/merge3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge3.mz -------------------------------------------------------------------------------- /tests/merge4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge4.mz -------------------------------------------------------------------------------- /tests/merge5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge5.mz -------------------------------------------------------------------------------- /tests/merge6.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge6.mz -------------------------------------------------------------------------------- /tests/merge7.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge7.mz -------------------------------------------------------------------------------- /tests/merge8.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge8.mz -------------------------------------------------------------------------------- /tests/merge9.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge9.mz -------------------------------------------------------------------------------- /tests/merge_generalize_val.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/merge_generalize_val.mz -------------------------------------------------------------------------------- /tests/missing-export.mz: -------------------------------------------------------------------------------- 1 | (* Nothing! *) 2 | -------------------------------------------------------------------------------- /tests/missing-export.mzi: -------------------------------------------------------------------------------- 1 | val x: int 2 | (* Missing from the implementation. *) 3 | -------------------------------------------------------------------------------- /tests/module-lookup.mz: -------------------------------------------------------------------------------- 1 | val x = () 2 | -------------------------------------------------------------------------------- /tests/module-lookup.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/module-lookup.mzi -------------------------------------------------------------------------------- /tests/modules/a.mzi: -------------------------------------------------------------------------------- 1 | data foo_a = FooA 2 | 3 | val conflict: int 4 | -------------------------------------------------------------------------------- /tests/modules/b.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/b.mzi -------------------------------------------------------------------------------- /tests/modules/c.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/c.mzi -------------------------------------------------------------------------------- /tests/modules/dcscope.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/dcscope.mz -------------------------------------------------------------------------------- /tests/modules/dcscope.mzi: -------------------------------------------------------------------------------- 1 | abstract foo 2 | 3 | val v : Foo 4 | -------------------------------------------------------------------------------- /tests/modules/equations_in_mzi.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/equations_in_mzi.mz -------------------------------------------------------------------------------- /tests/modules/equations_in_mzi.mzi: -------------------------------------------------------------------------------- 1 | val x: () 2 | val y: =x 3 | -------------------------------------------------------------------------------- /tests/modules/export_nondup.mz: -------------------------------------------------------------------------------- 1 | val x = ref::newref 0 2 | -------------------------------------------------------------------------------- /tests/modules/export_nondup.mzi: -------------------------------------------------------------------------------- 1 | val x: ref int 2 | -------------------------------------------------------------------------------- /tests/modules/exportref.mzi: -------------------------------------------------------------------------------- 1 | val x: ref int 2 | -------------------------------------------------------------------------------- /tests/modules/exporttwo.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/exporttwo.mz -------------------------------------------------------------------------------- /tests/modules/exporttwo.mzi: -------------------------------------------------------------------------------- 1 | val x: int 2 | -------------------------------------------------------------------------------- /tests/modules/list2.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/list2.mzi -------------------------------------------------------------------------------- /tests/modules/m.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/m.mz -------------------------------------------------------------------------------- /tests/modules/qualified.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/qualified.mz -------------------------------------------------------------------------------- /tests/modules/simple.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/simple.mz -------------------------------------------------------------------------------- /tests/modules/simple.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/simple.mzi -------------------------------------------------------------------------------- /tests/modules/simple2.mz: -------------------------------------------------------------------------------- 1 | data foo a = Foo 2 | -------------------------------------------------------------------------------- /tests/modules/simple2.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/modules/simple2.mzi -------------------------------------------------------------------------------- /tests/monads.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/monads.mz -------------------------------------------------------------------------------- /tests/multiple-match-ref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/multiple-match-ref.mz -------------------------------------------------------------------------------- /tests/multiple_data_type_groups.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/multiple_data_type_groups.mz -------------------------------------------------------------------------------- /tests/multiplearrows.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/multiplearrows.mz -------------------------------------------------------------------------------- /tests/name-capture.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-capture.mz -------------------------------------------------------------------------------- /tests/name-intro.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-intro.mz -------------------------------------------------------------------------------- /tests/name-intro2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-intro2.mz -------------------------------------------------------------------------------- /tests/name-intro3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-intro3.mz -------------------------------------------------------------------------------- /tests/name-intro4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-intro4.mz -------------------------------------------------------------------------------- /tests/name-intro5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/name-intro5.mz -------------------------------------------------------------------------------- /tests/named-return.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/named-return.mz -------------------------------------------------------------------------------- /tests/named-return2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/named-return2.mz -------------------------------------------------------------------------------- /tests/named-tuple-components.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/named-tuple-components.mz -------------------------------------------------------------------------------- /tests/nesting00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/nesting00.mz -------------------------------------------------------------------------------- /tests/nesting01.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/nesting01.mz -------------------------------------------------------------------------------- /tests/nesting02.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/nesting02.mz -------------------------------------------------------------------------------- /tests/nesting03.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/nesting03.mz -------------------------------------------------------------------------------- /tests/nesting04.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/nesting04.mz -------------------------------------------------------------------------------- /tests/old_iterator.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/old_iterator.mz -------------------------------------------------------------------------------- /tests/old_iterator.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/old_iterator.mzi -------------------------------------------------------------------------------- /tests/old_miterator.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/old_miterator.mz -------------------------------------------------------------------------------- /tests/old_miterator.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/old_miterator.mzi -------------------------------------------------------------------------------- /tests/old_mutableTreeMap_iterator.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/old_mutableTreeMap_iterator.mz -------------------------------------------------------------------------------- /tests/oneshot-test.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/oneshot-test.mz -------------------------------------------------------------------------------- /tests/openvide.mz: -------------------------------------------------------------------------------- 1 | open vide 2 | 3 | val x = 1 4 | 5 | -------------------------------------------------------------------------------- /tests/overflow.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/overflow.mz -------------------------------------------------------------------------------- /tests/owns1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/owns1.mz -------------------------------------------------------------------------------- /tests/owns2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/owns2.mz -------------------------------------------------------------------------------- /tests/owns3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/owns3.mz -------------------------------------------------------------------------------- /tests/pack-assert.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pack-assert.mz -------------------------------------------------------------------------------- /tests/pack1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pack1.mz -------------------------------------------------------------------------------- /tests/pack2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pack2.mz -------------------------------------------------------------------------------- /tests/pattern-sharing.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pattern-sharing.mz -------------------------------------------------------------------------------- /tests/pattern1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pattern1.mz -------------------------------------------------------------------------------- /tests/pattern2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pattern2.mz -------------------------------------------------------------------------------- /tests/pattern3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pattern3.mz -------------------------------------------------------------------------------- /tests/pattern4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/pattern4.mz -------------------------------------------------------------------------------- /tests/permission-shift-duplicable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/permission-shift-duplicable.mz -------------------------------------------------------------------------------- /tests/permission-shift.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/permission-shift.mz -------------------------------------------------------------------------------- /tests/permission-shift.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/permission-shift.mzi -------------------------------------------------------------------------------- /tests/permutation.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/permutation.mz -------------------------------------------------------------------------------- /tests/persistentarray_nesting.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/persistentarray_nesting.mz -------------------------------------------------------------------------------- /tests/poly.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/poly.mz -------------------------------------------------------------------------------- /tests/polycall1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall1.mz -------------------------------------------------------------------------------- /tests/polycall2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall2.mz -------------------------------------------------------------------------------- /tests/polycall3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall3.mz -------------------------------------------------------------------------------- /tests/polycall4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall4.mz -------------------------------------------------------------------------------- /tests/polycall5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall5.mz -------------------------------------------------------------------------------- /tests/polycall6.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/polycall6.mz -------------------------------------------------------------------------------- /tests/priority.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/priority.mz -------------------------------------------------------------------------------- /tests/quantifier-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/quantifier-bug.mz -------------------------------------------------------------------------------- /tests/quantifier.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/quantifier.mz -------------------------------------------------------------------------------- /tests/ref-confusion.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ref-confusion.mz -------------------------------------------------------------------------------- /tests/ref-covariant.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ref-covariant.mz -------------------------------------------------------------------------------- /tests/ref-covariant.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ref-covariant.mzi -------------------------------------------------------------------------------- /tests/ref-swap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/ref-swap.mz -------------------------------------------------------------------------------- /tests/residual.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/residual.mz -------------------------------------------------------------------------------- /tests/resugar.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/resugar.mz -------------------------------------------------------------------------------- /tests/rich-bool1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/rich-bool1.mz -------------------------------------------------------------------------------- /tests/same-type-var-bug.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/same-type-var-bug.mz -------------------------------------------------------------------------------- /tests/self.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/self.mz -------------------------------------------------------------------------------- /tests/server.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/server.mz -------------------------------------------------------------------------------- /tests/shortest.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/shortest.mz -------------------------------------------------------------------------------- /tests/singleton-swap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/singleton-swap.mz -------------------------------------------------------------------------------- /tests/singleton-swap.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/singleton-swap.mzi -------------------------------------------------------------------------------- /tests/singleton1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/singleton1.mz -------------------------------------------------------------------------------- /tests/singleton2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/singleton2.mz -------------------------------------------------------------------------------- /tests/smemoize.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/smemoize.mz -------------------------------------------------------------------------------- /tests/smemoize.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/smemoize.mzi -------------------------------------------------------------------------------- /tests/snapshot.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/snapshot.mz -------------------------------------------------------------------------------- /tests/sparray.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/sparray.mz -------------------------------------------------------------------------------- /tests/sparray.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/sparray.mzi -------------------------------------------------------------------------------- /tests/sparraymw.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/sparraymw.mz -------------------------------------------------------------------------------- /tests/species.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/species.mz -------------------------------------------------------------------------------- /tests/stack.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/stack.mzi -------------------------------------------------------------------------------- /tests/strange.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/strange.mz -------------------------------------------------------------------------------- /tests/strip_floating_perms.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/strip_floating_perms.mz -------------------------------------------------------------------------------- /tests/stupid-swap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/stupid-swap.mz -------------------------------------------------------------------------------- /tests/stupid_match.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/stupid_match.mz -------------------------------------------------------------------------------- /tests/tableau.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tableau.mz -------------------------------------------------------------------------------- /tests/take-abstract.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/take-abstract.mz -------------------------------------------------------------------------------- /tests/time.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/time.mz -------------------------------------------------------------------------------- /tests/time.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/time.mzi -------------------------------------------------------------------------------- /tests/tree-coroutine.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tree-coroutine.mz -------------------------------------------------------------------------------- /tests/tree-removal.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tree-removal.mz -------------------------------------------------------------------------------- /tests/tree_size.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tree_size.mz -------------------------------------------------------------------------------- /tests/tuple-syntax.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tuple-syntax.mz -------------------------------------------------------------------------------- /tests/twice-mutable.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/twice-mutable.mz -------------------------------------------------------------------------------- /tests/twostructural.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/twostructural.mz -------------------------------------------------------------------------------- /tests/tyand00.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand00.mz -------------------------------------------------------------------------------- /tests/tyand01.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand01.mz -------------------------------------------------------------------------------- /tests/tyand02.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand02.mz -------------------------------------------------------------------------------- /tests/tyand03.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand03.mz -------------------------------------------------------------------------------- /tests/tyand04.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand04.mz -------------------------------------------------------------------------------- /tests/tyand05.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand05.mz -------------------------------------------------------------------------------- /tests/tyand06.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyand06.mz -------------------------------------------------------------------------------- /tests/tyapp.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyapp.mz -------------------------------------------------------------------------------- /tests/tyexists-failure.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/tyexists-failure.mz -------------------------------------------------------------------------------- /tests/unbound00.mz: -------------------------------------------------------------------------------- 1 | val y = x 2 | -------------------------------------------------------------------------------- /tests/unbound01.mz: -------------------------------------------------------------------------------- 1 | val (x, x) = (2, 3) 2 | -------------------------------------------------------------------------------- /tests/unbound02.mz: -------------------------------------------------------------------------------- 1 | val x = A 2 | -------------------------------------------------------------------------------- /tests/unbound03.mz: -------------------------------------------------------------------------------- 1 | val x = list::A 2 | -------------------------------------------------------------------------------- /tests/unbound04.mz: -------------------------------------------------------------------------------- 1 | val x = list::inexistent 2 | -------------------------------------------------------------------------------- /tests/unbound05.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound05.mz -------------------------------------------------------------------------------- /tests/unbound06.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound06.mz -------------------------------------------------------------------------------- /tests/unbound07.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound07.mz -------------------------------------------------------------------------------- /tests/unbound08.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound08.mz -------------------------------------------------------------------------------- /tests/unbound09.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound09.mz -------------------------------------------------------------------------------- /tests/unbound10.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound10.mz -------------------------------------------------------------------------------- /tests/unbound11.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound11.mz -------------------------------------------------------------------------------- /tests/unbound12.mz: -------------------------------------------------------------------------------- 1 | val x : (consumes int) = 3 2 | 3 | -------------------------------------------------------------------------------- /tests/unbound13.mz: -------------------------------------------------------------------------------- 1 | data t a = T 2 | -------------------------------------------------------------------------------- /tests/unbound13.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound13.mzi -------------------------------------------------------------------------------- /tests/unbound14.mz: -------------------------------------------------------------------------------- 1 | data t a b = 2 | T { l: a; r: b } 3 | -------------------------------------------------------------------------------- /tests/unbound14.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound14.mzi -------------------------------------------------------------------------------- /tests/unbound15.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound15.mz -------------------------------------------------------------------------------- /tests/unbound16.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound16.mz -------------------------------------------------------------------------------- /tests/unbound17.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound17.mz -------------------------------------------------------------------------------- /tests/unbound18.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound18.mz -------------------------------------------------------------------------------- /tests/unbound18.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound18.mzi -------------------------------------------------------------------------------- /tests/unbound19.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound19.mz -------------------------------------------------------------------------------- /tests/unbound19.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound19.mzi -------------------------------------------------------------------------------- /tests/unbound20.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound20.mz -------------------------------------------------------------------------------- /tests/unbound20.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound20.mzi -------------------------------------------------------------------------------- /tests/unbound21.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound21.mz -------------------------------------------------------------------------------- /tests/unbound22.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound22.mz -------------------------------------------------------------------------------- /tests/unbound23.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound23.mz -------------------------------------------------------------------------------- /tests/unbound24.mz: -------------------------------------------------------------------------------- 1 | open list 2 | (* Not the right fields. *) 3 | val x: Cons { foo: int } = 4 | fail 5 | -------------------------------------------------------------------------------- /tests/unbound25.mz: -------------------------------------------------------------------------------- 1 | open list 2 | (* Missing field. *) 3 | val x: Cons { head: int } = 4 | fail 5 | -------------------------------------------------------------------------------- /tests/unbound26.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound26.mz -------------------------------------------------------------------------------- /tests/unbound27.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound27.mz -------------------------------------------------------------------------------- /tests/unbound28.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound28.mz -------------------------------------------------------------------------------- /tests/unbound29.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound29.mz -------------------------------------------------------------------------------- /tests/unbound30.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound30.mz -------------------------------------------------------------------------------- /tests/unbound31.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound31.mz -------------------------------------------------------------------------------- /tests/unbound32.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound32.mz -------------------------------------------------------------------------------- /tests/unbound33.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound33.mz -------------------------------------------------------------------------------- /tests/unbound34.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound34.mz -------------------------------------------------------------------------------- /tests/unbound34.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound34.mzi -------------------------------------------------------------------------------- /tests/unbound35.mz: -------------------------------------------------------------------------------- 1 | val x = 0 2 | -------------------------------------------------------------------------------- /tests/unbound35.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound35.mzi -------------------------------------------------------------------------------- /tests/unbound36.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound36.mz -------------------------------------------------------------------------------- /tests/unbound37.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound37.mz -------------------------------------------------------------------------------- /tests/unbound38.mz: -------------------------------------------------------------------------------- 1 | val f : (consumes int) = 2 | 0 3 | 4 | -------------------------------------------------------------------------------- /tests/unbound39.mz: -------------------------------------------------------------------------------- 1 | alias t = (consumes int) 2 | 3 | -------------------------------------------------------------------------------- /tests/unbound40.mz: -------------------------------------------------------------------------------- 1 | data t = T { foo: (consumes int) } 2 | 3 | -------------------------------------------------------------------------------- /tests/unbound41.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unbound41.mz -------------------------------------------------------------------------------- /tests/union-find-dynamic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/union-find-dynamic.mz -------------------------------------------------------------------------------- /tests/union-find-nesting.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/union-find-nesting.mz -------------------------------------------------------------------------------- /tests/union-find-nesting.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/union-find-nesting.mzi -------------------------------------------------------------------------------- /tests/union-find-region.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/union-find-region.mz -------------------------------------------------------------------------------- /tests/union-find-region.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/union-find-region.mzi -------------------------------------------------------------------------------- /tests/unit/UnitTests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unit/UnitTests.ml -------------------------------------------------------------------------------- /tests/unlikely-eta-reduction.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unlikely-eta-reduction.mz -------------------------------------------------------------------------------- /tests/unqualified-datacon.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unqualified-datacon.mz -------------------------------------------------------------------------------- /tests/unwarranted-release.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/unwarranted-release.mz -------------------------------------------------------------------------------- /tests/use-magic.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/use-magic.mz -------------------------------------------------------------------------------- /tests/value_restriction.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction.mz -------------------------------------------------------------------------------- /tests/value_restriction2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction2.mz -------------------------------------------------------------------------------- /tests/value_restriction3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction3.mz -------------------------------------------------------------------------------- /tests/value_restriction4.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction4.mz -------------------------------------------------------------------------------- /tests/value_restriction5.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction5.mz -------------------------------------------------------------------------------- /tests/value_restriction5.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/value_restriction5.mzi -------------------------------------------------------------------------------- /tests/variance.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/variance.mz -------------------------------------------------------------------------------- /tests/vicious-cycle.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/vicious-cycle.mz -------------------------------------------------------------------------------- /tests/vide.mz: -------------------------------------------------------------------------------- 1 | (* empty *) 2 | -------------------------------------------------------------------------------- /tests/vide.mzi: -------------------------------------------------------------------------------- 1 | (* empty *) 2 | -------------------------------------------------------------------------------- /tests/vtube.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/vtube.mzi -------------------------------------------------------------------------------- /tests/vtube_iter.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/vtube_iter.mz -------------------------------------------------------------------------------- /tests/warninconsistent1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/warninconsistent1.mz -------------------------------------------------------------------------------- /tests/weird-datacon-shadowing.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/weird-datacon-shadowing.mz -------------------------------------------------------------------------------- /tests/weird-datacon-shadowing.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/weird-datacon-shadowing.mzi -------------------------------------------------------------------------------- /tests/while-1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/while-1.mz -------------------------------------------------------------------------------- /tests/while-2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/while-2.mz -------------------------------------------------------------------------------- /tests/while-3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/while-3.mz -------------------------------------------------------------------------------- /tests/wildcard1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/wildcard1.mz -------------------------------------------------------------------------------- /tests/wildcard2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/wildcard2.mz -------------------------------------------------------------------------------- /tests/wildcard3.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/wildcard3.mz -------------------------------------------------------------------------------- /tests/woref.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/woref.mz -------------------------------------------------------------------------------- /tests/woref.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/woref.mzi -------------------------------------------------------------------------------- /tests/wrong_type_annotation.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/wrong_type_annotation.mz -------------------------------------------------------------------------------- /tests/xlist-concat.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist-concat.mz -------------------------------------------------------------------------------- /tests/xlist-concat1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist-concat1.mz -------------------------------------------------------------------------------- /tests/xlist-concat2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist-concat2.mz -------------------------------------------------------------------------------- /tests/xlist-copy.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist-copy.mz -------------------------------------------------------------------------------- /tests/xlist-cps-append.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist-cps-append.mz -------------------------------------------------------------------------------- /tests/xlist.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist.mz -------------------------------------------------------------------------------- /tests/xlist.mzi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xlist.mzi -------------------------------------------------------------------------------- /tests/xswap.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/tests/xswap.mz -------------------------------------------------------------------------------- /testsuite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/testsuite.ml -------------------------------------------------------------------------------- /typing/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/.dir-locals.el -------------------------------------------------------------------------------- /typing/DataTypeFlavor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/DataTypeFlavor.ml -------------------------------------------------------------------------------- /typing/DeBruijn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/DeBruijn.ml -------------------------------------------------------------------------------- /typing/DeBruijn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/DeBruijn.mli -------------------------------------------------------------------------------- /typing/DerivationPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/DerivationPrinter.ml -------------------------------------------------------------------------------- /typing/DerivationPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/DerivationPrinter.mli -------------------------------------------------------------------------------- /typing/Derivations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Derivations.ml -------------------------------------------------------------------------------- /typing/Derivations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Derivations.mli -------------------------------------------------------------------------------- /typing/Exports.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Exports.ml -------------------------------------------------------------------------------- /typing/Exports.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Exports.mli -------------------------------------------------------------------------------- /typing/Expressions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Expressions.ml -------------------------------------------------------------------------------- /typing/Expressions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Expressions.mli -------------------------------------------------------------------------------- /typing/ExpressionsCore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/ExpressionsCore.ml -------------------------------------------------------------------------------- /typing/ExpressionsCore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/ExpressionsCore.mli -------------------------------------------------------------------------------- /typing/Fact.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Fact.ml -------------------------------------------------------------------------------- /typing/Fact.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Fact.mli -------------------------------------------------------------------------------- /typing/FactInference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/FactInference.ml -------------------------------------------------------------------------------- /typing/FactInference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/FactInference.mli -------------------------------------------------------------------------------- /typing/Hoist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Hoist.ml -------------------------------------------------------------------------------- /typing/Hoist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Hoist.mli -------------------------------------------------------------------------------- /typing/Inconsistency.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Inconsistency.ml -------------------------------------------------------------------------------- /typing/Interfaces.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Interfaces.ml -------------------------------------------------------------------------------- /typing/Interfaces.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Interfaces.mli -------------------------------------------------------------------------------- /typing/KindCheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/KindCheck.ml -------------------------------------------------------------------------------- /typing/KindCheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/KindCheck.mli -------------------------------------------------------------------------------- /typing/KindPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/KindPrinter.ml -------------------------------------------------------------------------------- /typing/KindPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/KindPrinter.mli -------------------------------------------------------------------------------- /typing/Mark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Mark.ml -------------------------------------------------------------------------------- /typing/Mark.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Mark.mli -------------------------------------------------------------------------------- /typing/Merge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Merge.ml -------------------------------------------------------------------------------- /typing/Merge.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Merge.mli -------------------------------------------------------------------------------- /typing/Mode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Mode.ml -------------------------------------------------------------------------------- /typing/Mode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Mode.mli -------------------------------------------------------------------------------- /typing/Modules.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Modules.ml -------------------------------------------------------------------------------- /typing/Modules.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Modules.mli -------------------------------------------------------------------------------- /typing/Namespace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Namespace.ml -------------------------------------------------------------------------------- /typing/Namespace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Namespace.mli -------------------------------------------------------------------------------- /typing/NamespaceSignature.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/NamespaceSignature.ml -------------------------------------------------------------------------------- /typing/Permissions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Permissions.ml -------------------------------------------------------------------------------- /typing/Permissions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Permissions.mli -------------------------------------------------------------------------------- /typing/Resugar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Resugar.ml -------------------------------------------------------------------------------- /typing/Resugar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Resugar.mli -------------------------------------------------------------------------------- /typing/ResugarFold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/ResugarFold.ml -------------------------------------------------------------------------------- /typing/ResugarFold.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/ResugarFold.mli -------------------------------------------------------------------------------- /typing/TransSurface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TransSurface.ml -------------------------------------------------------------------------------- /typing/TransSurface.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TransSurface.mli -------------------------------------------------------------------------------- /typing/TypeChecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeChecker.ml -------------------------------------------------------------------------------- /typing/TypeChecker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeChecker.mli -------------------------------------------------------------------------------- /typing/TypeCore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeCore.ml -------------------------------------------------------------------------------- /typing/TypeCore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeCore.mli -------------------------------------------------------------------------------- /typing/TypeErrors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeErrors.ml -------------------------------------------------------------------------------- /typing/TypeErrors.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/TypeErrors.mli -------------------------------------------------------------------------------- /typing/Types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Types.ml -------------------------------------------------------------------------------- /typing/Types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Types.mli -------------------------------------------------------------------------------- /typing/Variance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Variance.ml -------------------------------------------------------------------------------- /typing/Variance.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/typing/Variance.mli -------------------------------------------------------------------------------- /utils/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/utils/.dir-locals.el -------------------------------------------------------------------------------- /utils/Debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/utils/Debug.ml -------------------------------------------------------------------------------- /utils/TestUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/utils/TestUtils.ml -------------------------------------------------------------------------------- /utils/Utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/utils/Utils.ml -------------------------------------------------------------------------------- /utils/Utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/utils/Utils.mli -------------------------------------------------------------------------------- /viewer/data/tests_function.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_function.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge1.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge1.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge10.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge10.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge11.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge11.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge12.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge12.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge13.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge13.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge14.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge14.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge16.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge16.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge2.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge2.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge3.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge3.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge4.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge4.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge5.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge5.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge6.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge6.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge7.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge7.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge8.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge8.hml.json -------------------------------------------------------------------------------- /viewer/data/tests_merge9.hml.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/data/tests_merge9.hml.json -------------------------------------------------------------------------------- /viewer/gen_index.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/gen_index.sh -------------------------------------------------------------------------------- /viewer/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/index.html -------------------------------------------------------------------------------- /viewer/jquery-1.7.2.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/jquery-1.7.2.min.js -------------------------------------------------------------------------------- /viewer/lib.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/lib.js -------------------------------------------------------------------------------- /viewer/pygmentize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/pygmentize.css -------------------------------------------------------------------------------- /viewer/viewer.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/viewer.css -------------------------------------------------------------------------------- /viewer/viewer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/viewer.html -------------------------------------------------------------------------------- /viewer/viewer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/viewer/viewer.js -------------------------------------------------------------------------------- /vim/ftdetect/mezzo.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/vim/ftdetect/mezzo.vim -------------------------------------------------------------------------------- /vim/ftplugin/mezzo.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/vim/ftplugin/mezzo.vim -------------------------------------------------------------------------------- /vim/indent/mezzo.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/vim/indent/mezzo.vim -------------------------------------------------------------------------------- /vim/syntax/.gitignore: -------------------------------------------------------------------------------- 1 | mezzo.vim 2 | -------------------------------------------------------------------------------- /vim/syntax/mezzo.vim.raw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/vim/syntax/mezzo.vim.raw -------------------------------------------------------------------------------- /web/demos/a-race-fixed.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/a-race-fixed.mz -------------------------------------------------------------------------------- /web/demos/a-race.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/a-race.mz -------------------------------------------------------------------------------- /web/demos/borrow-w-ghost-code.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/borrow-w-ghost-code.mz -------------------------------------------------------------------------------- /web/demos/graph-fixed-dfs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/graph-fixed-dfs.mz -------------------------------------------------------------------------------- /web/demos/graph.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/graph.mz -------------------------------------------------------------------------------- /web/demos/list-append.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/list-append.mz -------------------------------------------------------------------------------- /web/demos/msr.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/msr.mz -------------------------------------------------------------------------------- /web/demos/ref-get-fix1.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/ref-get-fix1.mz -------------------------------------------------------------------------------- /web/demos/ref-get-fix2.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/ref-get-fix2.mz -------------------------------------------------------------------------------- /web/demos/ref-get.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/ref-get.mz -------------------------------------------------------------------------------- /web/demos/write-once-refs.mz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/demos/write-once-refs.mz -------------------------------------------------------------------------------- /web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/index.html -------------------------------------------------------------------------------- /web/js/ace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/js/ace.js -------------------------------------------------------------------------------- /web/js/jquery-2.1.0.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/js/jquery-2.1.0.min.js -------------------------------------------------------------------------------- /web/js/override.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/js/override.js -------------------------------------------------------------------------------- /web/js/ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/js/ui.js -------------------------------------------------------------------------------- /web/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/protz/mezzo/HEAD/web/style.css --------------------------------------------------------------------------------