├── .github └── workflows │ └── main.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README.md ├── config.mk ├── shell.nix ├── smlfut.1 ├── src ├── lib │ └── github.com │ │ └── diku-dk │ │ ├── sml-getopt │ │ ├── getopt.mlb │ │ ├── getopt.sig │ │ └── getopt.sml │ │ ├── sml-json │ │ ├── Makefile │ │ ├── json.mlb │ │ ├── json.sig │ │ ├── json.sml │ │ └── test │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── json_test.mlb │ │ │ ├── json_test.out.ok │ │ │ └── json_test.sml │ │ └── sml-setmap │ │ ├── Makefile │ │ ├── int_map.mlb │ │ ├── int_set.mlb │ │ ├── map │ │ ├── IntMap.sml │ │ ├── IntMapImpl.sml │ │ ├── MONO_MAP.mlb │ │ ├── MONO_MAP.sig │ │ ├── OrderMap.sml │ │ ├── OrderMapImpl.sml │ │ └── StringMap.sml │ │ ├── mono_map.mlb │ │ ├── mono_set.mlb │ │ ├── set.mlb │ │ ├── set │ │ ├── IntSet.sml │ │ ├── IntSetImpl.sml │ │ ├── MONO_SET.mlb │ │ ├── MONO_SET.sig │ │ ├── OrderSet.sml │ │ ├── OrderSetImpl.sml │ │ ├── SET_COMPARE.sig │ │ ├── SetEq.sml │ │ ├── StringSet.sml │ │ ├── WordSet.sml │ │ └── WordSetImpl.sml │ │ ├── string_map.mlb │ │ ├── string_set.mlb │ │ └── word_set.mlb ├── manifest.sml ├── sml.pkg ├── smlfut.mlb ├── smlfut.sml ├── typename.sml ├── util.sml └── version.sml ├── test ├── .gitignore ├── test.fut └── test_mono.sml ├── test_mlkit ├── .gitignore └── test.mlb ├── test_mlton_mono ├── .gitignore └── test.mlb └── test_mlton_poly ├── .gitignore ├── test.mlb └── test_main.sml /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/README.md -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/config.mk -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/shell.nix -------------------------------------------------------------------------------- /smlfut.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/smlfut.1 -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-getopt/getopt.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-getopt/getopt.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-getopt/getopt.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-getopt/getopt.sig -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-getopt/getopt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-getopt/getopt.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/Makefile -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/json.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/json.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/json.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/json.sig -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/json.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/json.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/test/.gitignore: -------------------------------------------------------------------------------- 1 | *.res 2 | *.exe 3 | *~ 4 | *.out 5 | MLB -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/test/Makefile -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/test/json_test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/test/json_test.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/test/json_test.out.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/test/json_test.out.ok -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-json/test/json_test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-json/test/json_test.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/Makefile -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/int_map.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/int_map.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/int_set.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/int_set.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/IntMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/IntMap.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/IntMapImpl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/IntMapImpl.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/MONO_MAP.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/MONO_MAP.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/MONO_MAP.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/MONO_MAP.sig -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/OrderMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/OrderMap.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/OrderMapImpl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/OrderMapImpl.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/map/StringMap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/map/StringMap.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/mono_map.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/mono_map.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/mono_set.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/mono_set.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/IntSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/IntSet.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/IntSetImpl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/IntSetImpl.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/MONO_SET.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/MONO_SET.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/MONO_SET.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/MONO_SET.sig -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/OrderSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/OrderSet.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/OrderSetImpl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/OrderSetImpl.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/SET_COMPARE.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/SET_COMPARE.sig -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/SetEq.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/SetEq.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/StringSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/StringSet.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/WordSet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/WordSet.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/set/WordSetImpl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/set/WordSetImpl.sml -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/string_map.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/string_map.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/string_set.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/string_set.mlb -------------------------------------------------------------------------------- /src/lib/github.com/diku-dk/sml-setmap/word_set.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/lib/github.com/diku-dk/sml-setmap/word_set.mlb -------------------------------------------------------------------------------- /src/manifest.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/manifest.sml -------------------------------------------------------------------------------- /src/sml.pkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/sml.pkg -------------------------------------------------------------------------------- /src/smlfut.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/smlfut.mlb -------------------------------------------------------------------------------- /src/smlfut.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/smlfut.sml -------------------------------------------------------------------------------- /src/typename.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/typename.sml -------------------------------------------------------------------------------- /src/util.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/src/util.sml -------------------------------------------------------------------------------- /src/version.sml: -------------------------------------------------------------------------------- 1 | val version = "1.6.3" 2 | -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test/.gitignore -------------------------------------------------------------------------------- /test/test.fut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test/test.fut -------------------------------------------------------------------------------- /test/test_mono.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test/test_mono.sml -------------------------------------------------------------------------------- /test_mlkit/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlkit/.gitignore -------------------------------------------------------------------------------- /test_mlkit/test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlkit/test.mlb -------------------------------------------------------------------------------- /test_mlton_mono/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlton_mono/.gitignore -------------------------------------------------------------------------------- /test_mlton_mono/test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlton_mono/test.mlb -------------------------------------------------------------------------------- /test_mlton_poly/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlton_poly/.gitignore -------------------------------------------------------------------------------- /test_mlton_poly/test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlton_poly/test.mlb -------------------------------------------------------------------------------- /test_mlton_poly/test_main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/diku-dk/smlfut/HEAD/test_mlton_poly/test_main.sml --------------------------------------------------------------------------------