From bac57615345fee7db087bb645900c30c72fd513c Mon Sep 17 00:00:00 2001 From: greg Date: Thu, 6 Sep 2018 02:12:37 -0700 Subject: [PATCH] Add a note --- schala-lang/src/reduced_ast.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/schala-lang/src/reduced_ast.rs b/schala-lang/src/reduced_ast.rs index 966417a..8d27e60 100644 --- a/schala-lang/src/reduced_ast.rs +++ b/schala-lang/src/reduced_ast.rs @@ -221,6 +221,9 @@ impl Pattern { unimplemented!() }, Ignored => unimplemented!(), + /* "a constant appearing in a pattern can easily be eliminated by replacing it with a variable + * and adding a guard to the equation instead" - Implementation of Functional Programming + * Languages Simon Peyton-Jones, p. 58 */ Literal(lit) => match lit { PatternLiteral::NumPattern { neg, num } => unimplemented!(), PatternLiteral::StringPattern(_s) => unimplemented!(),