├── .cvsignore ├── .gitignore ├── .hgignore ├── COPYING ├── README ├── basisstubs ├── .cvsignore ├── LOAD ├── README ├── basislib.pm ├── current │ ├── .gitignore │ ├── ARRAY-sig.sml │ ├── Array.sml │ ├── BIT_FLAGS.sml │ ├── BOOL-sig.sml │ ├── BYTE-sig.sml │ ├── BitFlags.sml │ ├── Bool.sml │ ├── Byte.sml │ ├── CHAR-sig.sml │ ├── COMMAND_LINE.sml │ ├── CharVector.sml │ ├── CommandLine.sml │ ├── DATE-sig.sml │ ├── Date.sml │ ├── GENERAL-sig.sml │ ├── General.sml │ ├── INTEGER.sml │ ├── IO-sig.sml │ ├── LIST-sig.sml │ ├── LIST_PAIR.sml │ ├── List.sml │ ├── ListPair.sml │ ├── MATH-sig.sml │ ├── MONO_ARRAY.sml │ ├── MONO_ARRAY_SLICE.sml │ ├── MONO_VECTOR.sml │ ├── MONO_VECTOR_SLICE.sml │ ├── Math.sml │ ├── OPTION-sig.sml │ ├── OS-sig.sml │ ├── OS_FILE_SYS.sml │ ├── OS_IO.sml │ ├── OS_PATH.sml │ ├── OS_PROCESS.sml │ ├── Option.sml │ ├── POSIX.sml │ ├── Path.sml │ ├── REAL-sig.sml │ ├── Real.sml │ ├── SML90-sig.sml │ ├── STRING-sig.sml │ ├── STRING_CVT.sml │ ├── STR_BASE.sml │ ├── SUBSTRING-sig.sml │ ├── Sml90.sml │ ├── StringCvt.sml │ ├── TIME-sig.sml │ ├── TIMER-sig.sml │ ├── Time.sml │ ├── Timer.sml │ ├── VECTOR-sig.sml │ ├── Vector.sml │ ├── WORD-sig.sml │ ├── from-mlton │ │ ├── IEEE-real.sig │ │ ├── IEEE-real.sml │ │ ├── array-slice.sig │ │ ├── array2.sig │ │ ├── array2.sml │ │ ├── int-inf.sig │ │ ├── int-inf.sml │ │ ├── io │ │ │ ├── bin-io.sig │ │ │ ├── bin-prim-io.sml │ │ │ ├── imperative-io.fun │ │ │ ├── imperative-io.sig │ │ │ ├── prim-io.fun │ │ │ ├── prim-io.sig │ │ │ ├── stream-io.fun │ │ │ ├── stream-io.sig │ │ │ ├── text-io.sig │ │ │ ├── text-prim-io.sml │ │ │ └── text-stream-io.sig │ │ ├── mono-array2.fun │ │ ├── mono-array2.sig │ │ ├── net │ │ │ ├── generic-sock.sig │ │ │ ├── generic-sock.sml │ │ │ ├── inet-sock.sig │ │ │ ├── inet-sock.sml │ │ │ ├── net-host-db.sig │ │ │ ├── net-host-db.sml │ │ │ ├── net-prot-db.sig │ │ │ ├── net-prot-db.sml │ │ │ ├── net-serv-db.sig │ │ │ ├── net-serv-db.sml │ │ │ ├── net.sig │ │ │ ├── net.sml │ │ │ ├── socket.sig │ │ │ ├── socket.sml │ │ │ ├── unix-sock.sig │ │ │ └── unix-sock.sml │ │ ├── pack-real.sig │ │ ├── pack-word.sig │ │ ├── pack-word.sml │ │ ├── text.sig │ │ ├── text.sml │ │ ├── unix.sig │ │ ├── unix.sml │ │ └── vector-slice.sig │ ├── useme │ └── windows.sml ├── kit.script ├── missing.txt └── sigs │ ├── ARRAY.sml │ ├── BIN_IO.sml │ ├── BOOL.sml │ ├── BYTE.sml │ ├── CHAR.sml │ ├── COMMAND_LINE.sml │ ├── DATE.sml │ ├── GENERAL.sml │ ├── INTEGER.sml │ ├── IO.sml │ ├── LIST.sml │ ├── LIST_PAIR.sml │ ├── LIST_SORT.sml │ ├── MATH.sml │ ├── MONO_ARRAY.sml │ ├── MONO_VECTOR.sml │ ├── OPTION.sml │ ├── OS.sml │ ├── OS_FILE_SYS.sml │ ├── OS_PATH.sml │ ├── OS_PROCESS.sml │ ├── RANDOM.sml │ ├── REAL.sml │ ├── SML90.sml │ ├── STRING.sml │ ├── STRING_CVT.sml │ ├── STR_BASE.sml │ ├── SUBSTRING.sml │ ├── TEXT_IO.sml │ ├── TIME.sml │ ├── TIMER.sml │ ├── VECTOR.sml │ ├── WORD.sml │ ├── mkstructstub.awk │ ├── useme │ └── useme2 ├── bin ├── .heap │ └── README └── README ├── emacs └── sml-refinements.el ├── lib ├── basis │ ├── .gitignore │ ├── basis.mlb │ └── pervasive.mlb ├── mlyacc-lib │ ├── base.sig │ ├── join.sml │ ├── lrtable.sml │ ├── ml-yacc-lib.cm │ ├── mlyacc-lib.mlb │ ├── parser1.sml │ ├── parser2.sml │ └── stream.sml ├── refined-basis │ ├── basis.mlb │ ├── bool.sml │ ├── list.sml │ └── option.sml └── smlnj-lib │ ├── PP │ └── pp-lib.mlb │ └── Util │ ├── BinaryMapFn.sml │ ├── BinarySetFn.sml │ ├── GET_OPT.sml │ ├── HASH_TABLE.sml │ ├── HashString.sml │ ├── ORD_KEY.sml │ ├── ORD_MAP.sml │ ├── ORD_SET.sml │ ├── SYMBOL.sml │ └── smlnj-lib.mlb ├── mlb-path-map ├── src ├── .cvsignore ├── Cidre │ ├── BINARYMAP-sig.sml │ ├── Binarymap.sml │ ├── CONFIGURATION-sig.sml │ ├── Cidre.sml │ ├── Configuration.sml │ ├── ENVIRONMENT-sig.sml │ ├── Environment.sml │ ├── InfixLib.sml │ ├── MLB_FILESYS.sml │ ├── MLB_PROJECT.sml │ ├── MlbFileSys.sml │ ├── MlbProject.sml │ ├── MlbUtil.sml │ ├── cidre.cm │ ├── environment.mlb │ └── test.mlb ├── Common │ ├── .cvsignore │ ├── BASIC_IO.sml │ ├── BASIS-sig.sml │ ├── BITS │ │ ├── .cvsignore │ │ ├── ElabTopdec+.sml │ │ ├── Elaboration+.sml │ │ ├── Elaboration+Ref.sml │ │ ├── ModuleEnvironments-no-refinements.sml │ │ ├── ModuleEnvironments.sml+ │ │ ├── RefDec.sml- │ │ ├── RefinedEnvironments-expC-helper.sml │ │ ├── RefinedEnvironments-expandConj-via-intersectRC.sml │ │ ├── RefinedEnvironments-home-performance-tests.sml │ │ ├── RefinedEnvironments-memo-true-with-assumptions.sml │ │ ├── RefinedEnvironments-simpler-slower-expandConj.sml │ │ ├── RefinedEnvironments-uwa-changes.sml │ │ ├── RefinedEnvironments.sml+ │ │ ├── SemiPermFinMap.sml │ │ └── infer_pat.sml │ ├── BasicIO.sml │ ├── Basis.sml │ ├── COMP-sig.sml │ ├── CRASH-sig.sml │ ├── CoerceRefInfo.sml │ ├── Comp.sml │ ├── Crash.sml │ ├── DEC_GRAMMAR.sml │ ├── DFInfo.sml │ ├── DF_INFO.sml │ ├── DIGRAPH-sig.sml │ ├── DecGrammar.sml │ ├── DiGraph.sml │ ├── ELABDEC-sig.sml │ ├── ELABTOPDEC-sig.sml │ ├── ELAB_INFO.sml │ ├── ENVIRONMENTS-sig.sml │ ├── ERROR_CODE.sml │ ├── ERROR_INFO.sml │ ├── ERROR_TRAVERSE.sml │ ├── E_OR_R_INFO.sml │ ├── ElabDec.sml │ ├── ElabInfo.sml │ ├── ElabTopdec.sml │ ├── Elaboration.sml │ ├── Environments.sml │ ├── EqFinMap.sml │ ├── EqSetList.sml │ ├── ErrorInfo.sml │ ├── ErrorTraverse.sml │ ├── Execution.sml │ ├── FINMAP-sig.sml │ ├── FINMAPEQ-sig.sml │ ├── FLAGS-sig.sml │ ├── FUNID-sig.sml │ ├── FinMap.sml │ ├── FinMapEq.sml │ ├── Flags.sml │ ├── FunId.sml │ ├── HashTable.sml │ ├── Heap.sml │ ├── IDENT-sig.sml │ ├── INFIXBASIS-sig.sml │ ├── IOStreams.sml │ ├── IO_STREAMS.sml │ ├── Ident.sml │ ├── InfixBasis.sml │ ├── IntDiGraph.sml │ ├── IntFinMap.sml │ ├── IntFinMapPT.sml │ ├── IntSet.sml │ ├── KIT_MONO_SET.sml │ ├── KitCompiler.sml │ ├── KitOnKit.sml │ ├── LAB-sig.sml │ ├── LIST_HACKS.sml │ ├── LIST_SORT.sml │ ├── Lab.sml │ ├── ListHacks.sml │ ├── ListSort.sml │ ├── ListTable.sml │ ├── MAP_DEC_INFO.sml │ ├── MODULE_ENVIRONMENTS.sml │ ├── MODULE_STATOBJECT.sml │ ├── MONO_FINMAP.sml │ ├── MapDecInfo.sml │ ├── ModuleEnvironments.sml │ ├── ModuleStatObject.sml │ ├── NatSet.sml │ ├── ORDSET.sml │ ├── OVERLOADING_INFO.sml │ ├── OrderFinMap.sml │ ├── OrderSet.sml │ ├── OverloadingInfo.sml │ ├── PARSE_ELAB.sml │ ├── PARSE_INFO.sml │ ├── PRETTYPRINT-sig.sml │ ├── ParseInfo.sml │ ├── PrettyPrint.sml │ ├── QUASI_ENV.sml │ ├── QuasiEnv.sml │ ├── QuasiMap.sml │ ├── QuasiSet.sml │ ├── REFDEC-sig.sml │ ├── REFINED_ENVIRONMENTS.sml │ ├── REFINE_ERROR_INFO.sml │ ├── REFINE_ERROR_TRAVERSE.sml │ ├── REFOBJECT-sig.sml │ ├── REFTOPDEC-sig.sml │ ├── REF_INFO.sml │ ├── REPORT-sig.sml │ ├── RedBlackTree.sml │ ├── RefDec.sml │ ├── RefInfo.sml │ ├── RefObject.sml │ ├── RefTopdec.sml │ ├── RefineCheck.sml │ ├── RefineErrorInfo.sml │ ├── RefineErrorTraverse.sml │ ├── RefineInfo.sml │ ├── RefinedEnvironments.sml │ ├── Report.sml │ ├── SCON-sig.sml │ ├── SCon.sml │ ├── SIGID-sig.sml │ ├── SMLofNJOnKit.sml │ ├── SORTCON-sig.sml │ ├── SORTED_FINMAP.sml │ ├── SORTNAME-sig.sml │ ├── SORTVAR-sig.sml │ ├── SORT_INFO.sml │ ├── SOURCE_INFO.sml │ ├── STATOBJECT-sig.sml │ ├── STRID-sig.sml │ ├── SigId.sml │ ├── SortCon.sml │ ├── SortInfo.sml │ ├── SortName.sml │ ├── SortVar.sml │ ├── SortedFinMap.sml │ ├── SourceInfo.sml │ ├── StatObject.sml │ ├── StrId.sml │ ├── TIMESTAMP-sig.sml │ ├── TOPDEC_GRAMMAR.sml │ ├── TOP_LEVEL_REPORT.sml │ ├── TYCON-sig.sml │ ├── TYNAME-sig.sml │ ├── TYPE_INFO.sml │ ├── TYVAR-sig.sml │ ├── Timestamp.sml │ ├── Timing.sml │ ├── TopLevelReport.sml │ ├── TopdecGrammar.sml │ ├── TyCon.sml │ ├── TyGoals.sml │ ├── TyName.sml │ ├── TyVar.sml │ ├── TypeInfo.sml │ ├── common.cm │ ├── common.pm │ ├── hash-table-twelf.sml │ ├── smlnj-lib.cm │ └── smlnj-lib │ │ └── Util │ │ ├── README │ │ ├── TODO │ │ ├── array-qsort-fn.sml │ │ ├── array-qsort.sml │ │ ├── array-sort-sig.sml │ │ ├── array2-sig.sml │ │ ├── array2.sml │ │ ├── atom-binary-map.sml │ │ ├── atom-binary-set.sml │ │ ├── atom-map.sml │ │ ├── atom-redblack-map.sml │ │ ├── atom-redblack-set.sml │ │ ├── atom-set.sml │ │ ├── atom-sig.sml │ │ ├── atom-table.sml │ │ ├── atom.sml │ │ ├── binary-map-fn.sml │ │ ├── binary-set-fn.sml │ │ ├── bit-array-sig.sml │ │ ├── bit-array.sml │ │ ├── bit-vector-sig.sml │ │ ├── bit-vector.sml │ │ ├── bsearch-fn.sml │ │ ├── char-map-sig.sml │ │ ├── char-map.sml │ │ ├── dynamic-array-fn.sml │ │ ├── dynamic-array-sig.sml │ │ ├── dynamic-array.sml │ │ ├── fifo-sig.sml │ │ ├── fifo.sml │ │ ├── fmt-fields.sml │ │ ├── format-sig.sml │ │ ├── format.sml │ │ ├── getopt-sig.sml │ │ ├── getopt.sml │ │ ├── graph-scc-sig.sml │ │ ├── graph-scc.sml │ │ ├── hash-key-sig.sml │ │ ├── hash-string.sml │ │ ├── hash-table-fn.sml │ │ ├── hash-table-rep.sml │ │ ├── hash-table-sig.sml │ │ ├── hash-table.sml │ │ ├── hash2-table-fn.sml │ │ ├── int-binary-map.sml │ │ ├── int-binary-set.sml │ │ ├── int-hash-table.sml │ │ ├── int-inf-sig.sml │ │ ├── int-inf.sml │ │ ├── int-list-map.sml │ │ ├── int-list-set.sml │ │ ├── int-redblack-map.sml │ │ ├── int-redblack-set.sml │ │ ├── io-util-sig.sml │ │ ├── io-util.sml │ │ ├── iterate-sig.sml │ │ ├── iterate.sml │ │ ├── keyword-fn.sml │ │ ├── lib-base-sig.sml │ │ ├── lib-base.sml │ │ ├── list-format-sig.sml │ │ ├── list-format.sml │ │ ├── list-map-fn.sml │ │ ├── list-mergesort.sml │ │ ├── list-set-fn.sml │ │ ├── list-xprod-sig.sml │ │ ├── list-xprod.sml │ │ ├── listsort-sig.sml │ │ ├── load │ │ ├── mono-array-fn.sml │ │ ├── mono-array-sort-sig.sml │ │ ├── mono-dynamic-array-sig.sml │ │ ├── mono-hash-table-sig.sml │ │ ├── mono-hash2-table-sig.sml │ │ ├── ord-key-sig.sml │ │ ├── ord-map-sig.sml │ │ ├── ord-set-sig.sml │ │ ├── parser-comb-sig.sml │ │ ├── parser-comb.sml │ │ ├── path-util-sig.sml │ │ ├── path-util.sml │ │ ├── plist-sig.sml │ │ ├── plist.sml │ │ ├── queue-sig.sml │ │ ├── queue.sml │ │ ├── rand-sig.sml │ │ ├── rand.sml │ │ ├── random-sig.sml │ │ ├── random.sml │ │ ├── real-format.sml │ │ ├── redblack-map-fn.sml │ │ ├── redblack-set-fn.sml │ │ ├── scan-sig.sml │ │ ├── scan.sml │ │ ├── simple-uref.sml │ │ ├── smlnj-lib.cm │ │ ├── splay-map-fn.sml │ │ ├── splay-set-fn.sml │ │ ├── splaytree-sig.sml │ │ ├── splaytree.sml │ │ ├── time-limit.sml │ │ ├── uref-sig.sml │ │ ├── uref.sml │ │ ├── word-hash-table.sml │ │ ├── word-redblack-map.sml │ │ └── word-redblack-set.sml ├── Edlib │ ├── .cvsignore │ ├── EDLIB_GENERAL.sml │ ├── EQ_SET.sml │ ├── Edlib.sml │ ├── EdlibGeneral.sml │ ├── EqSet.sml │ ├── LIST-sig.sml │ ├── LIST_PAIR.sml │ ├── LIST_SORT.sml │ ├── List.sml │ ├── ListPair.sml │ ├── ListSort.sml │ ├── ORDERING.sml │ ├── SET-sig.sml │ ├── Set.sml │ ├── edlib.cm │ └── edlib.pm ├── Manager │ ├── .cvsignore │ ├── ELAB_REPOSITORY.sml │ ├── ElabRepository.sml │ ├── FREE_IDS.sml │ ├── FreeIds.sml │ ├── INT_MODULES.sml │ ├── IntModules.sml │ ├── MANAGER-sig.sml │ ├── MANAGER_OBJECTS.sml │ ├── Manager.sml │ ├── ManagerObjects.sml │ ├── NAME-sig.sml │ ├── Name.sml │ ├── OPACITY_ELIM.sml │ ├── OpacityElim.sml │ ├── OpacityEnv.sml │ ├── PARSE_ELAB.sml │ └── ParseElab.sml ├── Parsing │ ├── .cvsignore │ ├── GRAMMAR_UTILS.sml │ ├── GrammarUtils.sml │ ├── HOOKS.sml │ ├── INFIXING-sig.sml │ ├── INFIX_STACK.sml │ ├── InfixStack.sml │ ├── Infixing.sml │ ├── LEX_BASICS.sml │ ├── LEX_UTILS.sml │ ├── LexBasics.sml │ ├── LexUtils.sml │ ├── MyBase.sml │ ├── PARSE-sig.sml │ ├── Parse.sml │ ├── Topdec.grm │ ├── Topdec.grm.sig │ ├── Topdec.grm.sml │ ├── Topdec.lex │ ├── Topdec.lex.sml │ └── parsing.cm ├── cm2mlb │ ├── MLton-LICENSE │ ├── Makefile │ ├── cm2mlb-map │ ├── cm2mlb.cm │ ├── cm2mlb.sml │ └── gen-mlb.sml ├── mkusefile.out ├── sources.cm └── sources.pm ├── test-examples ├── bugs │ ├── all-datatype-tyvars-generalised.sml │ ├── cant-specify-manifest-opaque-refinements.sml │ ├── opaque-refinements-of-datasorts-not-caught.sml │ ├── opaque-sig-mixed-defs-crashs.sml │ ├── opaque-sorts-clobber-variances.sml │ ├── robs-pattern-bug-min.sml │ ├── robs-pattern-bug.sml │ └── sigs-cant-specify-type-constr-variance.sml ├── fixed-bugs │ ├── README │ ├── abstract-lattice-wrong.sml │ ├── abstract-sort.sml │ ├── constructor-sorts.sml │ ├── crash-printing-functor-result-simplified.sml │ ├── crash-printing-functor-result.sml │ ├── datasort-qualified-constructors-wrong.sml │ ├── datasort-qualified-constructors.sml │ ├── datatype-in-functor-parameter-wrong-sortname.sml │ ├── datatype-names-missing-functor.sml │ ├── elabtopdec-bug.sml │ ├── field-swap-bug.sml │ ├── functor-where-bug.sml │ ├── ignored-wrong-in-all-covariant.sml │ ├── intersection-allowed-in-types.sml │ ├── map-conjunction-instance-fails.sml │ ├── no-lattice-printed.sml │ ├── opaque-refinements-generate-types.sml │ ├── parameter-unions-unsound.sml │ ├── qualified-top-level.sml │ ├── realiser-combines-datatypes.sml │ ├── sig-datatype-replication-crashes.sml │ ├── sort-printing.sml │ ├── top-level-val-sort-specs-propagate-to-other-files.sml │ ├── top-level-val-sort-specs-propagate-to-other-files2.sml │ ├── transparent-sig.sml │ ├── transparent-sig2.sml │ ├── tygoals-not-erased-in-refdec.sml │ ├── tyvarbug.sml │ ├── tyvars-error-not-reported-crashes.sml │ ├── tyvars-wrong.sml │ ├── underscore-patterns-not-considered-empty.sml │ ├── variances-are-matched-with-transparent.sml │ ├── variances-not-improved.sml │ ├── variances-not-improved2.sml │ ├── variances-not-matched.sml │ └── where.sml ├── fixed-performance-bugs │ ├── long-lists.sml │ ├── long-lists2.sml │ ├── ref-instance.sml │ ├── tarjan-break-up.sml │ ├── tarjan-expand-conj.sml │ ├── tarjan-expand-conj2.sml │ ├── tarjan-expand-xduce.q │ ├── tarjan-sig.sml │ ├── tarjan.cduce │ ├── tarjan.sml │ └── tarjan2.sml ├── fp-examples │ ├── minml-heap.sml │ ├── norm.sml │ ├── pairs.sml │ └── reg.sml ├── illustrative-examples │ ├── README │ ├── abstract-lattice-large.sml │ ├── abstract-lattice-linear.sml │ ├── abstract-lattice-redundant.sml │ ├── abstract-lattice.sml │ ├── backtracking.sml │ ├── constructor-intersections.sml │ ├── constructor-sorts.sml │ ├── datasort-extrusion.sml │ ├── datasort-no-extrusion-let.sml │ ├── distr-via-datasort.sml │ ├── exception-matching.sml │ ├── first-warnings.sml │ ├── functor-list.sml │ ├── functor-monomorphic-list.sml │ ├── ignored-allowed-in-all-covariant.sml │ ├── improved-inv-princ.sml │ ├── improved-inv-princ2.sml │ ├── interesting-functor.sml │ ├── intersection-printing.sml │ ├── intersection-realisation.sml │ ├── large-lattice-nat.sml │ ├── large-lattice-tree.sml │ ├── large-lattice.sml │ ├── lattice-consistency-correct.sml │ ├── lattice-consistency.sml │ ├── mono-list.sml │ ├── multiple-bindings.sml │ ├── no-case-analysis.cduce │ ├── no-need-for-datasort-replication.sml │ ├── non-covariant-opt.sml │ ├── parameter-unions.sml │ ├── poly-recursion-allowed.sml │ ├── poly-recursion-allowed2.sml │ ├── poly-recursion-allowed3.sml │ ├── polypattern-subtraction.sml │ ├── promote-sort-to-type.sml │ ├── ref-pat-multiple.sml │ ├── ref-pat-subtract.sml │ ├── ref-pat.sml │ ├── slow-exp-instances.sml │ ├── slow-pattern-instances.sml │ ├── slow-pattern-instances2.sml │ ├── unsound-ref.sml │ └── without-improved-inv-princ.sml ├── language-constructs │ ├── assume.sml │ ├── comma-valspec.sml │ ├── datasort-qualified-constructors.sml │ ├── datasort-spec-error.sml │ ├── datasort-spec.sml │ ├── datatype-replication.sml │ ├── functor-test-with-error.sml │ ├── functor-test.sml │ ├── pattern-sort-bound.sml │ ├── poly-test.sml │ ├── record-sorts.sml │ ├── sharing-test.sml │ ├── sig-datatype-replication.sml │ ├── sig-match.sml │ ├── sigdatatype.sml │ ├── sigpoly.sml │ ├── sigsort-sub.sml │ ├── sigtest.sml │ ├── sort-scheme-explicit-instantiators.sml │ ├── struct-assume.sml │ ├── structure-sharing-test.sml │ ├── subsort-spec.sml │ └── wheretype.sml ├── large-examples │ ├── .cvsignore │ ├── okasaki-rbt.sml │ ├── parse-all-datasorts.sml │ ├── parse-all-needs-sorts-for-error.sml │ ├── parse-all-with-sorts-for-error.sml │ ├── parsing │ │ ├── README │ │ ├── intsyn-datasorts.sml │ │ ├── intsyn.sml │ │ ├── parse-lexer.sml │ │ ├── parse-lib.sml │ │ ├── parse-stream.sml │ │ ├── parse-term.sml │ │ ├── start-of-parse-all.sml │ │ └── start2-of-parse-all.sml │ ├── red-black-datasorts.sml │ ├── red-black-needs-add-unions.sml │ ├── red-black-no-sig.sml │ ├── red-black-okasaki.sml │ ├── red-black-small-balanced.sml │ ├── red-black-transparent.sml │ ├── red-black.CDuce │ ├── red-black.sml │ ├── syntaxeditor.sml │ ├── tarjan-stacks.sml │ └── twelf-parsing │ │ ├── .cvsignore │ │ ├── intsyn.sig │ │ ├── lexer.sig │ │ ├── names.sig │ │ ├── parse-term.fun │ │ ├── parse-term.sig │ │ ├── parsing.sig │ │ ├── paths.sig │ │ ├── recon-term.sig │ │ ├── sortcheck-usefile.sml │ │ └── stream.sml ├── lisp-monotype │ ├── lisp-monotype-new-default.sml │ └── lisp-monotype.sml ├── old-examples │ └── small.sml ├── performance-bugs │ └── RefinedEnvironments-with-tarjan-datasorts.sml ├── possible-extensions │ └── tygoals-from-sigs.sml ├── possible-improvements │ ├── instantiators-annotation.sml │ ├── opaque-all-covariant-unsound.sml │ └── sig-datatype-replication-shadowing.sml ├── robs-DictTable.sml ├── robs-lex-error.sml ├── small │ └── accept-both-yi.sml └── thesis-examples │ ├── bitstring-most-sig-first.sml │ ├── bitstring-most-sig-first2.sml │ ├── bitstring.sml │ ├── intro-ref-unsound.sml │ ├── layered-patterns.sml │ ├── monotype-misc.sml │ ├── polymorphic-recursion.sml │ ├── sharing.sml │ ├── sig-matching-struct.sml │ ├── sig.sml │ └── struct.sml └── useme.sml /.cvsignore: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- 1 | syntax: glob 2 | 3 | .cm/* -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/COPYING -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/README -------------------------------------------------------------------------------- /basisstubs/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/.cvsignore -------------------------------------------------------------------------------- /basisstubs/LOAD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/LOAD -------------------------------------------------------------------------------- /basisstubs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/README -------------------------------------------------------------------------------- /basisstubs/basislib.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/basislib.pm -------------------------------------------------------------------------------- /basisstubs/current/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | *.sml~ -------------------------------------------------------------------------------- /basisstubs/current/ARRAY-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/ARRAY-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Array.sml -------------------------------------------------------------------------------- /basisstubs/current/BIT_FLAGS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/BIT_FLAGS.sml -------------------------------------------------------------------------------- /basisstubs/current/BOOL-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/BOOL-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/BYTE-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/BYTE-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/BitFlags.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/BitFlags.sml -------------------------------------------------------------------------------- /basisstubs/current/Bool.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Bool.sml -------------------------------------------------------------------------------- /basisstubs/current/Byte.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Byte.sml -------------------------------------------------------------------------------- /basisstubs/current/CHAR-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/CHAR-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/COMMAND_LINE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/COMMAND_LINE.sml -------------------------------------------------------------------------------- /basisstubs/current/CharVector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/CharVector.sml -------------------------------------------------------------------------------- /basisstubs/current/CommandLine.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/CommandLine.sml -------------------------------------------------------------------------------- /basisstubs/current/DATE-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/DATE-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Date.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Date.sml -------------------------------------------------------------------------------- /basisstubs/current/GENERAL-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/GENERAL-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/General.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/General.sml -------------------------------------------------------------------------------- /basisstubs/current/INTEGER.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/INTEGER.sml -------------------------------------------------------------------------------- /basisstubs/current/IO-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/IO-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/LIST-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/LIST-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/LIST_PAIR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/LIST_PAIR.sml -------------------------------------------------------------------------------- /basisstubs/current/List.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/List.sml -------------------------------------------------------------------------------- /basisstubs/current/ListPair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/ListPair.sml -------------------------------------------------------------------------------- /basisstubs/current/MATH-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/MATH-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/MONO_ARRAY.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/MONO_ARRAY.sml -------------------------------------------------------------------------------- /basisstubs/current/MONO_ARRAY_SLICE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/MONO_ARRAY_SLICE.sml -------------------------------------------------------------------------------- /basisstubs/current/MONO_VECTOR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/MONO_VECTOR.sml -------------------------------------------------------------------------------- /basisstubs/current/MONO_VECTOR_SLICE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/MONO_VECTOR_SLICE.sml -------------------------------------------------------------------------------- /basisstubs/current/Math.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Math.sml -------------------------------------------------------------------------------- /basisstubs/current/OPTION-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OPTION-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/OS-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OS-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/OS_FILE_SYS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OS_FILE_SYS.sml -------------------------------------------------------------------------------- /basisstubs/current/OS_IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OS_IO.sml -------------------------------------------------------------------------------- /basisstubs/current/OS_PATH.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OS_PATH.sml -------------------------------------------------------------------------------- /basisstubs/current/OS_PROCESS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/OS_PROCESS.sml -------------------------------------------------------------------------------- /basisstubs/current/Option.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Option.sml -------------------------------------------------------------------------------- /basisstubs/current/POSIX.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/POSIX.sml -------------------------------------------------------------------------------- /basisstubs/current/Path.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Path.sml -------------------------------------------------------------------------------- /basisstubs/current/REAL-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/REAL-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Real.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Real.sml -------------------------------------------------------------------------------- /basisstubs/current/SML90-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/SML90-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/STRING-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/STRING-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/STRING_CVT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/STRING_CVT.sml -------------------------------------------------------------------------------- /basisstubs/current/STR_BASE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/STR_BASE.sml -------------------------------------------------------------------------------- /basisstubs/current/SUBSTRING-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/SUBSTRING-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Sml90.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Sml90.sml -------------------------------------------------------------------------------- /basisstubs/current/StringCvt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/StringCvt.sml -------------------------------------------------------------------------------- /basisstubs/current/TIME-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/TIME-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/TIMER-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/TIMER-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Time.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Time.sml -------------------------------------------------------------------------------- /basisstubs/current/Timer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Timer.sml -------------------------------------------------------------------------------- /basisstubs/current/VECTOR-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/VECTOR-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/Vector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/Vector.sml -------------------------------------------------------------------------------- /basisstubs/current/WORD-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/WORD-sig.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/IEEE-real.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/IEEE-real.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/IEEE-real.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/IEEE-real.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/array-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/array-slice.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/array2.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/array2.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/array2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/array2.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/int-inf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/int-inf.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/int-inf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/int-inf.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/bin-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/bin-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/bin-prim-io.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/bin-prim-io.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/imperative-io.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/imperative-io.fun -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/imperative-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/imperative-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/prim-io.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/prim-io.fun -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/prim-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/prim-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/stream-io.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/stream-io.fun -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/stream-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/stream-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/text-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/text-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/text-prim-io.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/text-prim-io.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/io/text-stream-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/io/text-stream-io.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/mono-array2.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/mono-array2.fun -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/mono-array2.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/mono-array2.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/generic-sock.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/generic-sock.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/generic-sock.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/generic-sock.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/inet-sock.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/inet-sock.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/inet-sock.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/inet-sock.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-host-db.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-host-db.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-host-db.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-host-db.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-prot-db.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-prot-db.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-prot-db.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-prot-db.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-serv-db.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-serv-db.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net-serv-db.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net-serv-db.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/net.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/net.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/socket.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/socket.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/socket.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/socket.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/unix-sock.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/unix-sock.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/net/unix-sock.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/net/unix-sock.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/pack-real.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/pack-real.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/pack-word.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/pack-word.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/pack-word.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/pack-word.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/text.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/text.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/text.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/text.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/unix.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/unix.sig -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/unix.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/unix.sml -------------------------------------------------------------------------------- /basisstubs/current/from-mlton/vector-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/from-mlton/vector-slice.sig -------------------------------------------------------------------------------- /basisstubs/current/useme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/useme -------------------------------------------------------------------------------- /basisstubs/current/windows.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/current/windows.sml -------------------------------------------------------------------------------- /basisstubs/kit.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/kit.script -------------------------------------------------------------------------------- /basisstubs/missing.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/missing.txt -------------------------------------------------------------------------------- /basisstubs/sigs/ARRAY.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/ARRAY.sml -------------------------------------------------------------------------------- /basisstubs/sigs/BIN_IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/BIN_IO.sml -------------------------------------------------------------------------------- /basisstubs/sigs/BOOL.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/BOOL.sml -------------------------------------------------------------------------------- /basisstubs/sigs/BYTE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/BYTE.sml -------------------------------------------------------------------------------- /basisstubs/sigs/CHAR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/CHAR.sml -------------------------------------------------------------------------------- /basisstubs/sigs/COMMAND_LINE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/COMMAND_LINE.sml -------------------------------------------------------------------------------- /basisstubs/sigs/DATE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/DATE.sml -------------------------------------------------------------------------------- /basisstubs/sigs/GENERAL.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/GENERAL.sml -------------------------------------------------------------------------------- /basisstubs/sigs/INTEGER.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/INTEGER.sml -------------------------------------------------------------------------------- /basisstubs/sigs/IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/IO.sml -------------------------------------------------------------------------------- /basisstubs/sigs/LIST.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/LIST.sml -------------------------------------------------------------------------------- /basisstubs/sigs/LIST_PAIR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/LIST_PAIR.sml -------------------------------------------------------------------------------- /basisstubs/sigs/LIST_SORT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/LIST_SORT.sml -------------------------------------------------------------------------------- /basisstubs/sigs/MATH.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/MATH.sml -------------------------------------------------------------------------------- /basisstubs/sigs/MONO_ARRAY.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/MONO_ARRAY.sml -------------------------------------------------------------------------------- /basisstubs/sigs/MONO_VECTOR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/MONO_VECTOR.sml -------------------------------------------------------------------------------- /basisstubs/sigs/OPTION.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/OPTION.sml -------------------------------------------------------------------------------- /basisstubs/sigs/OS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/OS.sml -------------------------------------------------------------------------------- /basisstubs/sigs/OS_FILE_SYS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/OS_FILE_SYS.sml -------------------------------------------------------------------------------- /basisstubs/sigs/OS_PATH.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/OS_PATH.sml -------------------------------------------------------------------------------- /basisstubs/sigs/OS_PROCESS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/OS_PROCESS.sml -------------------------------------------------------------------------------- /basisstubs/sigs/RANDOM.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/RANDOM.sml -------------------------------------------------------------------------------- /basisstubs/sigs/REAL.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/REAL.sml -------------------------------------------------------------------------------- /basisstubs/sigs/SML90.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/SML90.sml -------------------------------------------------------------------------------- /basisstubs/sigs/STRING.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/STRING.sml -------------------------------------------------------------------------------- /basisstubs/sigs/STRING_CVT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/STRING_CVT.sml -------------------------------------------------------------------------------- /basisstubs/sigs/STR_BASE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/STR_BASE.sml -------------------------------------------------------------------------------- /basisstubs/sigs/SUBSTRING.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/SUBSTRING.sml -------------------------------------------------------------------------------- /basisstubs/sigs/TEXT_IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/TEXT_IO.sml -------------------------------------------------------------------------------- /basisstubs/sigs/TIME.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/TIME.sml -------------------------------------------------------------------------------- /basisstubs/sigs/TIMER.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/TIMER.sml -------------------------------------------------------------------------------- /basisstubs/sigs/VECTOR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/VECTOR.sml -------------------------------------------------------------------------------- /basisstubs/sigs/WORD.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/WORD.sml -------------------------------------------------------------------------------- /basisstubs/sigs/mkstructstub.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/mkstructstub.awk -------------------------------------------------------------------------------- /basisstubs/sigs/useme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/useme -------------------------------------------------------------------------------- /basisstubs/sigs/useme2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/basisstubs/sigs/useme2 -------------------------------------------------------------------------------- /bin/.heap/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/bin/.heap/README -------------------------------------------------------------------------------- /bin/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/bin/README -------------------------------------------------------------------------------- /emacs/sml-refinements.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/emacs/sml-refinements.el -------------------------------------------------------------------------------- /lib/basis/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | *.mlb~ -------------------------------------------------------------------------------- /lib/basis/basis.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/basis/basis.mlb -------------------------------------------------------------------------------- /lib/basis/pervasive.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/basis/pervasive.mlb -------------------------------------------------------------------------------- /lib/mlyacc-lib/base.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/base.sig -------------------------------------------------------------------------------- /lib/mlyacc-lib/join.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/join.sml -------------------------------------------------------------------------------- /lib/mlyacc-lib/lrtable.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/lrtable.sml -------------------------------------------------------------------------------- /lib/mlyacc-lib/ml-yacc-lib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/ml-yacc-lib.cm -------------------------------------------------------------------------------- /lib/mlyacc-lib/mlyacc-lib.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/mlyacc-lib.mlb -------------------------------------------------------------------------------- /lib/mlyacc-lib/parser1.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/parser1.sml -------------------------------------------------------------------------------- /lib/mlyacc-lib/parser2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/parser2.sml -------------------------------------------------------------------------------- /lib/mlyacc-lib/stream.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/mlyacc-lib/stream.sml -------------------------------------------------------------------------------- /lib/refined-basis/basis.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/refined-basis/basis.mlb -------------------------------------------------------------------------------- /lib/refined-basis/bool.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/refined-basis/bool.sml -------------------------------------------------------------------------------- /lib/refined-basis/list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/refined-basis/list.sml -------------------------------------------------------------------------------- /lib/refined-basis/option.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/refined-basis/option.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/PP/pp-lib.mlb: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/BinaryMapFn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/BinaryMapFn.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/BinarySetFn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/BinarySetFn.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/GET_OPT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/GET_OPT.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/HASH_TABLE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/HASH_TABLE.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/HashString.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/HashString.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/ORD_KEY.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/ORD_KEY.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/ORD_MAP.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/ORD_MAP.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/ORD_SET.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/ORD_SET.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/SYMBOL.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/SYMBOL.sml -------------------------------------------------------------------------------- /lib/smlnj-lib/Util/smlnj-lib.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/lib/smlnj-lib/Util/smlnj-lib.mlb -------------------------------------------------------------------------------- /mlb-path-map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/mlb-path-map -------------------------------------------------------------------------------- /src/.cvsignore: -------------------------------------------------------------------------------- 1 | .config PM 2 | abcd 3 | errors.log 4 | usefileCM.sml 5 | -------------------------------------------------------------------------------- /src/Cidre/BINARYMAP-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/BINARYMAP-sig.sml -------------------------------------------------------------------------------- /src/Cidre/Binarymap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/Binarymap.sml -------------------------------------------------------------------------------- /src/Cidre/CONFIGURATION-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/CONFIGURATION-sig.sml -------------------------------------------------------------------------------- /src/Cidre/Cidre.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/Cidre.sml -------------------------------------------------------------------------------- /src/Cidre/Configuration.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/Configuration.sml -------------------------------------------------------------------------------- /src/Cidre/ENVIRONMENT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/ENVIRONMENT-sig.sml -------------------------------------------------------------------------------- /src/Cidre/Environment.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/Environment.sml -------------------------------------------------------------------------------- /src/Cidre/InfixLib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/InfixLib.sml -------------------------------------------------------------------------------- /src/Cidre/MLB_FILESYS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/MLB_FILESYS.sml -------------------------------------------------------------------------------- /src/Cidre/MLB_PROJECT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/MLB_PROJECT.sml -------------------------------------------------------------------------------- /src/Cidre/MlbFileSys.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/MlbFileSys.sml -------------------------------------------------------------------------------- /src/Cidre/MlbProject.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/MlbProject.sml -------------------------------------------------------------------------------- /src/Cidre/MlbUtil.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/MlbUtil.sml -------------------------------------------------------------------------------- /src/Cidre/cidre.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/cidre.cm -------------------------------------------------------------------------------- /src/Cidre/environment.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/environment.mlb -------------------------------------------------------------------------------- /src/Cidre/test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Cidre/test.mlb -------------------------------------------------------------------------------- /src/Common/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/.cvsignore -------------------------------------------------------------------------------- /src/Common/BASIC_IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BASIC_IO.sml -------------------------------------------------------------------------------- /src/Common/BASIS-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BASIS-sig.sml -------------------------------------------------------------------------------- /src/Common/BITS/.cvsignore: -------------------------------------------------------------------------------- 1 | Copy\ of\ RefinedEnvironments.sml -------------------------------------------------------------------------------- /src/Common/BITS/ElabTopdec+.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/ElabTopdec+.sml -------------------------------------------------------------------------------- /src/Common/BITS/Elaboration+.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/Elaboration+.sml -------------------------------------------------------------------------------- /src/Common/BITS/Elaboration+Ref.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/Elaboration+Ref.sml -------------------------------------------------------------------------------- /src/Common/BITS/ModuleEnvironments-no-refinements.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/ModuleEnvironments-no-refinements.sml -------------------------------------------------------------------------------- /src/Common/BITS/ModuleEnvironments.sml+: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/ModuleEnvironments.sml+ -------------------------------------------------------------------------------- /src/Common/BITS/RefDec.sml-: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefDec.sml- -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-expC-helper.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-expC-helper.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-expandConj-via-intersectRC.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-expandConj-via-intersectRC.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-home-performance-tests.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-home-performance-tests.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-memo-true-with-assumptions.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-memo-true-with-assumptions.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-simpler-slower-expandConj.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-simpler-slower-expandConj.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments-uwa-changes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments-uwa-changes.sml -------------------------------------------------------------------------------- /src/Common/BITS/RefinedEnvironments.sml+: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/RefinedEnvironments.sml+ -------------------------------------------------------------------------------- /src/Common/BITS/SemiPermFinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/SemiPermFinMap.sml -------------------------------------------------------------------------------- /src/Common/BITS/infer_pat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BITS/infer_pat.sml -------------------------------------------------------------------------------- /src/Common/BasicIO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/BasicIO.sml -------------------------------------------------------------------------------- /src/Common/Basis.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Basis.sml -------------------------------------------------------------------------------- /src/Common/COMP-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/COMP-sig.sml -------------------------------------------------------------------------------- /src/Common/CRASH-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/CRASH-sig.sml -------------------------------------------------------------------------------- /src/Common/CoerceRefInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/CoerceRefInfo.sml -------------------------------------------------------------------------------- /src/Common/Comp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Comp.sml -------------------------------------------------------------------------------- /src/Common/Crash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Crash.sml -------------------------------------------------------------------------------- /src/Common/DEC_GRAMMAR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DEC_GRAMMAR.sml -------------------------------------------------------------------------------- /src/Common/DFInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DFInfo.sml -------------------------------------------------------------------------------- /src/Common/DF_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DF_INFO.sml -------------------------------------------------------------------------------- /src/Common/DIGRAPH-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DIGRAPH-sig.sml -------------------------------------------------------------------------------- /src/Common/DecGrammar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DecGrammar.sml -------------------------------------------------------------------------------- /src/Common/DiGraph.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/DiGraph.sml -------------------------------------------------------------------------------- /src/Common/ELABDEC-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ELABDEC-sig.sml -------------------------------------------------------------------------------- /src/Common/ELABTOPDEC-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ELABTOPDEC-sig.sml -------------------------------------------------------------------------------- /src/Common/ELAB_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ELAB_INFO.sml -------------------------------------------------------------------------------- /src/Common/ENVIRONMENTS-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ENVIRONMENTS-sig.sml -------------------------------------------------------------------------------- /src/Common/ERROR_CODE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ERROR_CODE.sml -------------------------------------------------------------------------------- /src/Common/ERROR_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ERROR_INFO.sml -------------------------------------------------------------------------------- /src/Common/ERROR_TRAVERSE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ERROR_TRAVERSE.sml -------------------------------------------------------------------------------- /src/Common/E_OR_R_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/E_OR_R_INFO.sml -------------------------------------------------------------------------------- /src/Common/ElabDec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ElabDec.sml -------------------------------------------------------------------------------- /src/Common/ElabInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ElabInfo.sml -------------------------------------------------------------------------------- /src/Common/ElabTopdec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ElabTopdec.sml -------------------------------------------------------------------------------- /src/Common/Elaboration.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Elaboration.sml -------------------------------------------------------------------------------- /src/Common/Environments.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Environments.sml -------------------------------------------------------------------------------- /src/Common/EqFinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/EqFinMap.sml -------------------------------------------------------------------------------- /src/Common/EqSetList.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/EqSetList.sml -------------------------------------------------------------------------------- /src/Common/ErrorInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ErrorInfo.sml -------------------------------------------------------------------------------- /src/Common/ErrorTraverse.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ErrorTraverse.sml -------------------------------------------------------------------------------- /src/Common/Execution.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Execution.sml -------------------------------------------------------------------------------- /src/Common/FINMAP-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FINMAP-sig.sml -------------------------------------------------------------------------------- /src/Common/FINMAPEQ-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FINMAPEQ-sig.sml -------------------------------------------------------------------------------- /src/Common/FLAGS-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FLAGS-sig.sml -------------------------------------------------------------------------------- /src/Common/FUNID-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FUNID-sig.sml -------------------------------------------------------------------------------- /src/Common/FinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FinMap.sml -------------------------------------------------------------------------------- /src/Common/FinMapEq.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FinMapEq.sml -------------------------------------------------------------------------------- /src/Common/Flags.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Flags.sml -------------------------------------------------------------------------------- /src/Common/FunId.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/FunId.sml -------------------------------------------------------------------------------- /src/Common/HashTable.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/HashTable.sml -------------------------------------------------------------------------------- /src/Common/Heap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Heap.sml -------------------------------------------------------------------------------- /src/Common/IDENT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IDENT-sig.sml -------------------------------------------------------------------------------- /src/Common/INFIXBASIS-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/INFIXBASIS-sig.sml -------------------------------------------------------------------------------- /src/Common/IOStreams.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IOStreams.sml -------------------------------------------------------------------------------- /src/Common/IO_STREAMS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IO_STREAMS.sml -------------------------------------------------------------------------------- /src/Common/Ident.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Ident.sml -------------------------------------------------------------------------------- /src/Common/InfixBasis.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/InfixBasis.sml -------------------------------------------------------------------------------- /src/Common/IntDiGraph.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IntDiGraph.sml -------------------------------------------------------------------------------- /src/Common/IntFinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IntFinMap.sml -------------------------------------------------------------------------------- /src/Common/IntFinMapPT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IntFinMapPT.sml -------------------------------------------------------------------------------- /src/Common/IntSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/IntSet.sml -------------------------------------------------------------------------------- /src/Common/KIT_MONO_SET.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/KIT_MONO_SET.sml -------------------------------------------------------------------------------- /src/Common/KitCompiler.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/KitCompiler.sml -------------------------------------------------------------------------------- /src/Common/KitOnKit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/KitOnKit.sml -------------------------------------------------------------------------------- /src/Common/LAB-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/LAB-sig.sml -------------------------------------------------------------------------------- /src/Common/LIST_HACKS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/LIST_HACKS.sml -------------------------------------------------------------------------------- /src/Common/LIST_SORT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/LIST_SORT.sml -------------------------------------------------------------------------------- /src/Common/Lab.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Lab.sml -------------------------------------------------------------------------------- /src/Common/ListHacks.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ListHacks.sml -------------------------------------------------------------------------------- /src/Common/ListSort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ListSort.sml -------------------------------------------------------------------------------- /src/Common/ListTable.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ListTable.sml -------------------------------------------------------------------------------- /src/Common/MAP_DEC_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/MAP_DEC_INFO.sml -------------------------------------------------------------------------------- /src/Common/MODULE_ENVIRONMENTS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/MODULE_ENVIRONMENTS.sml -------------------------------------------------------------------------------- /src/Common/MODULE_STATOBJECT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/MODULE_STATOBJECT.sml -------------------------------------------------------------------------------- /src/Common/MONO_FINMAP.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/MONO_FINMAP.sml -------------------------------------------------------------------------------- /src/Common/MapDecInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/MapDecInfo.sml -------------------------------------------------------------------------------- /src/Common/ModuleEnvironments.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ModuleEnvironments.sml -------------------------------------------------------------------------------- /src/Common/ModuleStatObject.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ModuleStatObject.sml -------------------------------------------------------------------------------- /src/Common/NatSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/NatSet.sml -------------------------------------------------------------------------------- /src/Common/ORDSET.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ORDSET.sml -------------------------------------------------------------------------------- /src/Common/OVERLOADING_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/OVERLOADING_INFO.sml -------------------------------------------------------------------------------- /src/Common/OrderFinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/OrderFinMap.sml -------------------------------------------------------------------------------- /src/Common/OrderSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/OrderSet.sml -------------------------------------------------------------------------------- /src/Common/OverloadingInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/OverloadingInfo.sml -------------------------------------------------------------------------------- /src/Common/PARSE_ELAB.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/PARSE_ELAB.sml -------------------------------------------------------------------------------- /src/Common/PARSE_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/PARSE_INFO.sml -------------------------------------------------------------------------------- /src/Common/PRETTYPRINT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/PRETTYPRINT-sig.sml -------------------------------------------------------------------------------- /src/Common/ParseInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/ParseInfo.sml -------------------------------------------------------------------------------- /src/Common/PrettyPrint.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/PrettyPrint.sml -------------------------------------------------------------------------------- /src/Common/QUASI_ENV.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/QUASI_ENV.sml -------------------------------------------------------------------------------- /src/Common/QuasiEnv.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/QuasiEnv.sml -------------------------------------------------------------------------------- /src/Common/QuasiMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/QuasiMap.sml -------------------------------------------------------------------------------- /src/Common/QuasiSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/QuasiSet.sml -------------------------------------------------------------------------------- /src/Common/REFDEC-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFDEC-sig.sml -------------------------------------------------------------------------------- /src/Common/REFINED_ENVIRONMENTS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFINED_ENVIRONMENTS.sml -------------------------------------------------------------------------------- /src/Common/REFINE_ERROR_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFINE_ERROR_INFO.sml -------------------------------------------------------------------------------- /src/Common/REFINE_ERROR_TRAVERSE.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFINE_ERROR_TRAVERSE.sml -------------------------------------------------------------------------------- /src/Common/REFOBJECT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFOBJECT-sig.sml -------------------------------------------------------------------------------- /src/Common/REFTOPDEC-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REFTOPDEC-sig.sml -------------------------------------------------------------------------------- /src/Common/REF_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REF_INFO.sml -------------------------------------------------------------------------------- /src/Common/REPORT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/REPORT-sig.sml -------------------------------------------------------------------------------- /src/Common/RedBlackTree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RedBlackTree.sml -------------------------------------------------------------------------------- /src/Common/RefDec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefDec.sml -------------------------------------------------------------------------------- /src/Common/RefInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefInfo.sml -------------------------------------------------------------------------------- /src/Common/RefObject.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefObject.sml -------------------------------------------------------------------------------- /src/Common/RefTopdec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefTopdec.sml -------------------------------------------------------------------------------- /src/Common/RefineCheck.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefineCheck.sml -------------------------------------------------------------------------------- /src/Common/RefineErrorInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefineErrorInfo.sml -------------------------------------------------------------------------------- /src/Common/RefineErrorTraverse.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefineErrorTraverse.sml -------------------------------------------------------------------------------- /src/Common/RefineInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefineInfo.sml -------------------------------------------------------------------------------- /src/Common/RefinedEnvironments.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/RefinedEnvironments.sml -------------------------------------------------------------------------------- /src/Common/Report.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Report.sml -------------------------------------------------------------------------------- /src/Common/SCON-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SCON-sig.sml -------------------------------------------------------------------------------- /src/Common/SCon.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SCon.sml -------------------------------------------------------------------------------- /src/Common/SIGID-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SIGID-sig.sml -------------------------------------------------------------------------------- /src/Common/SMLofNJOnKit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SMLofNJOnKit.sml -------------------------------------------------------------------------------- /src/Common/SORTCON-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SORTCON-sig.sml -------------------------------------------------------------------------------- /src/Common/SORTED_FINMAP.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SORTED_FINMAP.sml -------------------------------------------------------------------------------- /src/Common/SORTNAME-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SORTNAME-sig.sml -------------------------------------------------------------------------------- /src/Common/SORTVAR-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SORTVAR-sig.sml -------------------------------------------------------------------------------- /src/Common/SORT_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SORT_INFO.sml -------------------------------------------------------------------------------- /src/Common/SOURCE_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SOURCE_INFO.sml -------------------------------------------------------------------------------- /src/Common/STATOBJECT-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/STATOBJECT-sig.sml -------------------------------------------------------------------------------- /src/Common/STRID-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/STRID-sig.sml -------------------------------------------------------------------------------- /src/Common/SigId.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SigId.sml -------------------------------------------------------------------------------- /src/Common/SortCon.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SortCon.sml -------------------------------------------------------------------------------- /src/Common/SortInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SortInfo.sml -------------------------------------------------------------------------------- /src/Common/SortName.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SortName.sml -------------------------------------------------------------------------------- /src/Common/SortVar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SortVar.sml -------------------------------------------------------------------------------- /src/Common/SortedFinMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SortedFinMap.sml -------------------------------------------------------------------------------- /src/Common/SourceInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/SourceInfo.sml -------------------------------------------------------------------------------- /src/Common/StatObject.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/StatObject.sml -------------------------------------------------------------------------------- /src/Common/StrId.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/StrId.sml -------------------------------------------------------------------------------- /src/Common/TIMESTAMP-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TIMESTAMP-sig.sml -------------------------------------------------------------------------------- /src/Common/TOPDEC_GRAMMAR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TOPDEC_GRAMMAR.sml -------------------------------------------------------------------------------- /src/Common/TOP_LEVEL_REPORT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TOP_LEVEL_REPORT.sml -------------------------------------------------------------------------------- /src/Common/TYCON-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TYCON-sig.sml -------------------------------------------------------------------------------- /src/Common/TYNAME-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TYNAME-sig.sml -------------------------------------------------------------------------------- /src/Common/TYPE_INFO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TYPE_INFO.sml -------------------------------------------------------------------------------- /src/Common/TYVAR-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TYVAR-sig.sml -------------------------------------------------------------------------------- /src/Common/Timestamp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Timestamp.sml -------------------------------------------------------------------------------- /src/Common/Timing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/Timing.sml -------------------------------------------------------------------------------- /src/Common/TopLevelReport.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TopLevelReport.sml -------------------------------------------------------------------------------- /src/Common/TopdecGrammar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TopdecGrammar.sml -------------------------------------------------------------------------------- /src/Common/TyCon.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TyCon.sml -------------------------------------------------------------------------------- /src/Common/TyGoals.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TyGoals.sml -------------------------------------------------------------------------------- /src/Common/TyName.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TyName.sml -------------------------------------------------------------------------------- /src/Common/TyVar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TyVar.sml -------------------------------------------------------------------------------- /src/Common/TypeInfo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/TypeInfo.sml -------------------------------------------------------------------------------- /src/Common/common.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/common.cm -------------------------------------------------------------------------------- /src/Common/common.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/common.pm -------------------------------------------------------------------------------- /src/Common/hash-table-twelf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/hash-table-twelf.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib.cm -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/README -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/TODO -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/array-qsort-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/array-qsort-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/array-qsort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/array-qsort.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/array-sort-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/array-sort-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/array2-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/array2-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/array2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/array2.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-binary-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-binary-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-binary-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-binary-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-redblack-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-redblack-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-redblack-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-redblack-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom-table.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/atom.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/atom.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/binary-map-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/binary-map-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/binary-set-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/binary-set-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/bit-array-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/bit-array-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/bit-array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/bit-array.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/bit-vector-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/bit-vector-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/bit-vector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/bit-vector.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/bsearch-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/bsearch-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/char-map-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/char-map-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/char-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/char-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/dynamic-array-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/dynamic-array-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/dynamic-array-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/dynamic-array-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/dynamic-array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/dynamic-array.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/fifo-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/fifo-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/fifo.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/fifo.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/fmt-fields.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/fmt-fields.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/format-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/format-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/format.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/format.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/getopt-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/getopt-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/getopt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/getopt.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/graph-scc-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/graph-scc-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/graph-scc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/graph-scc.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-key-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-key-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-string.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-string.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-table-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-table-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-table-rep.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-table-rep.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-table-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-table-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash-table.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/hash2-table-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/hash2-table-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-binary-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-binary-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-binary-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-binary-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-hash-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-hash-table.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-inf-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-inf-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-inf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-inf.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-list-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-list-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-list-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-list-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-redblack-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-redblack-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/int-redblack-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/int-redblack-set.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/io-util-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/io-util-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/io-util.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/io-util.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/iterate-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/iterate-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/iterate.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/iterate.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/keyword-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/keyword-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/lib-base-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/lib-base-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/lib-base.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/lib-base.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-format-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-format-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-format.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-format.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-map-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-map-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-mergesort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-mergesort.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-set-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-set-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-xprod-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-xprod-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/list-xprod.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/list-xprod.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/listsort-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/listsort-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/load: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/load -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/mono-array-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/mono-array-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/mono-array-sort-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/mono-array-sort-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/mono-dynamic-array-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/mono-dynamic-array-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/mono-hash-table-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/mono-hash-table-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/mono-hash2-table-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/mono-hash2-table-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/ord-key-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/ord-key-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/ord-map-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/ord-map-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/ord-set-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/ord-set-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/parser-comb-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/parser-comb-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/parser-comb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/parser-comb.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/path-util-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/path-util-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/path-util.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/path-util.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/plist-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/plist-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/plist.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/plist.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/queue-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/queue-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/queue.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/queue.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/rand-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/rand-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/rand.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/rand.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/random-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/random-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/random.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/random.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/real-format.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/real-format.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/redblack-map-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/redblack-map-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/redblack-set-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/redblack-set-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/scan-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/scan-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/scan.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/scan.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/simple-uref.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/simple-uref.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/smlnj-lib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/smlnj-lib.cm -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/splay-map-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/splay-map-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/splay-set-fn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/splay-set-fn.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/splaytree-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/splaytree-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/splaytree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/splaytree.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/time-limit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/time-limit.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/uref-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/uref-sig.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/uref.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/uref.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/word-hash-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/word-hash-table.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/word-redblack-map.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/word-redblack-map.sml -------------------------------------------------------------------------------- /src/Common/smlnj-lib/Util/word-redblack-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Common/smlnj-lib/Util/word-redblack-set.sml -------------------------------------------------------------------------------- /src/Edlib/.cvsignore: -------------------------------------------------------------------------------- 1 | CM PM -------------------------------------------------------------------------------- /src/Edlib/EDLIB_GENERAL.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/EDLIB_GENERAL.sml -------------------------------------------------------------------------------- /src/Edlib/EQ_SET.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/EQ_SET.sml -------------------------------------------------------------------------------- /src/Edlib/Edlib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/Edlib.sml -------------------------------------------------------------------------------- /src/Edlib/EdlibGeneral.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/EdlibGeneral.sml -------------------------------------------------------------------------------- /src/Edlib/EqSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/EqSet.sml -------------------------------------------------------------------------------- /src/Edlib/LIST-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/LIST-sig.sml -------------------------------------------------------------------------------- /src/Edlib/LIST_PAIR.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/LIST_PAIR.sml -------------------------------------------------------------------------------- /src/Edlib/LIST_SORT.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/LIST_SORT.sml -------------------------------------------------------------------------------- /src/Edlib/List.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/List.sml -------------------------------------------------------------------------------- /src/Edlib/ListPair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/ListPair.sml -------------------------------------------------------------------------------- /src/Edlib/ListSort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/ListSort.sml -------------------------------------------------------------------------------- /src/Edlib/ORDERING.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/ORDERING.sml -------------------------------------------------------------------------------- /src/Edlib/SET-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/SET-sig.sml -------------------------------------------------------------------------------- /src/Edlib/Set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/Set.sml -------------------------------------------------------------------------------- /src/Edlib/edlib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/edlib.cm -------------------------------------------------------------------------------- /src/Edlib/edlib.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Edlib/edlib.pm -------------------------------------------------------------------------------- /src/Manager/.cvsignore: -------------------------------------------------------------------------------- 1 | CM PM -------------------------------------------------------------------------------- /src/Manager/ELAB_REPOSITORY.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/ELAB_REPOSITORY.sml -------------------------------------------------------------------------------- /src/Manager/ElabRepository.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/ElabRepository.sml -------------------------------------------------------------------------------- /src/Manager/FREE_IDS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/FREE_IDS.sml -------------------------------------------------------------------------------- /src/Manager/FreeIds.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/FreeIds.sml -------------------------------------------------------------------------------- /src/Manager/INT_MODULES.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/INT_MODULES.sml -------------------------------------------------------------------------------- /src/Manager/IntModules.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/IntModules.sml -------------------------------------------------------------------------------- /src/Manager/MANAGER-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/MANAGER-sig.sml -------------------------------------------------------------------------------- /src/Manager/MANAGER_OBJECTS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/MANAGER_OBJECTS.sml -------------------------------------------------------------------------------- /src/Manager/Manager.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/Manager.sml -------------------------------------------------------------------------------- /src/Manager/ManagerObjects.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/ManagerObjects.sml -------------------------------------------------------------------------------- /src/Manager/NAME-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/NAME-sig.sml -------------------------------------------------------------------------------- /src/Manager/Name.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/Name.sml -------------------------------------------------------------------------------- /src/Manager/OPACITY_ELIM.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/OPACITY_ELIM.sml -------------------------------------------------------------------------------- /src/Manager/OpacityElim.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/OpacityElim.sml -------------------------------------------------------------------------------- /src/Manager/OpacityEnv.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/OpacityEnv.sml -------------------------------------------------------------------------------- /src/Manager/PARSE_ELAB.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/PARSE_ELAB.sml -------------------------------------------------------------------------------- /src/Manager/ParseElab.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Manager/ParseElab.sml -------------------------------------------------------------------------------- /src/Parsing/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/.cvsignore -------------------------------------------------------------------------------- /src/Parsing/GRAMMAR_UTILS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/GRAMMAR_UTILS.sml -------------------------------------------------------------------------------- /src/Parsing/GrammarUtils.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/GrammarUtils.sml -------------------------------------------------------------------------------- /src/Parsing/HOOKS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/HOOKS.sml -------------------------------------------------------------------------------- /src/Parsing/INFIXING-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/INFIXING-sig.sml -------------------------------------------------------------------------------- /src/Parsing/INFIX_STACK.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/INFIX_STACK.sml -------------------------------------------------------------------------------- /src/Parsing/InfixStack.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/InfixStack.sml -------------------------------------------------------------------------------- /src/Parsing/Infixing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Infixing.sml -------------------------------------------------------------------------------- /src/Parsing/LEX_BASICS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/LEX_BASICS.sml -------------------------------------------------------------------------------- /src/Parsing/LEX_UTILS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/LEX_UTILS.sml -------------------------------------------------------------------------------- /src/Parsing/LexBasics.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/LexBasics.sml -------------------------------------------------------------------------------- /src/Parsing/LexUtils.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/LexUtils.sml -------------------------------------------------------------------------------- /src/Parsing/MyBase.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/MyBase.sml -------------------------------------------------------------------------------- /src/Parsing/PARSE-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/PARSE-sig.sml -------------------------------------------------------------------------------- /src/Parsing/Parse.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Parse.sml -------------------------------------------------------------------------------- /src/Parsing/Topdec.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Topdec.grm -------------------------------------------------------------------------------- /src/Parsing/Topdec.grm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Topdec.grm.sig -------------------------------------------------------------------------------- /src/Parsing/Topdec.grm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Topdec.grm.sml -------------------------------------------------------------------------------- /src/Parsing/Topdec.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Topdec.lex -------------------------------------------------------------------------------- /src/Parsing/Topdec.lex.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/Parsing/Topdec.lex.sml -------------------------------------------------------------------------------- /src/Parsing/parsing.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | -------------------------------------------------------------------------------- /src/cm2mlb/MLton-LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/MLton-LICENSE -------------------------------------------------------------------------------- /src/cm2mlb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/Makefile -------------------------------------------------------------------------------- /src/cm2mlb/cm2mlb-map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/cm2mlb-map -------------------------------------------------------------------------------- /src/cm2mlb/cm2mlb.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/cm2mlb.cm -------------------------------------------------------------------------------- /src/cm2mlb/cm2mlb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/cm2mlb.sml -------------------------------------------------------------------------------- /src/cm2mlb/gen-mlb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/cm2mlb/gen-mlb.sml -------------------------------------------------------------------------------- /src/mkusefile.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/mkusefile.out -------------------------------------------------------------------------------- /src/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/sources.cm -------------------------------------------------------------------------------- /src/sources.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/src/sources.pm -------------------------------------------------------------------------------- /test-examples/bugs/all-datatype-tyvars-generalised.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/all-datatype-tyvars-generalised.sml -------------------------------------------------------------------------------- /test-examples/bugs/cant-specify-manifest-opaque-refinements.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/cant-specify-manifest-opaque-refinements.sml -------------------------------------------------------------------------------- /test-examples/bugs/opaque-refinements-of-datasorts-not-caught.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/opaque-refinements-of-datasorts-not-caught.sml -------------------------------------------------------------------------------- /test-examples/bugs/opaque-sig-mixed-defs-crashs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/opaque-sig-mixed-defs-crashs.sml -------------------------------------------------------------------------------- /test-examples/bugs/opaque-sorts-clobber-variances.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/opaque-sorts-clobber-variances.sml -------------------------------------------------------------------------------- /test-examples/bugs/robs-pattern-bug-min.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/robs-pattern-bug-min.sml -------------------------------------------------------------------------------- /test-examples/bugs/robs-pattern-bug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/robs-pattern-bug.sml -------------------------------------------------------------------------------- /test-examples/bugs/sigs-cant-specify-type-constr-variance.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/bugs/sigs-cant-specify-type-constr-variance.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/README -------------------------------------------------------------------------------- /test-examples/fixed-bugs/abstract-lattice-wrong.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/abstract-lattice-wrong.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/abstract-sort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/abstract-sort.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/constructor-sorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/constructor-sorts.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/crash-printing-functor-result-simplified.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/crash-printing-functor-result-simplified.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/crash-printing-functor-result.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/crash-printing-functor-result.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/datasort-qualified-constructors-wrong.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/datasort-qualified-constructors-wrong.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/datasort-qualified-constructors.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/datasort-qualified-constructors.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/datatype-in-functor-parameter-wrong-sortname.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/datatype-in-functor-parameter-wrong-sortname.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/datatype-names-missing-functor.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/datatype-names-missing-functor.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/elabtopdec-bug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/elabtopdec-bug.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/field-swap-bug.sml: -------------------------------------------------------------------------------- 1 | fun fst {1=x:int, 2=y:unit} = x; 2 | -------------------------------------------------------------------------------- /test-examples/fixed-bugs/functor-where-bug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/functor-where-bug.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/ignored-wrong-in-all-covariant.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/ignored-wrong-in-all-covariant.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/intersection-allowed-in-types.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/intersection-allowed-in-types.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/map-conjunction-instance-fails.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/map-conjunction-instance-fails.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/no-lattice-printed.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/no-lattice-printed.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/opaque-refinements-generate-types.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/opaque-refinements-generate-types.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/parameter-unions-unsound.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/parameter-unions-unsound.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/qualified-top-level.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/qualified-top-level.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/realiser-combines-datatypes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/realiser-combines-datatypes.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/sig-datatype-replication-crashes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/sig-datatype-replication-crashes.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/sort-printing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/sort-printing.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/top-level-val-sort-specs-propagate-to-other-files.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/top-level-val-sort-specs-propagate-to-other-files.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/top-level-val-sort-specs-propagate-to-other-files2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/top-level-val-sort-specs-propagate-to-other-files2.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/transparent-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/transparent-sig.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/transparent-sig2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/transparent-sig2.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/tygoals-not-erased-in-refdec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/tygoals-not-erased-in-refdec.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/tyvarbug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/tyvarbug.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/tyvars-error-not-reported-crashes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/tyvars-error-not-reported-crashes.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/tyvars-wrong.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/tyvars-wrong.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/underscore-patterns-not-considered-empty.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/underscore-patterns-not-considered-empty.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/variances-are-matched-with-transparent.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/variances-are-matched-with-transparent.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/variances-not-improved.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/variances-not-improved.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/variances-not-improved2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/variances-not-improved2.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/variances-not-matched.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/variances-not-matched.sml -------------------------------------------------------------------------------- /test-examples/fixed-bugs/where.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-bugs/where.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/long-lists.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/long-lists.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/long-lists2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/long-lists2.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/ref-instance.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/ref-instance.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan-break-up.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan-break-up.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan-expand-conj.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan-expand-conj.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan-expand-conj2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan-expand-conj2.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan-expand-xduce.q: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan-expand-xduce.q -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan-sig.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan.cduce: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan.cduce -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan.sml -------------------------------------------------------------------------------- /test-examples/fixed-performance-bugs/tarjan2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fixed-performance-bugs/tarjan2.sml -------------------------------------------------------------------------------- /test-examples/fp-examples/minml-heap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fp-examples/minml-heap.sml -------------------------------------------------------------------------------- /test-examples/fp-examples/norm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fp-examples/norm.sml -------------------------------------------------------------------------------- /test-examples/fp-examples/pairs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fp-examples/pairs.sml -------------------------------------------------------------------------------- /test-examples/fp-examples/reg.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/fp-examples/reg.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/README -------------------------------------------------------------------------------- /test-examples/illustrative-examples/abstract-lattice-large.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/abstract-lattice-large.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/abstract-lattice-linear.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/abstract-lattice-linear.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/abstract-lattice-redundant.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/abstract-lattice-redundant.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/abstract-lattice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/abstract-lattice.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/backtracking.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/backtracking.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/constructor-intersections.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/constructor-intersections.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/constructor-sorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/constructor-sorts.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/datasort-extrusion.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/datasort-extrusion.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/datasort-no-extrusion-let.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/datasort-no-extrusion-let.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/distr-via-datasort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/distr-via-datasort.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/exception-matching.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/exception-matching.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/first-warnings.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/first-warnings.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/functor-list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/functor-list.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/functor-monomorphic-list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/functor-monomorphic-list.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/ignored-allowed-in-all-covariant.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/ignored-allowed-in-all-covariant.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/improved-inv-princ.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/improved-inv-princ.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/improved-inv-princ2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/improved-inv-princ2.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/interesting-functor.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/interesting-functor.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/intersection-printing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/intersection-printing.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/intersection-realisation.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/intersection-realisation.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/large-lattice-nat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/large-lattice-nat.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/large-lattice-tree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/large-lattice-tree.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/large-lattice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/large-lattice.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/lattice-consistency-correct.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/lattice-consistency-correct.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/lattice-consistency.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/lattice-consistency.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/mono-list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/mono-list.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/multiple-bindings.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/multiple-bindings.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/no-case-analysis.cduce: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/no-case-analysis.cduce -------------------------------------------------------------------------------- /test-examples/illustrative-examples/no-need-for-datasort-replication.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/no-need-for-datasort-replication.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/non-covariant-opt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/non-covariant-opt.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/parameter-unions.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/parameter-unions.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/poly-recursion-allowed.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/poly-recursion-allowed.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/poly-recursion-allowed2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/poly-recursion-allowed2.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/poly-recursion-allowed3.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/poly-recursion-allowed3.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/polypattern-subtraction.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/polypattern-subtraction.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/promote-sort-to-type.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/promote-sort-to-type.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/ref-pat-multiple.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/ref-pat-multiple.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/ref-pat-subtract.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/ref-pat-subtract.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/ref-pat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/ref-pat.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/slow-exp-instances.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/slow-exp-instances.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/slow-pattern-instances.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/slow-pattern-instances.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/slow-pattern-instances2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/slow-pattern-instances2.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/unsound-ref.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/unsound-ref.sml -------------------------------------------------------------------------------- /test-examples/illustrative-examples/without-improved-inv-princ.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/illustrative-examples/without-improved-inv-princ.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/assume.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/assume.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/comma-valspec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/comma-valspec.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/datasort-qualified-constructors.sml: -------------------------------------------------------------------------------- 1 | (*[ datasort 'a null = List.nil ]*) -------------------------------------------------------------------------------- /test-examples/language-constructs/datasort-spec-error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/datasort-spec-error.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/datasort-spec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/datasort-spec.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/datatype-replication.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/datatype-replication.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/functor-test-with-error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/functor-test-with-error.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/functor-test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/functor-test.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/pattern-sort-bound.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/pattern-sort-bound.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/poly-test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/poly-test.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/record-sorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/record-sorts.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sharing-test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sharing-test.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sig-datatype-replication.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sig-datatype-replication.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sig-match.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sig-match.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sigdatatype.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sigdatatype.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sigpoly.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sigpoly.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sigsort-sub.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sigsort-sub.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sigtest.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sigtest.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/sort-scheme-explicit-instantiators.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/sort-scheme-explicit-instantiators.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/struct-assume.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/struct-assume.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/structure-sharing-test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/structure-sharing-test.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/subsort-spec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/subsort-spec.sml -------------------------------------------------------------------------------- /test-examples/language-constructs/wheretype.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/language-constructs/wheretype.sml -------------------------------------------------------------------------------- /test-examples/large-examples/.cvsignore: -------------------------------------------------------------------------------- 1 | OLD -------------------------------------------------------------------------------- /test-examples/large-examples/okasaki-rbt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/okasaki-rbt.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parse-all-datasorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parse-all-datasorts.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parse-all-needs-sorts-for-error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parse-all-needs-sorts-for-error.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parse-all-with-sorts-for-error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parse-all-with-sorts-for-error.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/README -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/intsyn-datasorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/intsyn-datasorts.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/intsyn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/intsyn.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/parse-lexer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/parse-lexer.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/parse-lib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/parse-lib.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/parse-stream.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/parse-stream.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/parse-term.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/parse-term.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/start-of-parse-all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/start-of-parse-all.sml -------------------------------------------------------------------------------- /test-examples/large-examples/parsing/start2-of-parse-all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/parsing/start2-of-parse-all.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-datasorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-datasorts.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-needs-add-unions.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-needs-add-unions.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-no-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-no-sig.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-okasaki.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-okasaki.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-small-balanced.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-small-balanced.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black-transparent.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black-transparent.sml -------------------------------------------------------------------------------- /test-examples/large-examples/red-black.CDuce: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black.CDuce -------------------------------------------------------------------------------- /test-examples/large-examples/red-black.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/red-black.sml -------------------------------------------------------------------------------- /test-examples/large-examples/syntaxeditor.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/syntaxeditor.sml -------------------------------------------------------------------------------- /test-examples/large-examples/tarjan-stacks.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/tarjan-stacks.sml -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/.cvsignore: -------------------------------------------------------------------------------- 1 | old -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/intsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/intsyn.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/lexer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/lexer.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/names.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/names.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/parse-term.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/parse-term.fun -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/parse-term.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/parse-term.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/parsing.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/parsing.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/paths.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/paths.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/recon-term.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/recon-term.sig -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/sortcheck-usefile.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/sortcheck-usefile.sml -------------------------------------------------------------------------------- /test-examples/large-examples/twelf-parsing/stream.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/large-examples/twelf-parsing/stream.sml -------------------------------------------------------------------------------- /test-examples/lisp-monotype/lisp-monotype-new-default.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/lisp-monotype/lisp-monotype-new-default.sml -------------------------------------------------------------------------------- /test-examples/lisp-monotype/lisp-monotype.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/lisp-monotype/lisp-monotype.sml -------------------------------------------------------------------------------- /test-examples/old-examples/small.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/old-examples/small.sml -------------------------------------------------------------------------------- /test-examples/performance-bugs/RefinedEnvironments-with-tarjan-datasorts.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/performance-bugs/RefinedEnvironments-with-tarjan-datasorts.sml -------------------------------------------------------------------------------- /test-examples/possible-extensions/tygoals-from-sigs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/possible-extensions/tygoals-from-sigs.sml -------------------------------------------------------------------------------- /test-examples/possible-improvements/instantiators-annotation.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/possible-improvements/instantiators-annotation.sml -------------------------------------------------------------------------------- /test-examples/possible-improvements/opaque-all-covariant-unsound.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/possible-improvements/opaque-all-covariant-unsound.sml -------------------------------------------------------------------------------- /test-examples/possible-improvements/sig-datatype-replication-shadowing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/possible-improvements/sig-datatype-replication-shadowing.sml -------------------------------------------------------------------------------- /test-examples/robs-DictTable.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/robs-DictTable.sml -------------------------------------------------------------------------------- /test-examples/robs-lex-error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/robs-lex-error.sml -------------------------------------------------------------------------------- /test-examples/small/accept-both-yi.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/small/accept-both-yi.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/bitstring-most-sig-first.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/bitstring-most-sig-first.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/bitstring-most-sig-first2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/bitstring-most-sig-first2.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/bitstring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/bitstring.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/intro-ref-unsound.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/intro-ref-unsound.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/layered-patterns.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/layered-patterns.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/monotype-misc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/monotype-misc.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/polymorphic-recursion.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/polymorphic-recursion.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/sharing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/sharing.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/sig-matching-struct.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/sig-matching-struct.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/sig.sml -------------------------------------------------------------------------------- /test-examples/thesis-examples/struct.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/test-examples/thesis-examples/struct.sml -------------------------------------------------------------------------------- /useme.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowandavies/sml-cidre/HEAD/useme.sml --------------------------------------------------------------------------------