├── .gitattributes ├── .gitignore ├── .gitmodules ├── .travis.yml ├── LICENSE ├── LICENSE.LangES ├── README.md ├── Setup.hs ├── TODO.md ├── doc ├── Specifications.md ├── formal │ ├── Makefile │ ├── README.md │ ├── listproc.sty │ ├── mathpartir.sty │ ├── ottalt.sty │ ├── sigplanconf.cls │ ├── src │ │ ├── includes.tex │ │ ├── ott-local.tex │ │ ├── typing.ott │ │ └── typing.tex │ └── txt │ │ ├── rules-partial.md │ │ └── typing.txt └── talk │ ├── Dagstuhl-07-2014.pdf │ ├── Dagstuhl-07-2014.pptx │ ├── SoCal-05-2015 │ ├── SoCal-05-2015.html │ ├── SoCal-05-2015.mdk │ ├── ignores.dic │ └── images │ │ ├── Screenshot-from-2015-04-30-08-29-12.png │ │ ├── Screenshot-from-2015-05-01-16-19-23.png │ │ └── ecoop15.png │ └── topics.md ├── ext ├── emacs │ └── flycheck-rsc.el ├── tsc-bin │ ├── bin │ │ └── tsc-refscript │ ├── built │ │ └── local │ │ │ ├── lib.d.ts │ │ │ └── tsc-refscript.js │ └── typings │ │ ├── core.d.ts │ │ ├── jquery.d.ts │ │ ├── winjs.d.ts │ │ └── winrt.d.ts └── vim │ ├── javascript │ └── rsc.vim │ └── typescript │ └── rsc.vim ├── include ├── ambient │ ├── array.d.ts │ ├── boolean.d.ts │ ├── console.d.ts │ ├── dom.d.ts │ ├── error.d.ts │ ├── function.d.ts │ ├── iarguments.d.ts │ ├── list.d.ts │ ├── math.d.ts │ ├── number.d.ts │ ├── object.d.ts │ ├── regexp.d.ts │ ├── string.d.ts │ └── undefined.d.ts └── rsc │ ├── aliases.d.ts │ ├── measures.d.ts │ ├── mutability.d.ts │ ├── prims.d.ts │ └── qualifiers.d.ts ├── refscript.cabal ├── scripts ├── .gitignore ├── README ├── cleanup.ts ├── package.json ├── tsconfig.json └── tsd.json ├── src ├── Language │ └── Rsc │ │ ├── AST.hs │ │ ├── AST │ │ ├── Annotations.hs │ │ ├── Check.hs │ │ └── Syntax.hs │ │ ├── Annotations.hs │ │ ├── ClassHierarchy.hs │ │ ├── CmdLine.hs │ │ ├── Constraints.hs │ │ ├── Core │ │ ├── EitherIO.hs │ │ ├── Env.hs │ │ └── Files.hs │ │ ├── Environment.hs │ │ ├── Errors.hs │ │ ├── Liquid │ │ ├── Alias.hs │ │ ├── CGMonad.hs │ │ ├── Checker.hs │ │ ├── Constraints.hs │ │ ├── Environment.hs │ │ ├── Qualifiers.hs │ │ ├── Refinements.hs │ │ └── Types.hs │ │ ├── Locations.hs │ │ ├── Lookup.hs │ │ ├── Misc.hs │ │ ├── Module.hs │ │ ├── Names.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Annotations.hs │ │ ├── Common.hs │ │ ├── Declarations.hs │ │ ├── Lexer.hs │ │ └── Types.hs │ │ ├── Pretty.hs │ │ ├── Pretty │ │ ├── Annotations.hs │ │ ├── ClassHierarchy.hs │ │ ├── Common.hs │ │ ├── Errors.hs │ │ ├── Module.hs │ │ ├── Symbols.hs │ │ ├── Syntax.hs │ │ └── Types.hs │ │ ├── Program.hs │ │ ├── SSA │ │ ├── SSA.hs │ │ └── SSAMonad.hs │ │ ├── Symbols.hs │ │ ├── SystemUtils.hs │ │ ├── Transformations.hs │ │ ├── Traversals.hs │ │ ├── TypeUtilities.hs │ │ ├── Typecheck │ │ ├── Checker.hs │ │ ├── Environment.hs │ │ ├── Sub.hs │ │ ├── Subst.hs │ │ ├── TCMonad.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ └── Visitor.hs └── Rsc.hs ├── stack.yaml └── tests ├── .gitignore ├── bench.hs ├── benchmarks ├── todo │ └── pldi16 │ │ ├── d3 │ │ ├── ascending.ts │ │ ├── descending.ts │ │ ├── entries.ts │ │ ├── extent.ts │ │ ├── include │ │ │ ├── d3.d.ts │ │ │ ├── d3.rsc.ts │ │ │ └── number.ts │ │ ├── keys.ts │ │ ├── max.ts │ │ ├── mean.ts │ │ ├── median.ts │ │ ├── merge.ts │ │ ├── min.ts │ │ ├── pairs.ts │ │ ├── permute.ts │ │ ├── quantile.ts │ │ ├── range.ts │ │ ├── shuffle.ts │ │ ├── sum.ts │ │ ├── transpose.ts │ │ ├── values.ts │ │ └── zip.ts │ │ ├── octane │ │ ├── extra │ │ │ ├── navier-small-1.ts │ │ │ └── navier-small.ts │ │ ├── libs │ │ │ ├── mulThms-1.d.ts │ │ │ ├── mulThms.d.ts │ │ │ └── mulThms.ts │ │ ├── navier-stokes-typed-octane.ts │ │ ├── raytrace-typed-octane.ts │ │ ├── richards-typed-octane.ts │ │ └── splay-typed-octane.ts │ │ └── transducers │ │ └── transducers.ts └── typescript-1.0.1.0 │ ├── checker.ts │ ├── core.ts │ ├── extra │ └── checker-1.ts │ └── libs │ ├── core.defs.ts │ └── types.ts ├── cleanup ├── demo ├── cast.ts ├── createElt.ts ├── ctor.ts ├── infer.ts ├── minindex-classic.ts ├── minindex-modern.ts ├── negate.ts ├── opt-args.ts ├── poly.ts ├── reals.ts ├── string-coercion.ts ├── variadic.ts └── while-rec.ts ├── jquery ├── jquery.d.ts ├── jquery.min.d.ts ├── notes.md └── test0.ts ├── neg ├── arrays │ ├── 00-array.ts │ ├── 01-array.ts │ ├── 02-array.ts │ ├── 03-array.ts │ ├── 04-array.ts │ ├── 05-array.ts │ ├── 06-array.ts │ ├── 07-array.ts │ ├── 08-array.ts │ ├── 09-array.ts │ ├── 10-array.ts │ ├── 11-array.ts │ ├── 12-array.ts │ ├── 13-array.ts │ ├── 14-array.ts │ ├── 16-array.ts │ ├── 17-array.ts │ ├── 18-array.ts │ ├── 19-array.ts │ ├── 20-array.ts │ ├── 21-array.ts │ ├── 22-array.ts │ ├── 23-array.ts │ ├── 24-array.ts │ └── 25-array.ts ├── bounded-poly │ ├── 00-test.ts │ ├── 01-test.ts │ ├── 02-test.ts │ └── 03-test.ts ├── classes │ ├── 00-class.ts │ ├── 01-class.ts │ ├── 02-class.ts │ ├── 03-class.ts │ ├── 04-class.ts │ ├── 05-class.ts │ ├── 06-class.ts │ ├── 07-class.ts │ ├── 08-createElt.ts │ ├── 09-ctor.ts │ ├── 10-ctor.ts │ ├── 11-ctor.ts │ ├── 12-ctor.ts │ ├── 13-ctor.ts │ ├── 14-ctor.ts │ ├── 15-ctor.ts │ ├── 16-ctor.ts │ ├── 17-ctor.ts │ ├── 18-ctor.ts │ ├── 19-ctor.ts │ ├── 20-ctor.ts │ ├── 21-eq-val.ts │ ├── 22-func-field-ctor.ts │ ├── 23-inheritance.ts │ ├── 24-init.ts │ ├── 25-init.ts │ ├── 26-init.ts │ ├── 27-init.ts │ ├── 28-interface.ts │ ├── 29-method-mut.ts │ ├── 31-offsets.ts │ ├── 32-point.ts │ ├── 33-self.ts │ ├── 34-this-meth-scope.ts │ └── 35-ctor-args-missing.ts ├── enums │ ├── 01-enum.ts │ └── 02-enum.ts ├── fb │ ├── min-index-modern.ts │ └── opt-args.ts ├── inclusion │ ├── 00-inclusion.ts │ ├── 01-inclusion.ts │ ├── 03-inclusion.ts │ ├── 04-inclusion.ts │ ├── 05-inclusion.ts │ ├── 06-inclusion.ts │ ├── 07-inclusion.ts │ ├── 08-inclusion.ts │ └── 09-inclusion.ts ├── lists │ ├── emp-00.ts │ ├── list-00.ts │ ├── list-01.ts │ ├── list-02.ts │ ├── list-03.ts │ ├── list-04.ts │ ├── list-05.ts │ ├── list-06.ts │ ├── list-07.ts │ ├── list-08.ts │ ├── list-09.ts │ ├── list-10.ts │ ├── list-11.ts │ ├── list-12.ts │ ├── listsum-00a.ts │ ├── listsum-00b.ts │ ├── safeappend.ts │ ├── unfold-list-00.ts │ ├── unfold-list-01.ts │ └── union-00.ts ├── loops │ ├── for-02.ts │ ├── for-03.ts │ ├── for-rec-01.ts │ ├── for-rec-02.ts │ ├── obj-00.ts │ ├── obj-01.ts │ ├── obj-03.ts │ ├── obj-04.ts │ ├── while-01.ts │ ├── while-02.ts │ ├── while-03.ts │ ├── while-04.ts │ ├── while-05.ts │ ├── while-06.ts │ └── while-rec.ts ├── misc │ ├── 00-abs-sig-bad.ts │ ├── 01-abs.ts │ ├── 06-cousot.ts │ ├── 08-global.ts │ ├── 09-fixme.ts │ ├── 12-incr.ts │ ├── 18-inner.ts │ ├── 19-locks.ts │ ├── 20-locks.ts │ ├── 26-negate.ts │ ├── 27-negate.ts │ ├── 28-negate.ts │ ├── 29-negate.ts │ ├── 33-opt-args.ts │ ├── 36-packet.ts │ ├── 37-poly.ts │ ├── 38-poly.ts │ ├── 39-poly.ts │ ├── 40-poly.ts │ ├── 42-unsafe-meth-call.ts │ ├── 43-top-level.ts │ ├── 44-twice.ts │ ├── 49-vararg.ts │ ├── 50-vararg.ts │ ├── 51-vararg.ts │ ├── 52-vararg.ts │ ├── 53-vararg.ts │ ├── 54-short-circuit.ts │ ├── 55-abs-join.ts │ ├── 56-abs-join.ts │ ├── 57-unite.ts │ ├── 58-unite.ts │ ├── 59-class-inv.ts │ ├── 61-array-map.ts │ ├── 62-flag-narrowing.ts │ ├── abs-hof.ts │ ├── abs.ts │ ├── animals-00.ts │ ├── animals-01.ts │ ├── animals-02.ts │ ├── animals.ts │ ├── apply.ts │ ├── array-tag-check-00.ts │ ├── array-tag-check.ts │ ├── incr.ts │ └── incr3.ts ├── objects │ ├── 00-object.ts │ ├── 01-object.ts │ ├── 02-object.ts │ ├── 03-object.ts │ ├── 04-object.ts │ ├── 05-object.ts │ ├── 06-object.ts │ ├── 07-object.ts │ ├── 08-object.ts │ ├── 09-object.ts │ ├── 10-object.ts │ ├── 11-object.ts │ ├── 12-object.ts │ ├── 13-object.ts │ ├── 14-object.ts │ ├── 15-object.ts │ ├── 16-object.ts │ ├── 17-object.ts │ ├── 18-object.ts │ ├── 19-object.ts │ ├── 20-object.ts │ ├── 21-object.ts │ ├── opt-fields-01.ts │ ├── string-idx-00.ts │ └── string-idx-01.ts ├── operators │ ├── add-03.ts │ ├── add-03a.ts │ ├── add-05.ts │ ├── add-07.ts │ ├── add-08.ts │ ├── choice.ts │ ├── cond-expr-00.ts │ ├── conditional-00.ts │ ├── conditional-01.ts │ ├── conditional-02.ts │ ├── id-00.ts │ ├── id-01.ts │ ├── inc-00.ts │ ├── inc-01.ts │ ├── lor-00.ts │ ├── lor-01.ts │ ├── lor-02.ts │ ├── lor-03.ts │ ├── lor-04.ts │ ├── lor-05.ts │ ├── lor-06.ts │ ├── stmt-00.ts │ ├── str-00.ts │ ├── sum-bad.ts │ ├── sum-badder.ts │ ├── sum-return-missing.ts │ ├── sum-ssa-bad.ts │ ├── tags.ts │ ├── test-00.ts │ ├── test-01.ts │ └── test-bad-00.ts ├── reals │ ├── reals-00.ts │ ├── reals-01.ts │ └── reals-02.ts ├── scope │ ├── 00-scope.ts │ ├── 01-scope.ts │ ├── 02-scope.ts │ ├── 11-nested.ts │ ├── init-01.ts │ ├── init-02.ts │ ├── init-03.ts │ ├── init-04.ts │ └── init-06.ts ├── simple │ ├── 01-error.ts │ ├── 02-glob.ts │ ├── 03-glob.ts │ ├── 04-glob.ts │ ├── 05-glob.ts │ ├── 06-bool.ts │ ├── 07-bool.ts │ ├── 08-func-expression.ts │ ├── 09-func-expression.ts │ ├── 10-func-expression.ts │ ├── 11-runtime-tags.ts │ ├── 12-unbound-tvar.ts │ ├── 13-contextual.ts │ ├── 21-conditional-expression.ts │ ├── 22-unification.ts │ ├── 24-unification.ts │ ├── 25-field-update.ts │ ├── 26-unification.ts │ ├── 27-unification.ts │ ├── 28-unification.ts │ ├── 33-loop-ssa.ts │ ├── 35-modules.ts │ ├── 36-truthy.ts │ ├── 38-meth-invariant.ts │ ├── 40-unbound-symbol.ts │ ├── 42-unbound-symbol.ts │ ├── 43-func-invariant.ts │ ├── 44-overload.ts │ ├── 45-immutable-field.ts │ ├── 47-overloads.ts │ ├── 48-undead.ts │ ├── 51-bitvector.ts │ ├── 52-bitvector.ts │ ├── 54-hex.ts │ ├── 55-intersection.ts │ ├── 57-non-linear.ts │ ├── 60-opt-args.ts │ ├── 61-string-coercion.ts │ ├── 63-unif.ts │ ├── 65-variadic.ts │ ├── 67-return-false.ts │ ├── bad-spec-00.ts │ └── cast-00.ts ├── todo │ ├── misc │ │ └── minindex-00.ts │ └── simple │ │ └── 46-contextual.ts ├── typealias │ ├── talias-00.ts │ ├── talias-01.ts │ ├── talias-02.ts │ ├── talias-03.ts │ ├── talias-04.ts │ └── talias-06.ts └── unions │ ├── test-00.ts │ ├── test-01.ts │ ├── test-02.ts │ ├── test-03.ts │ ├── test-04.ts │ ├── test-13.ts │ ├── test-14.ts │ └── test-15.ts ├── pos ├── arrays │ ├── 00-array.ts │ ├── 01-array.ts │ ├── 02-array.ts │ ├── 03-array.ts │ ├── 04-array.ts │ ├── 05-array.ts │ ├── 06-array.ts │ ├── 07-array.ts │ ├── 08-array.ts │ ├── 09-array.ts │ ├── 10-array.ts │ ├── 11-array.ts │ ├── 12-array.ts │ ├── 13-array.ts │ ├── 14-array.ts │ ├── 15-array.ts │ ├── 16-array.ts │ ├── 17-array.ts │ ├── 18-array.ts │ ├── 19-array.ts │ ├── 20-array.ts │ ├── 21-array.ts │ ├── 22-array.ts │ ├── 23-array.ts │ ├── 24-array.ts │ ├── 25-array.ts │ └── 26-array.ts ├── bounded-poly │ ├── 00-test.ts │ ├── 01-test.ts │ ├── 02-test.ts │ ├── 03-test.ts │ └── 04-test.ts ├── classes │ ├── 00-class.ts │ ├── 01-class.ts │ ├── 03-class.ts │ ├── 04-class.ts │ ├── 05-class.ts │ ├── 06-class.ts │ ├── 08-class.ts │ ├── 09-class.ts │ ├── 10-class.ts │ ├── 11-class.ts │ ├── 12-class.ts │ ├── 13-class.ts │ ├── 14-class.ts │ ├── 15-classhierarchy.ts │ ├── 16-createElt.ts │ ├── 17-ctor.ts │ ├── 18-ctor.ts │ ├── 19-ctor.ts │ ├── 20-ctor.ts │ ├── 21-ctor.ts │ ├── 22-ctor.ts │ ├── 23-ctor.ts │ ├── 24-ctor.ts │ ├── 25-ctor.ts │ ├── 26-ctor.ts │ ├── 27-eq_val.ts │ ├── 28-func-field-ctor.ts │ ├── 29-glob-in-method.ts │ ├── 30-implements.ts │ ├── 31-implements.ts │ ├── 32-inheritance.ts │ ├── 34-init.ts │ ├── 35-init.ts │ ├── 36-init.ts │ ├── 37-interface.ts │ ├── 38-interface.ts │ ├── 39-method.ts │ ├── 40-mutability.ts │ ├── 41-offsets.ts │ ├── 42-point.ts │ ├── 43-self.ts │ ├── 44-subclass.ts │ └── 45-this-meth-scope.ts ├── enums │ ├── 00-enum.ts │ ├── 01-enum.ts │ └── 02-enum.ts ├── fb │ ├── minindex-classic.ts │ ├── minindex-modern-lib.ts │ ├── minindex-modern.ts │ └── opt-args.ts ├── inclusion │ ├── 00-inclusion.ts │ ├── 01-inclusion.ts │ ├── 02-inclusion.ts │ ├── 03-inclusion.ts │ ├── 04-inclusion.ts │ ├── 05-inclusion.ts │ ├── 06-inclusion.ts │ ├── 07-inclusion.ts │ ├── 08-inclusion.ts │ └── 10-inclusion.ts ├── lists │ ├── emp-00.ts │ ├── emp-01.ts │ ├── list-00.ts │ ├── list-01.ts │ ├── list-02.ts │ ├── list-03.ts │ ├── list-head-01.ts │ ├── list-head-02.ts │ ├── listsum-00.ts │ ├── listsum-01.ts │ ├── listsum-02.ts │ ├── listsum-03.ts │ ├── map.ts │ ├── safeappend.ts │ ├── safehead.ts │ ├── safemap.ts │ ├── safereverse.ts │ ├── unfold-list-00.ts │ ├── unfold-list-01.ts │ └── union-00.ts ├── loops │ ├── double-for.ts │ ├── for-02.ts │ ├── for-03.ts │ ├── for-05.ts │ ├── for-06.ts │ ├── for-07.ts │ ├── for-rec.ts │ ├── obj-00.ts │ ├── obj-01.ts │ ├── obj-02.ts │ ├── while-01.ts │ ├── while-02.ts │ ├── while-03.ts │ ├── while-04.ts │ ├── while-06.ts │ └── while-rec.ts ├── misc │ ├── 00-abs.ts │ ├── 01-abs-hof.ts │ ├── 02-animals.ts │ ├── 03-apply.ts │ ├── 04-array-tag-check.ts │ ├── 05-callable-interface.ts │ ├── 06-cousot.ts │ ├── 07-cousot.ts │ ├── 08-cousot.ts │ ├── 10-dep.ts │ ├── 11-driver.ts │ ├── 12-incr.ts │ ├── 13-incr.ts │ ├── 14-incr.ts │ ├── 15-inc.ts │ ├── 16-init.ts │ ├── 17-init.ts │ ├── 18-inner.ts │ ├── 19-locks.ts │ ├── 20-locks.ts │ ├── 21-locks-cond.ts │ ├── 22-max.ts │ ├── 23-minindex.ts │ ├── 24-minindex.ts │ ├── 25-minindex.ts │ ├── 26-negate.ts │ ├── 27-negate.ts │ ├── 28-negate.ts │ ├── 29-negate.ts │ ├── 30-negate.ts │ ├── 33-opt-args.ts │ ├── 34-opt-args.ts │ ├── 35-overload.ts │ ├── 36-packet.ts │ ├── 37-poly.ts │ ├── 38-poly.ts │ ├── 39-poly.ts │ ├── 40-poly.ts │ ├── 41-poly.ts │ ├── 42-safe-meth-call.ts │ ├── 43-top-level.ts │ ├── 44-twice-hof.ts │ ├── 45-twice.ts │ ├── 46-underscore.ts │ ├── 47-underscore.ts │ ├── 48-unite.ts │ ├── 49-vararg.ts │ ├── 50-vararg.ts │ ├── 51-vararg.ts │ ├── 52-vararg.ts │ ├── 53-vararg.ts │ ├── 54-short-circuit.ts │ ├── 59-class-inv.ts │ ├── 60-d3_mean.ts │ ├── 61-array-map.ts │ └── 62-flag-narrowing.ts ├── objects │ ├── 00-object.ts │ ├── 01-object.ts │ ├── 02-object.ts │ ├── 03-object.ts │ ├── 06-object.ts │ ├── 07-object.ts │ ├── 08-object.ts │ ├── 09-object.ts │ ├── 10-object.ts │ ├── 11-object.ts │ ├── 12-object.ts │ ├── 13-object.ts │ ├── 14-object.ts │ ├── 19-object.ts │ ├── 20-object.ts │ ├── 21-object.ts │ ├── 22-object.ts │ ├── hasOwnProperty.ts │ ├── opt-fields-01.ts │ └── string-idx-00.ts ├── operators │ ├── add-01.ts │ ├── add-02.ts │ ├── add-03.ts │ ├── add-04.ts │ ├── add-06.ts │ ├── add-07.ts │ ├── cond-expr-00.ts │ ├── cond-expr-01.ts │ ├── id-00.ts │ ├── id-01.ts │ ├── id-02.ts │ ├── inc-00.ts │ ├── inc-02.ts │ ├── lor-00.ts │ ├── lor-01.ts │ ├── lor-02.ts │ ├── lor-03.ts │ ├── lor-04.ts │ ├── lor-05.ts │ ├── lor-06.ts │ ├── pos.ts │ ├── stmt.ts │ ├── str.ts │ ├── sum-00.ts │ ├── sum-01.ts │ ├── sum-02.ts │ ├── sum-infer-00.ts │ ├── sum-infer-01.ts │ ├── tags.ts │ └── unary-plus-00.ts ├── reals │ ├── reals-00.ts │ ├── reals-01.ts │ └── reals-02.ts ├── scope │ ├── 00-scope.ts │ ├── 01-scope.ts │ ├── 02-scope.ts │ ├── 03-scope.ts │ ├── 04-scope.ts │ ├── 05-scope.ts │ ├── 06-scope.ts │ ├── 07-scope.ts │ ├── 08-scope.ts │ ├── 09-scope.ts │ ├── 10-initialization.ts │ ├── 10-scope.ts │ ├── 11-nested.ts │ ├── 12-ssa.ts │ ├── 13-nested.ts │ ├── init-01.ts │ ├── init-02.ts │ ├── init-03.ts │ ├── init-04.ts │ ├── init-05.ts │ └── init-06.ts ├── simple │ ├── 00-empty.ts │ ├── 01-error.ts │ ├── 02-glob.ts │ ├── 03-glob.ts │ ├── 04-glob.ts │ ├── 06-bool.ts │ ├── 07-bool.ts │ ├── 08-func-expression.ts │ ├── 09-func-expression.ts │ ├── 10-func-expression.ts │ ├── 11-runtime-tags.ts │ ├── 12-runtime-tags.ts │ ├── 13-contextual.ts │ ├── 14-arithmetic.ts │ ├── 15-string-construction.ts │ ├── 16-arguments-var.ts │ ├── 17-absolute.ts │ ├── 21-conditional-expression.ts │ ├── 22-unification.ts │ ├── 23-unification.ts │ ├── 24-unification.ts │ ├── 25-field-update.ts │ ├── 26-unification.ts │ ├── 27-unification.ts │ ├── 28-top-type.ts │ ├── 35-modules.ts │ ├── 36-truthy.ts │ ├── 37-overload.ts │ ├── 38-overload.ts │ ├── 39-overload.ts │ ├── 43-func-invariant.ts │ ├── 44-overload.ts │ ├── 46-contextual.ts │ ├── 47-overloads.ts │ ├── 48-field-invariant.ts │ ├── 49-addEntry.ts │ ├── 50-adhoc.ts │ ├── 51-bitvector.ts │ ├── 52-bitvector.ts │ ├── 54-hex.ts │ ├── 55-intersection.ts │ ├── 56-meth-invariant.ts │ ├── 57-non-linear.ts │ ├── 58-qualgen-00.ts │ ├── 59-opt-args.ts │ ├── 59-qualgen.ts │ ├── 60-opt-args.ts │ ├── 60-ref-in-constructor.ts │ ├── 61-string-coercion.ts │ ├── 62-tvars.ts │ ├── 63-unif.ts │ ├── 64-upcast.ts │ ├── 65-bitvectors.ts │ ├── 65-variadic.ts │ └── 66-bitvectors.ts ├── todo │ ├── fb │ │ └── d3-sum.ts │ └── misc │ │ └── 09-d3_mean.ts ├── typealias │ ├── talias-00.ts │ ├── talias-01.ts │ ├── talias-02.ts │ ├── talias-03.ts │ ├── talias-04.ts │ ├── talias-05.ts │ ├── talias-07.ts │ ├── talias-08.ts │ └── talias-09.ts └── unions │ ├── test-00.ts │ ├── test-01.ts │ ├── test-02.ts │ ├── test-03.ts │ ├── test-04.ts │ ├── test-05.ts │ ├── test-06.ts │ ├── test-07.ts │ ├── test-08.ts │ ├── test-09.ts │ ├── test-10.ts │ ├── test-12.ts │ ├── test-13.ts │ ├── test-14.ts │ └── test-15.ts ├── test.hs └── todo ├── neg ├── control-flow │ └── switch-neg-00.ts ├── misc │ └── circular-logic.ts ├── operators │ └── bitvector-02.ts ├── proto │ ├── proto-lookup1.ts │ └── proto-lookup7.ts └── simple │ └── 66-variadic.ts ├── pos ├── classes │ ├── class-07.ts │ ├── iterable.ts │ └── moveable-point.ts ├── control-flow │ ├── break.ts │ └── switch-00.ts ├── loops │ ├── do-while.ts │ └── while-07.ts ├── misc │ ├── aes.ts │ ├── hof-intersection.ts │ ├── kmp.ts │ ├── missing-qualif.ts │ ├── negate-00.ts │ ├── string-accessor.ts │ └── transducers-00.ts ├── objects │ ├── 04-object.ts │ └── abs-mut.ts ├── operators │ ├── bitVector-00.ts │ ├── bitvector-02.ts │ ├── bitwise-00.ts │ ├── bracketref-00.ts │ ├── compound-assignment-operator.ts │ ├── eq.ts │ ├── float-00.ts │ ├── lor-07.ts │ ├── short-circuit.ts │ └── void.ts ├── pemissions │ ├── test-00.ts │ ├── test-01.ts │ ├── test-03.ts │ ├── test-04.ts │ └── test-05.ts ├── proto │ ├── array-proto.ts │ ├── proto-lookup1.ts │ ├── proto-lookup2.ts │ ├── proto-lookup3.ts │ ├── proto-lookup4.ts │ ├── proto-lookup5.ts │ ├── proto-lookup6.ts │ ├── proto-lookup7.ts │ └── proto-lookup8.ts ├── simple │ ├── 66-variadic.ts │ ├── 67-variadic.ts │ ├── 70-opt-args.ts │ ├── init-01.ts │ ├── late-init.ts │ ├── modules.ts │ └── null-undef-literals.ts └── unions │ └── or-undef.ts ├── ssa-bug-3.ts └── weird ├── animals.ts ├── order.ts ├── slowMul.ts ├── splay-00.ts └── var-decl.ts /.gitattributes: -------------------------------------------------------------------------------- 1 | ext/* linguist-vendored 2 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE.LangES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/LICENSE.LangES -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/Setup.hs -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/TODO.md -------------------------------------------------------------------------------- /doc/Specifications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/Specifications.md -------------------------------------------------------------------------------- /doc/formal/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/Makefile -------------------------------------------------------------------------------- /doc/formal/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/README.md -------------------------------------------------------------------------------- /doc/formal/listproc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/listproc.sty -------------------------------------------------------------------------------- /doc/formal/mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/mathpartir.sty -------------------------------------------------------------------------------- /doc/formal/ottalt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/ottalt.sty -------------------------------------------------------------------------------- /doc/formal/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/sigplanconf.cls -------------------------------------------------------------------------------- /doc/formal/src/includes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/src/includes.tex -------------------------------------------------------------------------------- /doc/formal/src/ott-local.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/src/ott-local.tex -------------------------------------------------------------------------------- /doc/formal/src/typing.ott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/src/typing.ott -------------------------------------------------------------------------------- /doc/formal/src/typing.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/src/typing.tex -------------------------------------------------------------------------------- /doc/formal/txt/rules-partial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/txt/rules-partial.md -------------------------------------------------------------------------------- /doc/formal/txt/typing.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/formal/txt/typing.txt -------------------------------------------------------------------------------- /doc/talk/Dagstuhl-07-2014.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/Dagstuhl-07-2014.pdf -------------------------------------------------------------------------------- /doc/talk/Dagstuhl-07-2014.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/Dagstuhl-07-2014.pptx -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/SoCal-05-2015.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/SoCal-05-2015/SoCal-05-2015.html -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/SoCal-05-2015.mdk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/SoCal-05-2015/SoCal-05-2015.mdk -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/ignores.dic: -------------------------------------------------------------------------------- 1 | dataflow -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/images/Screenshot-from-2015-04-30-08-29-12.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/SoCal-05-2015/images/Screenshot-from-2015-04-30-08-29-12.png -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/images/Screenshot-from-2015-05-01-16-19-23.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/SoCal-05-2015/images/Screenshot-from-2015-05-01-16-19-23.png -------------------------------------------------------------------------------- /doc/talk/SoCal-05-2015/images/ecoop15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/SoCal-05-2015/images/ecoop15.png -------------------------------------------------------------------------------- /doc/talk/topics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/doc/talk/topics.md -------------------------------------------------------------------------------- /ext/emacs/flycheck-rsc.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/emacs/flycheck-rsc.el -------------------------------------------------------------------------------- /ext/tsc-bin/bin/tsc-refscript: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env node 2 | require('./tsc-refscript.js') 3 | -------------------------------------------------------------------------------- /ext/tsc-bin/built/local/lib.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/built/local/lib.d.ts -------------------------------------------------------------------------------- /ext/tsc-bin/built/local/tsc-refscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/built/local/tsc-refscript.js -------------------------------------------------------------------------------- /ext/tsc-bin/typings/core.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/typings/core.d.ts -------------------------------------------------------------------------------- /ext/tsc-bin/typings/jquery.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/typings/jquery.d.ts -------------------------------------------------------------------------------- /ext/tsc-bin/typings/winjs.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/typings/winjs.d.ts -------------------------------------------------------------------------------- /ext/tsc-bin/typings/winrt.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/tsc-bin/typings/winrt.d.ts -------------------------------------------------------------------------------- /ext/vim/javascript/rsc.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/vim/javascript/rsc.vim -------------------------------------------------------------------------------- /ext/vim/typescript/rsc.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/ext/vim/typescript/rsc.vim -------------------------------------------------------------------------------- /include/ambient/array.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/array.d.ts -------------------------------------------------------------------------------- /include/ambient/boolean.d.ts: -------------------------------------------------------------------------------- 1 | 2 | interface Boolean { } 3 | -------------------------------------------------------------------------------- /include/ambient/console.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/console.d.ts -------------------------------------------------------------------------------- /include/ambient/dom.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/dom.d.ts -------------------------------------------------------------------------------- /include/ambient/error.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/error.d.ts -------------------------------------------------------------------------------- /include/ambient/function.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/function.d.ts -------------------------------------------------------------------------------- /include/ambient/iarguments.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/iarguments.d.ts -------------------------------------------------------------------------------- /include/ambient/list.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/list.d.ts -------------------------------------------------------------------------------- /include/ambient/math.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/math.d.ts -------------------------------------------------------------------------------- /include/ambient/number.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/number.d.ts -------------------------------------------------------------------------------- /include/ambient/object.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/object.d.ts -------------------------------------------------------------------------------- /include/ambient/regexp.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/regexp.d.ts -------------------------------------------------------------------------------- /include/ambient/string.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/string.d.ts -------------------------------------------------------------------------------- /include/ambient/undefined.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/ambient/undefined.d.ts -------------------------------------------------------------------------------- /include/rsc/aliases.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/rsc/aliases.d.ts -------------------------------------------------------------------------------- /include/rsc/measures.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/rsc/measures.d.ts -------------------------------------------------------------------------------- /include/rsc/mutability.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/rsc/mutability.d.ts -------------------------------------------------------------------------------- /include/rsc/prims.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/rsc/prims.d.ts -------------------------------------------------------------------------------- /include/rsc/qualifiers.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/include/rsc/qualifiers.d.ts -------------------------------------------------------------------------------- /refscript.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/refscript.cabal -------------------------------------------------------------------------------- /scripts/.gitignore: -------------------------------------------------------------------------------- 1 | *.js 2 | -------------------------------------------------------------------------------- /scripts/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/scripts/README -------------------------------------------------------------------------------- /scripts/cleanup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/scripts/cleanup.ts -------------------------------------------------------------------------------- /scripts/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/scripts/package.json -------------------------------------------------------------------------------- /scripts/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/scripts/tsconfig.json -------------------------------------------------------------------------------- /scripts/tsd.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/scripts/tsd.json -------------------------------------------------------------------------------- /src/Language/Rsc/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/AST.hs -------------------------------------------------------------------------------- /src/Language/Rsc/AST/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/AST/Annotations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/AST/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/AST/Check.hs -------------------------------------------------------------------------------- /src/Language/Rsc/AST/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/AST/Syntax.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Annotations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/ClassHierarchy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/ClassHierarchy.hs -------------------------------------------------------------------------------- /src/Language/Rsc/CmdLine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/CmdLine.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Constraints.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Core/EitherIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Core/EitherIO.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Core/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Core/Env.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Core/Files.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Core/Files.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Environment.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Errors.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Alias.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Alias.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/CGMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/CGMonad.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Checker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Checker.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Constraints.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Environment.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Qualifiers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Qualifiers.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Refinements.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Refinements.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Liquid/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Liquid/Types.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Locations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Locations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Lookup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Lookup.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Misc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Misc.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Module.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Names.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser/Annotations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser/Common.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser/Declarations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser/Declarations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser/Lexer.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Parser/Types.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Annotations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/ClassHierarchy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/ClassHierarchy.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Common.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Errors.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Module.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Symbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Symbols.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Syntax.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Pretty/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Pretty/Types.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Program.hs -------------------------------------------------------------------------------- /src/Language/Rsc/SSA/SSA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/SSA/SSA.hs -------------------------------------------------------------------------------- /src/Language/Rsc/SSA/SSAMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/SSA/SSAMonad.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Symbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Symbols.hs -------------------------------------------------------------------------------- /src/Language/Rsc/SystemUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/SystemUtils.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Transformations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Transformations.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Traversals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Traversals.hs -------------------------------------------------------------------------------- /src/Language/Rsc/TypeUtilities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/TypeUtilities.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Checker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Checker.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Environment.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Sub.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Subst.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/TCMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/TCMonad.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Types.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Types.hs -------------------------------------------------------------------------------- /src/Language/Rsc/Visitor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Language/Rsc/Visitor.hs -------------------------------------------------------------------------------- /src/Rsc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/src/Rsc.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/stack.yaml -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- 1 | *.js 2 | scratch/ 3 | -------------------------------------------------------------------------------- /tests/bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/bench.hs -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/ascending.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/ascending.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/descending.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/descending.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/entries.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/entries.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/extent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/extent.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/include/d3.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/include/d3.d.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/include/d3.rsc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/include/d3.rsc.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/include/number.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/include/number.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/keys.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/keys.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/max.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/max.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/mean.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/mean.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/median.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/median.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/merge.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/merge.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/min.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/min.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/pairs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/pairs.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/permute.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/permute.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/quantile.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/quantile.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/range.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/range.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/shuffle.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/shuffle.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/sum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/sum.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/transpose.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/transpose.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/values.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/values.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/d3/zip.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/d3/zip.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/extra/navier-small-1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/extra/navier-small-1.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/extra/navier-small.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/extra/navier-small.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/libs/mulThms-1.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/libs/mulThms-1.d.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/libs/mulThms.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/libs/mulThms.d.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/libs/mulThms.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/libs/mulThms.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/navier-stokes-typed-octane.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/navier-stokes-typed-octane.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/raytrace-typed-octane.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/raytrace-typed-octane.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/richards-typed-octane.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/richards-typed-octane.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/octane/splay-typed-octane.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/octane/splay-typed-octane.ts -------------------------------------------------------------------------------- /tests/benchmarks/todo/pldi16/transducers/transducers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/todo/pldi16/transducers/transducers.ts -------------------------------------------------------------------------------- /tests/benchmarks/typescript-1.0.1.0/checker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/typescript-1.0.1.0/checker.ts -------------------------------------------------------------------------------- /tests/benchmarks/typescript-1.0.1.0/core.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/typescript-1.0.1.0/core.ts -------------------------------------------------------------------------------- /tests/benchmarks/typescript-1.0.1.0/extra/checker-1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/typescript-1.0.1.0/extra/checker-1.ts -------------------------------------------------------------------------------- /tests/benchmarks/typescript-1.0.1.0/libs/core.defs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/typescript-1.0.1.0/libs/core.defs.ts -------------------------------------------------------------------------------- /tests/benchmarks/typescript-1.0.1.0/libs/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/benchmarks/typescript-1.0.1.0/libs/types.ts -------------------------------------------------------------------------------- /tests/cleanup: -------------------------------------------------------------------------------- 1 | #! /bin/bash 2 | 3 | node ../scripts/cleanup.js 4 | -------------------------------------------------------------------------------- /tests/demo/cast.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/cast.ts -------------------------------------------------------------------------------- /tests/demo/createElt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/createElt.ts -------------------------------------------------------------------------------- /tests/demo/ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/ctor.ts -------------------------------------------------------------------------------- /tests/demo/infer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/infer.ts -------------------------------------------------------------------------------- /tests/demo/minindex-classic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/minindex-classic.ts -------------------------------------------------------------------------------- /tests/demo/minindex-modern.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/minindex-modern.ts -------------------------------------------------------------------------------- /tests/demo/negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/negate.ts -------------------------------------------------------------------------------- /tests/demo/opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/opt-args.ts -------------------------------------------------------------------------------- /tests/demo/poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/poly.ts -------------------------------------------------------------------------------- /tests/demo/reals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/reals.ts -------------------------------------------------------------------------------- /tests/demo/string-coercion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/string-coercion.ts -------------------------------------------------------------------------------- /tests/demo/variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/variadic.ts -------------------------------------------------------------------------------- /tests/demo/while-rec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/demo/while-rec.ts -------------------------------------------------------------------------------- /tests/jquery/jquery.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/jquery/jquery.d.ts -------------------------------------------------------------------------------- /tests/jquery/jquery.min.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/jquery/jquery.min.d.ts -------------------------------------------------------------------------------- /tests/jquery/notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/jquery/notes.md -------------------------------------------------------------------------------- /tests/jquery/test0.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/jquery/test0.ts -------------------------------------------------------------------------------- /tests/neg/arrays/00-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/00-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/01-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/01-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/02-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/02-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/03-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/03-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/04-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/04-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/05-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/05-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/06-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/06-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/07-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/07-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/08-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/08-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/09-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/09-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/10-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/10-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/11-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/11-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/12-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/12-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/13-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/13-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/14-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/14-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/16-array.ts: -------------------------------------------------------------------------------- 1 | 2 | let a = [1,2,3,4,5] 3 | 4 | a[5] = 1; 5 | -------------------------------------------------------------------------------- /tests/neg/arrays/17-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/17-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/18-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/18-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/19-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/19-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/20-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/20-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/21-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/21-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/22-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/22-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/23-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/23-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/24-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/24-array.ts -------------------------------------------------------------------------------- /tests/neg/arrays/25-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/arrays/25-array.ts -------------------------------------------------------------------------------- /tests/neg/bounded-poly/00-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/bounded-poly/00-test.ts -------------------------------------------------------------------------------- /tests/neg/bounded-poly/01-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/bounded-poly/01-test.ts -------------------------------------------------------------------------------- /tests/neg/bounded-poly/02-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/bounded-poly/02-test.ts -------------------------------------------------------------------------------- /tests/neg/bounded-poly/03-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/bounded-poly/03-test.ts -------------------------------------------------------------------------------- /tests/neg/classes/00-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/00-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/01-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/01-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/02-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/02-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/03-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/03-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/04-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/04-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/05-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/05-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/06-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/06-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/07-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/07-class.ts -------------------------------------------------------------------------------- /tests/neg/classes/08-createElt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/08-createElt.ts -------------------------------------------------------------------------------- /tests/neg/classes/09-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/09-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/10-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/10-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/11-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/11-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/12-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/12-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/13-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/13-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/14-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/14-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/15-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/15-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/16-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/16-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/17-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/17-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/18-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/18-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/19-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/19-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/20-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/20-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/21-eq-val.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/21-eq-val.ts -------------------------------------------------------------------------------- /tests/neg/classes/22-func-field-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/22-func-field-ctor.ts -------------------------------------------------------------------------------- /tests/neg/classes/23-inheritance.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/23-inheritance.ts -------------------------------------------------------------------------------- /tests/neg/classes/24-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/24-init.ts -------------------------------------------------------------------------------- /tests/neg/classes/25-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/25-init.ts -------------------------------------------------------------------------------- /tests/neg/classes/26-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/26-init.ts -------------------------------------------------------------------------------- /tests/neg/classes/27-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/27-init.ts -------------------------------------------------------------------------------- /tests/neg/classes/28-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/28-interface.ts -------------------------------------------------------------------------------- /tests/neg/classes/29-method-mut.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/29-method-mut.ts -------------------------------------------------------------------------------- /tests/neg/classes/31-offsets.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/31-offsets.ts -------------------------------------------------------------------------------- /tests/neg/classes/32-point.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/32-point.ts -------------------------------------------------------------------------------- /tests/neg/classes/33-self.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/33-self.ts -------------------------------------------------------------------------------- /tests/neg/classes/34-this-meth-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/classes/34-this-meth-scope.ts -------------------------------------------------------------------------------- /tests/neg/classes/35-ctor-args-missing.ts: -------------------------------------------------------------------------------- 1 | class Foo { 2 | constructor() {} 3 | } 4 | 5 | let x = new Foo; 6 | -------------------------------------------------------------------------------- /tests/neg/enums/01-enum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/enums/01-enum.ts -------------------------------------------------------------------------------- /tests/neg/enums/02-enum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/enums/02-enum.ts -------------------------------------------------------------------------------- /tests/neg/fb/min-index-modern.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/fb/min-index-modern.ts -------------------------------------------------------------------------------- /tests/neg/fb/opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/fb/opt-args.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/00-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/00-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/01-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/01-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/03-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/03-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/04-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/04-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/05-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/05-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/06-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/06-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/07-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/07-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/08-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/08-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/inclusion/09-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/inclusion/09-inclusion.ts -------------------------------------------------------------------------------- /tests/neg/lists/emp-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/emp-00.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-00.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-01.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-02.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-03.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-04.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-05.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-06.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-07.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-08.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-08.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-09.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-09.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-10.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-10.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-11.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-11.ts -------------------------------------------------------------------------------- /tests/neg/lists/list-12.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/list-12.ts -------------------------------------------------------------------------------- /tests/neg/lists/listsum-00a.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/listsum-00a.ts -------------------------------------------------------------------------------- /tests/neg/lists/listsum-00b.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/listsum-00b.ts -------------------------------------------------------------------------------- /tests/neg/lists/safeappend.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/safeappend.ts -------------------------------------------------------------------------------- /tests/neg/lists/unfold-list-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/unfold-list-00.ts -------------------------------------------------------------------------------- /tests/neg/lists/unfold-list-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/unfold-list-01.ts -------------------------------------------------------------------------------- /tests/neg/lists/union-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/lists/union-00.ts -------------------------------------------------------------------------------- /tests/neg/loops/for-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/for-02.ts -------------------------------------------------------------------------------- /tests/neg/loops/for-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/for-03.ts -------------------------------------------------------------------------------- /tests/neg/loops/for-rec-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/for-rec-01.ts -------------------------------------------------------------------------------- /tests/neg/loops/for-rec-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/for-rec-02.ts -------------------------------------------------------------------------------- /tests/neg/loops/obj-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/obj-00.ts -------------------------------------------------------------------------------- /tests/neg/loops/obj-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/obj-01.ts -------------------------------------------------------------------------------- /tests/neg/loops/obj-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/obj-03.ts -------------------------------------------------------------------------------- /tests/neg/loops/obj-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/obj-04.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-01.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-02.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-03.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-04.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-05.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-06.ts -------------------------------------------------------------------------------- /tests/neg/loops/while-rec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/loops/while-rec.ts -------------------------------------------------------------------------------- /tests/neg/misc/00-abs-sig-bad.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/00-abs-sig-bad.ts -------------------------------------------------------------------------------- /tests/neg/misc/01-abs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/01-abs.ts -------------------------------------------------------------------------------- /tests/neg/misc/06-cousot.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/06-cousot.ts -------------------------------------------------------------------------------- /tests/neg/misc/08-global.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/08-global.ts -------------------------------------------------------------------------------- /tests/neg/misc/09-fixme.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/09-fixme.ts -------------------------------------------------------------------------------- /tests/neg/misc/12-incr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/12-incr.ts -------------------------------------------------------------------------------- /tests/neg/misc/18-inner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/18-inner.ts -------------------------------------------------------------------------------- /tests/neg/misc/19-locks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/19-locks.ts -------------------------------------------------------------------------------- /tests/neg/misc/20-locks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/20-locks.ts -------------------------------------------------------------------------------- /tests/neg/misc/26-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/26-negate.ts -------------------------------------------------------------------------------- /tests/neg/misc/27-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/27-negate.ts -------------------------------------------------------------------------------- /tests/neg/misc/28-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/28-negate.ts -------------------------------------------------------------------------------- /tests/neg/misc/29-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/29-negate.ts -------------------------------------------------------------------------------- /tests/neg/misc/33-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/33-opt-args.ts -------------------------------------------------------------------------------- /tests/neg/misc/36-packet.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/36-packet.ts -------------------------------------------------------------------------------- /tests/neg/misc/37-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/37-poly.ts -------------------------------------------------------------------------------- /tests/neg/misc/38-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/38-poly.ts -------------------------------------------------------------------------------- /tests/neg/misc/39-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/39-poly.ts -------------------------------------------------------------------------------- /tests/neg/misc/40-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/40-poly.ts -------------------------------------------------------------------------------- /tests/neg/misc/42-unsafe-meth-call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/42-unsafe-meth-call.ts -------------------------------------------------------------------------------- /tests/neg/misc/43-top-level.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/43-top-level.ts -------------------------------------------------------------------------------- /tests/neg/misc/44-twice.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/44-twice.ts -------------------------------------------------------------------------------- /tests/neg/misc/49-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/49-vararg.ts -------------------------------------------------------------------------------- /tests/neg/misc/50-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/50-vararg.ts -------------------------------------------------------------------------------- /tests/neg/misc/51-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/51-vararg.ts -------------------------------------------------------------------------------- /tests/neg/misc/52-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/52-vararg.ts -------------------------------------------------------------------------------- /tests/neg/misc/53-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/53-vararg.ts -------------------------------------------------------------------------------- /tests/neg/misc/54-short-circuit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/54-short-circuit.ts -------------------------------------------------------------------------------- /tests/neg/misc/55-abs-join.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/55-abs-join.ts -------------------------------------------------------------------------------- /tests/neg/misc/56-abs-join.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/56-abs-join.ts -------------------------------------------------------------------------------- /tests/neg/misc/57-unite.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/57-unite.ts -------------------------------------------------------------------------------- /tests/neg/misc/58-unite.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/58-unite.ts -------------------------------------------------------------------------------- /tests/neg/misc/59-class-inv.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/59-class-inv.ts -------------------------------------------------------------------------------- /tests/neg/misc/61-array-map.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/61-array-map.ts -------------------------------------------------------------------------------- /tests/neg/misc/62-flag-narrowing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/62-flag-narrowing.ts -------------------------------------------------------------------------------- /tests/neg/misc/abs-hof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/abs-hof.ts -------------------------------------------------------------------------------- /tests/neg/misc/abs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/abs.ts -------------------------------------------------------------------------------- /tests/neg/misc/animals-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/animals-00.ts -------------------------------------------------------------------------------- /tests/neg/misc/animals-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/animals-01.ts -------------------------------------------------------------------------------- /tests/neg/misc/animals-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/animals-02.ts -------------------------------------------------------------------------------- /tests/neg/misc/animals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/animals.ts -------------------------------------------------------------------------------- /tests/neg/misc/apply.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/apply.ts -------------------------------------------------------------------------------- /tests/neg/misc/array-tag-check-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/array-tag-check-00.ts -------------------------------------------------------------------------------- /tests/neg/misc/array-tag-check.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/array-tag-check.ts -------------------------------------------------------------------------------- /tests/neg/misc/incr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/incr.ts -------------------------------------------------------------------------------- /tests/neg/misc/incr3.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/misc/incr3.ts -------------------------------------------------------------------------------- /tests/neg/objects/00-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/00-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/01-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/01-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/02-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/02-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/03-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/03-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/04-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/04-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/05-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/05-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/06-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/06-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/07-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/07-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/08-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/08-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/09-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/09-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/10-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/10-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/11-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/11-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/12-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/12-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/13-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/13-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/14-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/14-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/15-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/15-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/16-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/16-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/17-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/17-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/18-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/18-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/19-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/19-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/20-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/20-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/21-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/21-object.ts -------------------------------------------------------------------------------- /tests/neg/objects/opt-fields-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/opt-fields-01.ts -------------------------------------------------------------------------------- /tests/neg/objects/string-idx-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/string-idx-00.ts -------------------------------------------------------------------------------- /tests/neg/objects/string-idx-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/objects/string-idx-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/add-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/add-03.ts -------------------------------------------------------------------------------- /tests/neg/operators/add-03a.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/add-03a.ts -------------------------------------------------------------------------------- /tests/neg/operators/add-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/add-05.ts -------------------------------------------------------------------------------- /tests/neg/operators/add-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/add-07.ts -------------------------------------------------------------------------------- /tests/neg/operators/add-08.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/add-08.ts -------------------------------------------------------------------------------- /tests/neg/operators/choice.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/choice.ts -------------------------------------------------------------------------------- /tests/neg/operators/cond-expr-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/cond-expr-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/conditional-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/conditional-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/conditional-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/conditional-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/conditional-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/conditional-02.ts -------------------------------------------------------------------------------- /tests/neg/operators/id-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/id-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/id-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/id-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/inc-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/inc-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/inc-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/inc-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-02.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-03.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-04.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-05.ts -------------------------------------------------------------------------------- /tests/neg/operators/lor-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/lor-06.ts -------------------------------------------------------------------------------- /tests/neg/operators/stmt-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/stmt-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/str-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/str-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/sum-bad.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/sum-bad.ts -------------------------------------------------------------------------------- /tests/neg/operators/sum-badder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/sum-badder.ts -------------------------------------------------------------------------------- /tests/neg/operators/sum-return-missing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/sum-return-missing.ts -------------------------------------------------------------------------------- /tests/neg/operators/sum-ssa-bad.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/sum-ssa-bad.ts -------------------------------------------------------------------------------- /tests/neg/operators/tags.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/tags.ts -------------------------------------------------------------------------------- /tests/neg/operators/test-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/test-00.ts -------------------------------------------------------------------------------- /tests/neg/operators/test-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/test-01.ts -------------------------------------------------------------------------------- /tests/neg/operators/test-bad-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/operators/test-bad-00.ts -------------------------------------------------------------------------------- /tests/neg/reals/reals-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/reals/reals-00.ts -------------------------------------------------------------------------------- /tests/neg/reals/reals-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/reals/reals-01.ts -------------------------------------------------------------------------------- /tests/neg/reals/reals-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/reals/reals-02.ts -------------------------------------------------------------------------------- /tests/neg/scope/00-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/00-scope.ts -------------------------------------------------------------------------------- /tests/neg/scope/01-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/01-scope.ts -------------------------------------------------------------------------------- /tests/neg/scope/02-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/02-scope.ts -------------------------------------------------------------------------------- /tests/neg/scope/11-nested.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/11-nested.ts -------------------------------------------------------------------------------- /tests/neg/scope/init-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/init-01.ts -------------------------------------------------------------------------------- /tests/neg/scope/init-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/init-02.ts -------------------------------------------------------------------------------- /tests/neg/scope/init-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/init-03.ts -------------------------------------------------------------------------------- /tests/neg/scope/init-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/init-04.ts -------------------------------------------------------------------------------- /tests/neg/scope/init-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/scope/init-06.ts -------------------------------------------------------------------------------- /tests/neg/simple/01-error.ts: -------------------------------------------------------------------------------- 1 | 2 | throw new Error(2); 3 | -------------------------------------------------------------------------------- /tests/neg/simple/02-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/02-glob.ts -------------------------------------------------------------------------------- /tests/neg/simple/03-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/03-glob.ts -------------------------------------------------------------------------------- /tests/neg/simple/04-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/04-glob.ts -------------------------------------------------------------------------------- /tests/neg/simple/05-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/05-glob.ts -------------------------------------------------------------------------------- /tests/neg/simple/06-bool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/06-bool.ts -------------------------------------------------------------------------------- /tests/neg/simple/07-bool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/07-bool.ts -------------------------------------------------------------------------------- /tests/neg/simple/08-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/08-func-expression.ts -------------------------------------------------------------------------------- /tests/neg/simple/09-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/09-func-expression.ts -------------------------------------------------------------------------------- /tests/neg/simple/10-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/10-func-expression.ts -------------------------------------------------------------------------------- /tests/neg/simple/11-runtime-tags.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/11-runtime-tags.ts -------------------------------------------------------------------------------- /tests/neg/simple/12-unbound-tvar.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/12-unbound-tvar.ts -------------------------------------------------------------------------------- /tests/neg/simple/13-contextual.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/13-contextual.ts -------------------------------------------------------------------------------- /tests/neg/simple/21-conditional-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/21-conditional-expression.ts -------------------------------------------------------------------------------- /tests/neg/simple/22-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/22-unification.ts -------------------------------------------------------------------------------- /tests/neg/simple/24-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/24-unification.ts -------------------------------------------------------------------------------- /tests/neg/simple/25-field-update.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/25-field-update.ts -------------------------------------------------------------------------------- /tests/neg/simple/26-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/26-unification.ts -------------------------------------------------------------------------------- /tests/neg/simple/27-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/27-unification.ts -------------------------------------------------------------------------------- /tests/neg/simple/28-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/28-unification.ts -------------------------------------------------------------------------------- /tests/neg/simple/33-loop-ssa.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/33-loop-ssa.ts -------------------------------------------------------------------------------- /tests/neg/simple/35-modules.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/35-modules.ts -------------------------------------------------------------------------------- /tests/neg/simple/36-truthy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/36-truthy.ts -------------------------------------------------------------------------------- /tests/neg/simple/38-meth-invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/38-meth-invariant.ts -------------------------------------------------------------------------------- /tests/neg/simple/40-unbound-symbol.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/40-unbound-symbol.ts -------------------------------------------------------------------------------- /tests/neg/simple/42-unbound-symbol.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/42-unbound-symbol.ts -------------------------------------------------------------------------------- /tests/neg/simple/43-func-invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/43-func-invariant.ts -------------------------------------------------------------------------------- /tests/neg/simple/44-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/44-overload.ts -------------------------------------------------------------------------------- /tests/neg/simple/45-immutable-field.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/45-immutable-field.ts -------------------------------------------------------------------------------- /tests/neg/simple/47-overloads.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/47-overloads.ts -------------------------------------------------------------------------------- /tests/neg/simple/48-undead.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/48-undead.ts -------------------------------------------------------------------------------- /tests/neg/simple/51-bitvector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/51-bitvector.ts -------------------------------------------------------------------------------- /tests/neg/simple/52-bitvector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/52-bitvector.ts -------------------------------------------------------------------------------- /tests/neg/simple/54-hex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/54-hex.ts -------------------------------------------------------------------------------- /tests/neg/simple/55-intersection.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/55-intersection.ts -------------------------------------------------------------------------------- /tests/neg/simple/57-non-linear.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/57-non-linear.ts -------------------------------------------------------------------------------- /tests/neg/simple/60-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/60-opt-args.ts -------------------------------------------------------------------------------- /tests/neg/simple/61-string-coercion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/61-string-coercion.ts -------------------------------------------------------------------------------- /tests/neg/simple/63-unif.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/63-unif.ts -------------------------------------------------------------------------------- /tests/neg/simple/65-variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/65-variadic.ts -------------------------------------------------------------------------------- /tests/neg/simple/67-return-false.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/67-return-false.ts -------------------------------------------------------------------------------- /tests/neg/simple/bad-spec-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/bad-spec-00.ts -------------------------------------------------------------------------------- /tests/neg/simple/cast-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/simple/cast-00.ts -------------------------------------------------------------------------------- /tests/neg/todo/misc/minindex-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/todo/misc/minindex-00.ts -------------------------------------------------------------------------------- /tests/neg/todo/simple/46-contextual.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/todo/simple/46-contextual.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-00.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-01.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-02.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-03.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-04.ts -------------------------------------------------------------------------------- /tests/neg/typealias/talias-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/typealias/talias-06.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-00.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-01.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-02.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-03.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-04.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-13.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-13.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-14.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-14.ts -------------------------------------------------------------------------------- /tests/neg/unions/test-15.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/neg/unions/test-15.ts -------------------------------------------------------------------------------- /tests/pos/arrays/00-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/00-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/01-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/01-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/02-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/02-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/03-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/03-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/04-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/04-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/05-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/05-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/06-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/06-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/07-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/07-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/08-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/08-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/09-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/09-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/10-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/10-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/11-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/11-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/12-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/12-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/13-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/13-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/14-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/14-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/15-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/15-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/16-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/16-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/17-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/17-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/18-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/18-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/19-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/19-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/20-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/20-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/21-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/21-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/22-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/22-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/23-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/23-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/24-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/24-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/25-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/25-array.ts -------------------------------------------------------------------------------- /tests/pos/arrays/26-array.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/arrays/26-array.ts -------------------------------------------------------------------------------- /tests/pos/bounded-poly/00-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/bounded-poly/00-test.ts -------------------------------------------------------------------------------- /tests/pos/bounded-poly/01-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/bounded-poly/01-test.ts -------------------------------------------------------------------------------- /tests/pos/bounded-poly/02-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/bounded-poly/02-test.ts -------------------------------------------------------------------------------- /tests/pos/bounded-poly/03-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/bounded-poly/03-test.ts -------------------------------------------------------------------------------- /tests/pos/bounded-poly/04-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/bounded-poly/04-test.ts -------------------------------------------------------------------------------- /tests/pos/classes/00-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/00-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/01-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/01-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/03-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/03-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/04-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/04-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/05-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/05-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/06-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/06-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/08-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/08-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/09-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/09-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/10-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/10-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/11-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/11-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/12-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/12-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/13-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/13-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/14-class.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/14-class.ts -------------------------------------------------------------------------------- /tests/pos/classes/15-classhierarchy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/15-classhierarchy.ts -------------------------------------------------------------------------------- /tests/pos/classes/16-createElt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/16-createElt.ts -------------------------------------------------------------------------------- /tests/pos/classes/17-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/17-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/18-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/18-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/19-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/19-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/20-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/20-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/21-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/21-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/22-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/22-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/23-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/23-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/24-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/24-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/25-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/25-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/26-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/26-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/27-eq_val.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/27-eq_val.ts -------------------------------------------------------------------------------- /tests/pos/classes/28-func-field-ctor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/28-func-field-ctor.ts -------------------------------------------------------------------------------- /tests/pos/classes/29-glob-in-method.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/29-glob-in-method.ts -------------------------------------------------------------------------------- /tests/pos/classes/30-implements.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/30-implements.ts -------------------------------------------------------------------------------- /tests/pos/classes/31-implements.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/31-implements.ts -------------------------------------------------------------------------------- /tests/pos/classes/32-inheritance.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/32-inheritance.ts -------------------------------------------------------------------------------- /tests/pos/classes/34-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/34-init.ts -------------------------------------------------------------------------------- /tests/pos/classes/35-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/35-init.ts -------------------------------------------------------------------------------- /tests/pos/classes/36-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/36-init.ts -------------------------------------------------------------------------------- /tests/pos/classes/37-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/37-interface.ts -------------------------------------------------------------------------------- /tests/pos/classes/38-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/38-interface.ts -------------------------------------------------------------------------------- /tests/pos/classes/39-method.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/39-method.ts -------------------------------------------------------------------------------- /tests/pos/classes/40-mutability.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/40-mutability.ts -------------------------------------------------------------------------------- /tests/pos/classes/41-offsets.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/41-offsets.ts -------------------------------------------------------------------------------- /tests/pos/classes/42-point.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/42-point.ts -------------------------------------------------------------------------------- /tests/pos/classes/43-self.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/43-self.ts -------------------------------------------------------------------------------- /tests/pos/classes/44-subclass.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/44-subclass.ts -------------------------------------------------------------------------------- /tests/pos/classes/45-this-meth-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/classes/45-this-meth-scope.ts -------------------------------------------------------------------------------- /tests/pos/enums/00-enum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/enums/00-enum.ts -------------------------------------------------------------------------------- /tests/pos/enums/01-enum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/enums/01-enum.ts -------------------------------------------------------------------------------- /tests/pos/enums/02-enum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/enums/02-enum.ts -------------------------------------------------------------------------------- /tests/pos/fb/minindex-classic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/fb/minindex-classic.ts -------------------------------------------------------------------------------- /tests/pos/fb/minindex-modern-lib.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/fb/minindex-modern-lib.ts -------------------------------------------------------------------------------- /tests/pos/fb/minindex-modern.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/fb/minindex-modern.ts -------------------------------------------------------------------------------- /tests/pos/fb/opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/fb/opt-args.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/00-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/00-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/01-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/01-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/02-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/02-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/03-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/03-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/04-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/04-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/05-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/05-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/06-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/06-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/07-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/07-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/08-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/08-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/inclusion/10-inclusion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/inclusion/10-inclusion.ts -------------------------------------------------------------------------------- /tests/pos/lists/emp-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/emp-00.ts -------------------------------------------------------------------------------- /tests/pos/lists/emp-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/emp-01.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-00.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-01.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-02.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-03.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-head-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-head-01.ts -------------------------------------------------------------------------------- /tests/pos/lists/list-head-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/list-head-02.ts -------------------------------------------------------------------------------- /tests/pos/lists/listsum-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/listsum-00.ts -------------------------------------------------------------------------------- /tests/pos/lists/listsum-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/listsum-01.ts -------------------------------------------------------------------------------- /tests/pos/lists/listsum-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/listsum-02.ts -------------------------------------------------------------------------------- /tests/pos/lists/listsum-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/listsum-03.ts -------------------------------------------------------------------------------- /tests/pos/lists/map.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/map.ts -------------------------------------------------------------------------------- /tests/pos/lists/safeappend.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/safeappend.ts -------------------------------------------------------------------------------- /tests/pos/lists/safehead.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/safehead.ts -------------------------------------------------------------------------------- /tests/pos/lists/safemap.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/safemap.ts -------------------------------------------------------------------------------- /tests/pos/lists/safereverse.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/safereverse.ts -------------------------------------------------------------------------------- /tests/pos/lists/unfold-list-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/unfold-list-00.ts -------------------------------------------------------------------------------- /tests/pos/lists/unfold-list-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/unfold-list-01.ts -------------------------------------------------------------------------------- /tests/pos/lists/union-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/lists/union-00.ts -------------------------------------------------------------------------------- /tests/pos/loops/double-for.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/double-for.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-02.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-03.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-05.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-06.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-07.ts -------------------------------------------------------------------------------- /tests/pos/loops/for-rec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/for-rec.ts -------------------------------------------------------------------------------- /tests/pos/loops/obj-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/obj-00.ts -------------------------------------------------------------------------------- /tests/pos/loops/obj-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/obj-01.ts -------------------------------------------------------------------------------- /tests/pos/loops/obj-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/obj-02.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-01.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-02.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-03.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-04.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-06.ts -------------------------------------------------------------------------------- /tests/pos/loops/while-rec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/loops/while-rec.ts -------------------------------------------------------------------------------- /tests/pos/misc/00-abs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/00-abs.ts -------------------------------------------------------------------------------- /tests/pos/misc/01-abs-hof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/01-abs-hof.ts -------------------------------------------------------------------------------- /tests/pos/misc/02-animals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/02-animals.ts -------------------------------------------------------------------------------- /tests/pos/misc/03-apply.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/03-apply.ts -------------------------------------------------------------------------------- /tests/pos/misc/04-array-tag-check.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/04-array-tag-check.ts -------------------------------------------------------------------------------- /tests/pos/misc/05-callable-interface.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/05-callable-interface.ts -------------------------------------------------------------------------------- /tests/pos/misc/06-cousot.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/06-cousot.ts -------------------------------------------------------------------------------- /tests/pos/misc/07-cousot.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/07-cousot.ts -------------------------------------------------------------------------------- /tests/pos/misc/08-cousot.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/08-cousot.ts -------------------------------------------------------------------------------- /tests/pos/misc/10-dep.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/10-dep.ts -------------------------------------------------------------------------------- /tests/pos/misc/11-driver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/11-driver.ts -------------------------------------------------------------------------------- /tests/pos/misc/12-incr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/12-incr.ts -------------------------------------------------------------------------------- /tests/pos/misc/13-incr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/13-incr.ts -------------------------------------------------------------------------------- /tests/pos/misc/14-incr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/14-incr.ts -------------------------------------------------------------------------------- /tests/pos/misc/15-inc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/15-inc.ts -------------------------------------------------------------------------------- /tests/pos/misc/16-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/16-init.ts -------------------------------------------------------------------------------- /tests/pos/misc/17-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/17-init.ts -------------------------------------------------------------------------------- /tests/pos/misc/18-inner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/18-inner.ts -------------------------------------------------------------------------------- /tests/pos/misc/19-locks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/19-locks.ts -------------------------------------------------------------------------------- /tests/pos/misc/20-locks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/20-locks.ts -------------------------------------------------------------------------------- /tests/pos/misc/21-locks-cond.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/21-locks-cond.ts -------------------------------------------------------------------------------- /tests/pos/misc/22-max.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/22-max.ts -------------------------------------------------------------------------------- /tests/pos/misc/23-minindex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/23-minindex.ts -------------------------------------------------------------------------------- /tests/pos/misc/24-minindex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/24-minindex.ts -------------------------------------------------------------------------------- /tests/pos/misc/25-minindex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/25-minindex.ts -------------------------------------------------------------------------------- /tests/pos/misc/26-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/26-negate.ts -------------------------------------------------------------------------------- /tests/pos/misc/27-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/27-negate.ts -------------------------------------------------------------------------------- /tests/pos/misc/28-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/28-negate.ts -------------------------------------------------------------------------------- /tests/pos/misc/29-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/29-negate.ts -------------------------------------------------------------------------------- /tests/pos/misc/30-negate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/30-negate.ts -------------------------------------------------------------------------------- /tests/pos/misc/33-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/33-opt-args.ts -------------------------------------------------------------------------------- /tests/pos/misc/34-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/34-opt-args.ts -------------------------------------------------------------------------------- /tests/pos/misc/35-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/35-overload.ts -------------------------------------------------------------------------------- /tests/pos/misc/36-packet.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/36-packet.ts -------------------------------------------------------------------------------- /tests/pos/misc/37-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/37-poly.ts -------------------------------------------------------------------------------- /tests/pos/misc/38-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/38-poly.ts -------------------------------------------------------------------------------- /tests/pos/misc/39-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/39-poly.ts -------------------------------------------------------------------------------- /tests/pos/misc/40-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/40-poly.ts -------------------------------------------------------------------------------- /tests/pos/misc/41-poly.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/41-poly.ts -------------------------------------------------------------------------------- /tests/pos/misc/42-safe-meth-call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/42-safe-meth-call.ts -------------------------------------------------------------------------------- /tests/pos/misc/43-top-level.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/43-top-level.ts -------------------------------------------------------------------------------- /tests/pos/misc/44-twice-hof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/44-twice-hof.ts -------------------------------------------------------------------------------- /tests/pos/misc/45-twice.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/45-twice.ts -------------------------------------------------------------------------------- /tests/pos/misc/46-underscore.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/46-underscore.ts -------------------------------------------------------------------------------- /tests/pos/misc/47-underscore.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/47-underscore.ts -------------------------------------------------------------------------------- /tests/pos/misc/48-unite.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/48-unite.ts -------------------------------------------------------------------------------- /tests/pos/misc/49-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/49-vararg.ts -------------------------------------------------------------------------------- /tests/pos/misc/50-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/50-vararg.ts -------------------------------------------------------------------------------- /tests/pos/misc/51-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/51-vararg.ts -------------------------------------------------------------------------------- /tests/pos/misc/52-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/52-vararg.ts -------------------------------------------------------------------------------- /tests/pos/misc/53-vararg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/53-vararg.ts -------------------------------------------------------------------------------- /tests/pos/misc/54-short-circuit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/54-short-circuit.ts -------------------------------------------------------------------------------- /tests/pos/misc/59-class-inv.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/59-class-inv.ts -------------------------------------------------------------------------------- /tests/pos/misc/60-d3_mean.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/60-d3_mean.ts -------------------------------------------------------------------------------- /tests/pos/misc/61-array-map.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/61-array-map.ts -------------------------------------------------------------------------------- /tests/pos/misc/62-flag-narrowing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/misc/62-flag-narrowing.ts -------------------------------------------------------------------------------- /tests/pos/objects/00-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/00-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/01-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/01-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/02-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/02-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/03-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/03-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/06-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/06-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/07-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/07-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/08-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/08-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/09-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/09-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/10-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/10-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/11-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/11-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/12-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/12-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/13-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/13-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/14-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/14-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/19-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/19-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/20-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/20-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/21-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/21-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/22-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/22-object.ts -------------------------------------------------------------------------------- /tests/pos/objects/hasOwnProperty.ts: -------------------------------------------------------------------------------- 1 | 2 | /*@ x :: { } */ 3 | declare let x; 4 | 5 | x.hasOwnProperty("prop"); 6 | -------------------------------------------------------------------------------- /tests/pos/objects/opt-fields-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/opt-fields-01.ts -------------------------------------------------------------------------------- /tests/pos/objects/string-idx-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/objects/string-idx-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-02.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-03.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-04.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-06.ts -------------------------------------------------------------------------------- /tests/pos/operators/add-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/add-07.ts -------------------------------------------------------------------------------- /tests/pos/operators/cond-expr-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/cond-expr-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/cond-expr-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/cond-expr-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/id-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/id-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/id-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/id-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/id-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/id-02.ts -------------------------------------------------------------------------------- /tests/pos/operators/inc-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/inc-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/inc-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/inc-02.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-02.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-03.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-04.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-05.ts -------------------------------------------------------------------------------- /tests/pos/operators/lor-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/lor-06.ts -------------------------------------------------------------------------------- /tests/pos/operators/pos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/pos.ts -------------------------------------------------------------------------------- /tests/pos/operators/stmt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/stmt.ts -------------------------------------------------------------------------------- /tests/pos/operators/str.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/str.ts -------------------------------------------------------------------------------- /tests/pos/operators/sum-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/sum-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/sum-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/sum-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/sum-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/sum-02.ts -------------------------------------------------------------------------------- /tests/pos/operators/sum-infer-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/sum-infer-00.ts -------------------------------------------------------------------------------- /tests/pos/operators/sum-infer-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/sum-infer-01.ts -------------------------------------------------------------------------------- /tests/pos/operators/tags.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/tags.ts -------------------------------------------------------------------------------- /tests/pos/operators/unary-plus-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/operators/unary-plus-00.ts -------------------------------------------------------------------------------- /tests/pos/reals/reals-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/reals/reals-00.ts -------------------------------------------------------------------------------- /tests/pos/reals/reals-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/reals/reals-01.ts -------------------------------------------------------------------------------- /tests/pos/reals/reals-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/reals/reals-02.ts -------------------------------------------------------------------------------- /tests/pos/scope/00-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/00-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/01-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/01-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/02-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/02-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/03-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/03-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/04-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/04-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/05-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/05-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/06-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/06-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/07-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/07-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/08-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/08-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/09-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/09-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/10-initialization.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/10-initialization.ts -------------------------------------------------------------------------------- /tests/pos/scope/10-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/10-scope.ts -------------------------------------------------------------------------------- /tests/pos/scope/11-nested.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/11-nested.ts -------------------------------------------------------------------------------- /tests/pos/scope/12-ssa.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/12-ssa.ts -------------------------------------------------------------------------------- /tests/pos/scope/13-nested.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/13-nested.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-01.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-02.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-03.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-04.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-05.ts -------------------------------------------------------------------------------- /tests/pos/scope/init-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/scope/init-06.ts -------------------------------------------------------------------------------- /tests/pos/simple/00-empty.ts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/pos/simple/01-error.ts: -------------------------------------------------------------------------------- 1 | 2 | throw new Error(""); 3 | -------------------------------------------------------------------------------- /tests/pos/simple/02-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/02-glob.ts -------------------------------------------------------------------------------- /tests/pos/simple/03-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/03-glob.ts -------------------------------------------------------------------------------- /tests/pos/simple/04-glob.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/04-glob.ts -------------------------------------------------------------------------------- /tests/pos/simple/06-bool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/06-bool.ts -------------------------------------------------------------------------------- /tests/pos/simple/07-bool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/07-bool.ts -------------------------------------------------------------------------------- /tests/pos/simple/08-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/08-func-expression.ts -------------------------------------------------------------------------------- /tests/pos/simple/09-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/09-func-expression.ts -------------------------------------------------------------------------------- /tests/pos/simple/10-func-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/10-func-expression.ts -------------------------------------------------------------------------------- /tests/pos/simple/11-runtime-tags.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/11-runtime-tags.ts -------------------------------------------------------------------------------- /tests/pos/simple/12-runtime-tags.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/12-runtime-tags.ts -------------------------------------------------------------------------------- /tests/pos/simple/13-contextual.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/13-contextual.ts -------------------------------------------------------------------------------- /tests/pos/simple/14-arithmetic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/14-arithmetic.ts -------------------------------------------------------------------------------- /tests/pos/simple/15-string-construction.ts: -------------------------------------------------------------------------------- 1 | let s = String(3); 2 | -------------------------------------------------------------------------------- /tests/pos/simple/16-arguments-var.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/16-arguments-var.ts -------------------------------------------------------------------------------- /tests/pos/simple/17-absolute.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/17-absolute.ts -------------------------------------------------------------------------------- /tests/pos/simple/21-conditional-expression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/21-conditional-expression.ts -------------------------------------------------------------------------------- /tests/pos/simple/22-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/22-unification.ts -------------------------------------------------------------------------------- /tests/pos/simple/23-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/23-unification.ts -------------------------------------------------------------------------------- /tests/pos/simple/24-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/24-unification.ts -------------------------------------------------------------------------------- /tests/pos/simple/25-field-update.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/25-field-update.ts -------------------------------------------------------------------------------- /tests/pos/simple/26-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/26-unification.ts -------------------------------------------------------------------------------- /tests/pos/simple/27-unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/27-unification.ts -------------------------------------------------------------------------------- /tests/pos/simple/28-top-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/28-top-type.ts -------------------------------------------------------------------------------- /tests/pos/simple/35-modules.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/35-modules.ts -------------------------------------------------------------------------------- /tests/pos/simple/36-truthy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/36-truthy.ts -------------------------------------------------------------------------------- /tests/pos/simple/37-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/37-overload.ts -------------------------------------------------------------------------------- /tests/pos/simple/38-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/38-overload.ts -------------------------------------------------------------------------------- /tests/pos/simple/39-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/39-overload.ts -------------------------------------------------------------------------------- /tests/pos/simple/43-func-invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/43-func-invariant.ts -------------------------------------------------------------------------------- /tests/pos/simple/44-overload.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/44-overload.ts -------------------------------------------------------------------------------- /tests/pos/simple/46-contextual.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/46-contextual.ts -------------------------------------------------------------------------------- /tests/pos/simple/47-overloads.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/47-overloads.ts -------------------------------------------------------------------------------- /tests/pos/simple/48-field-invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/48-field-invariant.ts -------------------------------------------------------------------------------- /tests/pos/simple/49-addEntry.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/49-addEntry.ts -------------------------------------------------------------------------------- /tests/pos/simple/50-adhoc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/50-adhoc.ts -------------------------------------------------------------------------------- /tests/pos/simple/51-bitvector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/51-bitvector.ts -------------------------------------------------------------------------------- /tests/pos/simple/52-bitvector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/52-bitvector.ts -------------------------------------------------------------------------------- /tests/pos/simple/54-hex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/54-hex.ts -------------------------------------------------------------------------------- /tests/pos/simple/55-intersection.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/55-intersection.ts -------------------------------------------------------------------------------- /tests/pos/simple/56-meth-invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/56-meth-invariant.ts -------------------------------------------------------------------------------- /tests/pos/simple/57-non-linear.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/57-non-linear.ts -------------------------------------------------------------------------------- /tests/pos/simple/58-qualgen-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/58-qualgen-00.ts -------------------------------------------------------------------------------- /tests/pos/simple/59-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/59-opt-args.ts -------------------------------------------------------------------------------- /tests/pos/simple/59-qualgen.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/59-qualgen.ts -------------------------------------------------------------------------------- /tests/pos/simple/60-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/60-opt-args.ts -------------------------------------------------------------------------------- /tests/pos/simple/60-ref-in-constructor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/60-ref-in-constructor.ts -------------------------------------------------------------------------------- /tests/pos/simple/61-string-coercion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/61-string-coercion.ts -------------------------------------------------------------------------------- /tests/pos/simple/62-tvars.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/62-tvars.ts -------------------------------------------------------------------------------- /tests/pos/simple/63-unif.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/63-unif.ts -------------------------------------------------------------------------------- /tests/pos/simple/64-upcast.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/64-upcast.ts -------------------------------------------------------------------------------- /tests/pos/simple/65-bitvectors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/65-bitvectors.ts -------------------------------------------------------------------------------- /tests/pos/simple/65-variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/65-variadic.ts -------------------------------------------------------------------------------- /tests/pos/simple/66-bitvectors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/simple/66-bitvectors.ts -------------------------------------------------------------------------------- /tests/pos/todo/fb/d3-sum.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/todo/fb/d3-sum.ts -------------------------------------------------------------------------------- /tests/pos/todo/misc/09-d3_mean.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/todo/misc/09-d3_mean.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-00.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-01.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-02.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-03.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-04.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-05.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-07.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-08.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-08.ts -------------------------------------------------------------------------------- /tests/pos/typealias/talias-09.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/typealias/talias-09.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-00.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-01.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-02.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-03.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-04.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-05.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-06.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-06.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-07.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-08.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-08.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-09.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-09.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-10.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-10.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-12.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-12.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-13.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-13.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-14.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-14.ts -------------------------------------------------------------------------------- /tests/pos/unions/test-15.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/pos/unions/test-15.ts -------------------------------------------------------------------------------- /tests/test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/test.hs -------------------------------------------------------------------------------- /tests/todo/neg/control-flow/switch-neg-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/control-flow/switch-neg-00.ts -------------------------------------------------------------------------------- /tests/todo/neg/misc/circular-logic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/misc/circular-logic.ts -------------------------------------------------------------------------------- /tests/todo/neg/operators/bitvector-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/operators/bitvector-02.ts -------------------------------------------------------------------------------- /tests/todo/neg/proto/proto-lookup1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/proto/proto-lookup1.ts -------------------------------------------------------------------------------- /tests/todo/neg/proto/proto-lookup7.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/proto/proto-lookup7.ts -------------------------------------------------------------------------------- /tests/todo/neg/simple/66-variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/neg/simple/66-variadic.ts -------------------------------------------------------------------------------- /tests/todo/pos/classes/class-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/classes/class-07.ts -------------------------------------------------------------------------------- /tests/todo/pos/classes/iterable.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/classes/iterable.ts -------------------------------------------------------------------------------- /tests/todo/pos/classes/moveable-point.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/classes/moveable-point.ts -------------------------------------------------------------------------------- /tests/todo/pos/control-flow/break.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/control-flow/break.ts -------------------------------------------------------------------------------- /tests/todo/pos/control-flow/switch-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/control-flow/switch-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/loops/do-while.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/loops/do-while.ts -------------------------------------------------------------------------------- /tests/todo/pos/loops/while-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/loops/while-07.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/aes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/aes.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/hof-intersection.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/hof-intersection.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/kmp.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/kmp.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/missing-qualif.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/missing-qualif.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/negate-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/negate-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/string-accessor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/string-accessor.ts -------------------------------------------------------------------------------- /tests/todo/pos/misc/transducers-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/misc/transducers-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/objects/04-object.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/objects/04-object.ts -------------------------------------------------------------------------------- /tests/todo/pos/objects/abs-mut.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/objects/abs-mut.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/bitVector-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/bitVector-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/bitvector-02.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/bitvector-02.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/bitwise-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/bitwise-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/bracketref-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/bracketref-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/compound-assignment-operator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/compound-assignment-operator.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/eq.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/eq.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/float-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/float-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/lor-07.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/lor-07.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/short-circuit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/short-circuit.ts -------------------------------------------------------------------------------- /tests/todo/pos/operators/void.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/operators/void.ts -------------------------------------------------------------------------------- /tests/todo/pos/pemissions/test-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/pemissions/test-00.ts -------------------------------------------------------------------------------- /tests/todo/pos/pemissions/test-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/pemissions/test-01.ts -------------------------------------------------------------------------------- /tests/todo/pos/pemissions/test-03.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/pemissions/test-03.ts -------------------------------------------------------------------------------- /tests/todo/pos/pemissions/test-04.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/pemissions/test-04.ts -------------------------------------------------------------------------------- /tests/todo/pos/pemissions/test-05.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/pemissions/test-05.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/array-proto.ts: -------------------------------------------------------------------------------- 1 | 2 | Array.prototype.slice.call([10,11,12], 0, 2); 3 | -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup1.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup2.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup2.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup3.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup3.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup4.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup4.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup5.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup5.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup6.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup7.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup7.ts -------------------------------------------------------------------------------- /tests/todo/pos/proto/proto-lookup8.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/proto/proto-lookup8.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/66-variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/66-variadic.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/67-variadic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/67-variadic.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/70-opt-args.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/70-opt-args.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/init-01.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/init-01.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/late-init.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/late-init.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/modules.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/modules.ts -------------------------------------------------------------------------------- /tests/todo/pos/simple/null-undef-literals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/simple/null-undef-literals.ts -------------------------------------------------------------------------------- /tests/todo/pos/unions/or-undef.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/pos/unions/or-undef.ts -------------------------------------------------------------------------------- /tests/todo/ssa-bug-3.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/ssa-bug-3.ts -------------------------------------------------------------------------------- /tests/todo/weird/animals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/weird/animals.ts -------------------------------------------------------------------------------- /tests/todo/weird/order.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/weird/order.ts -------------------------------------------------------------------------------- /tests/todo/weird/slowMul.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/weird/slowMul.ts -------------------------------------------------------------------------------- /tests/todo/weird/splay-00.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/weird/splay-00.ts -------------------------------------------------------------------------------- /tests/todo/weird/var-decl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UCSD-PL/refscript/HEAD/tests/todo/weird/var-decl.ts --------------------------------------------------------------------------------