Parse raw pointer types

Author: nathanwhit

chalk-parse/src/ast.rs

@@ -193,6 +193,10 @@ pub enum Ty {
     Scalar {
         ty: ScalarType,
     },
+    Raw {
+        mutability: Mutability,
+        ty: Box<Ty>,
+    }
 }
 
 #[derive(Copy, Clone, PartialEq, Eq, Debug)]
@@ -230,6 +234,12 @@ pub enum ScalarType {
     Float(FloatTy),
 }
 
+#[derive(Copy, Clone, PartialEq, Eq, Debug)]
+pub enum Mutability {
+    Mut,
+    Not,
+}
+
 #[derive(Clone, PartialEq, Eq, Debug)]
 pub enum Lifetime {
     Id { name: Identifier },

chalk-parse/src/parser.lalrpop

@@ -205,6 +205,7 @@ TyWithoutFor: Ty = {
     <n:Id> "<" <a:Comma<Parameter>> ">" => Ty::Apply { name: n, args: a },
     <p:ProjectionTy> => Ty::Projection { proj: p },
     "(" <t:TupleOrParensInner> ")" => t,
+    "*" <m: Mutability> <t:Ty> => Ty::Raw{ mutability: m, ty: Box::new(t) },
 };
 
 ScalarType: ScalarType = {
@@ -237,6 +238,11 @@ TupleOrParensInner: Ty = {
     () => Ty::Tuple { types: vec![] },
 };
 
+Mutability: Mutability = {
+    "mut" => Mutability::Mut,
+    "const" => Mutability::Not,
+};
+
 Lifetime: Lifetime = {
     <n:LifetimeId> => Lifetime::Id { name: n },
 };