Initial check in

Author: lazear

.gitattributes

@@ -0,0 +1 @@
+*	text=auto

.gitignore

@@ -0,0 +1,3 @@
+/target
+**/*.rs.bk
+Cargo.lock

.rustfmt.toml

@@ -0,0 +1,2 @@
+wrap_comments = true
+max_width = 100

Cargo.toml

@@ -0,0 +1,6 @@
+[workspace] 
+members = [
+    "crates/sml-core",
+    "crates/sml-frontend",
+    "crates/sml-util",
+]

LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2019-2020 Michael Lazear
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README.md

@@ -0,0 +1,3 @@
+# SimpleML
+
+SimpleML is a toy Standard ML compiler

book/.gitignore

@@ -0,0 +1 @@
+book

book/book.toml

@@ -0,0 +1,6 @@
+[book]
+authors = ["Michael Lazear"]
+language = "en"
+multilingual = false
+src = "src"
+title = "SimpleML"

book/src/SUMMARY.md

@@ -0,0 +1,3 @@
+# Summary
+
+- [Chapter 1](./chapter_1.md)

book/src/chapter_1.md

@@ -0,0 +1 @@
+# Chapter 1

crates/sml-core/.gitignore

@@ -0,0 +1,2 @@
+/target
+Cargo.lock

crates/sml-core/Cargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "sml-core"
+version = "0.1.0"
+authors = ["Michael Lazear <[email protected]>"]
+edition = "2018"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]

crates/sml-core/src/lib.rs

@@ -0,0 +1,7 @@
+#[cfg(test)]
+mod tests {
+    #[test]
+    fn it_works() {
+        assert_eq!(2 + 2, 4);
+    }
+}

crates/sml-frontend/.gitignore

@@ -0,0 +1,2 @@
+/target
+Cargo.lock

crates/sml-frontend/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "sml-frontend"
+version = "0.1.0"
+authors = ["Michael Lazear <[email protected]>"]
+edition = "2018"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+sml-util = {path = "../sml-util"}

crates/sml-frontend/src/ast.rs

@@ -0,0 +1,116 @@
+use sml_util::interner::Symbol;
+use sml_util::span::{Span, Spanned};
+
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum Literal {
+    Unit,
+    Int(usize),
+    Char(char),
+    String(Symbol),
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub enum DeclKind {
+    Datatype(Symbol, Vec<Symbol>, Spanned<Vec<Variant>>),
+    Type(Symbol, Vec<Symbol>, Type),
+    Function(Symbol, Function),
+    Value(Pat, Expr),
+    Infix(u8, Symbol),
+    Infixr(u8, Symbol),
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub enum TypeKind {
+    /// Type variable
+    Var(Symbol),
+    /// Constructor, with applied arguments
+    Con(Symbol, Vec<Type>),
+    /// Tuple type
+    Product(Vec<Type>),
+    /// Record type
+    Record(Vec<Row>),
+    /// Universally quantified type
+    Univ(Symbol, Box<Type>),
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub enum ExprKind {
+    Lit(Literal),
+    Var(Symbol),
+    Abs(Box<Pat>, Box<Expr>),
+    App(Box<Expr>, Box<Expr>),
+    FlatApp(Vec<Expr>),
+    Ann(Box<Expr>, Box<Type>),
+    Record(Vec<Field>),
+    Tuple(Vec<Expr>),
+    Projection(Box<Expr>, Box<Expr>),
+    Case(Box<Expr>, Vec<Arm>),
+    Let(Vec<Decl>, Box<Expr>),
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub enum PatKind {
+    /// Wildcard
+    Any,
+    /// Literal
+    Lit(Literal),
+    /// Type ascription
+    Ascribe(Box<Pat>, Box<Type>),
+    /// Variable binding
+    Variable(Symbol),
+    /// Tuple of pattern bindings (_, x)
+    Product(Vec<Pat>),
+    /// Record pattern { label1, label2 }
+    Record(Vec<Pat>),
+    /// A collection of pat applications, possibly including infix constructors
+    FlatApp(Vec<Pat>),
+    /// Algebraic datatype constructor, along with binding pattern
+    App(Box<Pat>, Box<Pat>),
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct Function {
+    pub ty: Option<Type>,
+    pub body: Vec<FnBinding>,
+    pub span: Span,
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct FnBinding {
+    pub pats: Vec<Pat>,
+    pub expr: Expr,
+}
+
+/// Arm of a case expression
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct Arm {
+    pub pat: Pat,
+    pub expr: Expr,
+    pub span: Span,
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct Field {
+    pub label: Symbol,
+    pub expr: Expr,
+    pub span: Span,
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct Variant {
+    pub label: Symbol,
+    pub ty: Vec<Type>,
+    pub span: Span,
+}
+
+#[derive(Clone, Debug, PartialEq, PartialOrd)]
+pub struct Row {
+    pub label: Symbol,
+    pub ty: Type,
+    pub span: Span,
+}
+
+pub type Decl = Spanned<DeclKind>;
+pub type Type = Spanned<TypeKind>;
+pub type Expr = Spanned<ExprKind>;
+pub type Pat = Spanned<PatKind>;