Initial work on 0.1.0

Missing the VM.

1 files changed, 3 insertions, 25 deletions

diff --git a/tests/parser_prop.rs b/tests/parser_prop.rs
index 57976cb..0b57171 100644
--- a/tests/parser_prop.rs
+++ b/tests/parser_prop.rs
@@ -1,33 +1,11 @@
-/*
- * This file is part of Datafu
- * Copyright (C) 2021  Soni L.
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Affero General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Affero General Public License for more details.
- *
- * You should have received a copy of the GNU Affero General Public License
- * along with this program.  If not, see <https://www.gnu.org/licenses/>.
- */
-
-extern crate proptest;
-extern crate datafu;
-
-mod common;
-
-use common::Value;
+// Copyright (C) 2021 Soni L.
+// SPDX-License-Identifier: MIT OR Apache-2.0
 
 use proptest::prelude::*;
 
 proptest! {
     #[test]
     fn doesnt_panic(s in "\\PC*") {
-        let _ = datafu::Pattern::<Value>::compile::<&str, &str>(&s, None, None);
+        let _ = datafu::Pattern::<Box<dyn erased_serde::Serialize>>::compile::<&str, &str>(&s, None, None);
     }
 }