• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for alms-0.6.8 source tarball

alms-0.6.8/

• .gitignore
• Dockerfile
• LICENSE
• Makefile
• README
• Setup.hs
• TODO
• alms.cabal
• alms.cabal.sh
• ghc6-quasis.sh
• util
• examples/
  • echoServer.alms
  • ex01-poly.alms
  • ex01.alms
  • ex02-poly-type-error.alms
  • ex02-type-error.alms
  • ex03-blame-error.alms
  • ex03-poly-blame-error.alms
  • ex04-poly.alms
  • ex04.alms
  • ex05-poly.alms
  • ex05.alms
  • ex06-poly-type-error.alms
  • ex06-type-error.alms
  • ex07-poly.alms
  • ex07.alms
  • ex08-blame-error.alms
  • ex08-poly-blame-error.alms
  • ex09-dynamic-promotion-poly.alms
  • ex09-dynamic-promotion.alms
  • ex10-dynamic-promotion-blame-error.alms
  • ex10-dynamic-promotion-poly-blame-error.alms
  • ex11-affine-type-error.alms
  • ex12-affine-type-error.alms
  • ex24-io.alms
  • ex25-io-type-error.alms
  • ex26-let-bang-array.alms
  • ex27-focusing-and-adoption.alms
  • ex28-focusing-and-adoption.alms
  • ex31-exceptions.alms
  • ex32-exceptions.alms
  • ex33-session-types.alms
  • ex34-session-types.alms
  • ex35-session-types-type-error.alms
  • ex36-session-types-type-error.alms
  • ex37-session-types-type-error.alms
  • ex38-session-types-type-error.alms
  • ex40-signatures.alms
  • ex41-signatures-type-error.alms
  • ex42-signatures-type-error.alms
  • ex43-signatures-type-error.alms
  • ex44-signatures-type-error.alms
  • ex45-signatures-type-error.alms
  • ex46-signatures-type-error.alms
  • ex47-signatures.alms
  • ex48-signatures-type-error.alms
  • ex49-signatures-type-error.alms
  • ex50-signatures.alms
  • ex51-signatures-type-error.alms
  • ex52-signatures.alms
  • ex53-signatures.alms
  • ex54-signatures-type-error.alms
  • ex55-signatures-type-error.alms
  • ex56-signatures-type-error.alms
  • ex57-signatures.alms
  • ex58-signatures-type-error.alms
  • ex60-popl-deposit.alms
  • ex61-popl-AfArray.alms
  • ex62-popl-AfArray-type-error.alms
  • ex63-popl-CapArray.alms
  • ex64-popl-CapLockArray.alms
  • ex65-popl-Fractional.alms
  • ex66-popl-RWLock.alms
  • futures1.alms
  • netcat.alms
  • run-test.sh
  • run-tests.sh
  • session-types-interactive.alms
  • session-types-polygons-1.in
  • session-types-polygons-1.out
  • session-types-polygons-2.in
  • session-types-polygons-2.out
  • session-types-polygons-3.in
  • session-types-polygons-3.out
  • session-types-polygons.alms
  • session-types-polygons2.alms
  • skewness-dynamic-bad.alms
  • skewness-good.alms
  • skewness-static-bad.alms
  • threads1.alms
  • threads2.alms
  • threads3.alms
  • threads4.alms
• lib/
  • libachan.alms
  • libarray.alms
  • libarraycap.alms
  • libbasis.alms
  • libqueue.alms
  • libsessionregion.alms
  • libsessiontype.alms
  • libsessiontype2.alms
  • libsessiontype3.alms
  • libsocket.alms
  • libsocketcap.alms
  • libsocketcap2.alms
  • libsocketcap3.alms
  • libthread.alms
• src/
  • AST.hs
  • Basis.hs
  • BasisUtils.hs
  • Compat.hs
  • Dynamics.hs
  • Env.hs
  • Error.hs
  • Main.hs
  • Makefile
  • Paths.hs
  • Statics.hs
  • Type.hs
  • Util.hs
  • Value.hs
  • extensions.txt
  • AST/
    • Anti.hs
    • Decl.hs
    • Decl.hs-boot
    • Expr.hs
    • Ident.hs
    • Ident.hs-boot
    • Kind.hs
    • Lit.hs
    • Notable.hs
    • Patt.hs
    • SyntaxTable.hs
    • Type.hs
    • TypeAnnotation.hs
  • Alt/
    • Graph.hs
    • NodeMap.hs
    • Parsec.hs
    • PrettyPrint.hs
    • Token.hs
  • Basis/
    • Array.hs
    • Channel.hs
    • Exn.hs
    • Future.hs
    • IO.hs
    • MVar.hs
    • Row.hs
    • Socket.hs
    • Thread.hs
    • Channel/
      • Haskell.hs
  • Data/
    • Empty.hs
    • Lattice.hs
    • Loc.hs
    • OptionalClass.hs
    • Perhaps.hs
    • UnionFind.hs
  • Message/
    • AST.hs
    • Parser.hs
    • Quasi.hs
    • Render.hs
  • Meta/
    • DeriveNotable.hs
    • FileString.hs
    • Quasi.hs
    • QuoteData.hs
    • THHelpers.hs
  • Statics/
    • Coercion.hs
    • Constraint.hs
    • Decl.hs
    • Decl.hs-boot
    • Env.hs
    • Error.hs
    • Expr.hs
    • InstGen.hs
    • Patt.hs
    • Rename.hs
    • Sealing.hs
    • Sig.hs
    • Subsume.hs
    • Type.hs
  • Syntax/
    • Construction.hs
    • ImplicitThreading.hs
    • Lexer.hs
    • Parser.hs
    • Ppr.hs
    • PprClass.hs
    • Prec.hs
    • Strings.hs
  • Type/
    • Analyses.hs
    • ArrowAnnotations.hs
    • Internal.hs
    • Ppr.hs
    • Rank.hs
    • Recursive.hs
    • Reduce.hs
    • Subst.hs
    • Syntax.hs
    • TyVar.hs
  • Util/
    • Bogus.hs
    • Eq1.hs
    • MonadRef.hs
    • Trace.hs
    • Undo.hs
    • Viewable.hs