From 9303e0b59bc1a5a7954e8ef57a3cb9821da488f9 Mon Sep 17 00:00:00 2001 From: Fabien Fleutot Date: Tue, 3 Feb 2009 20:43:10 +0100 Subject: [PATCH] removed incomplete sample --- {src/samples => junk}/typecheck.mlua | 5 ----- 1 file changed, 5 deletions(-) rename {src/samples => junk}/typecheck.mlua (99%) diff --git a/src/samples/typecheck.mlua b/junk/typecheck.mlua similarity index 99% rename from src/samples/typecheck.mlua rename to junk/typecheck.mlua index e9d6b75..7ed6b89 100644 --- a/src/samples/typecheck.mlua +++ b/junk/typecheck.mlua @@ -77,13 +77,8 @@ match function get_type | `Call{`Id 'table', tk, tv }, _ -> return tv | `Table{...}==tt, `Id 'string' -> - - local types_rt = require 'extension.types' - - - function check_function(f, term) match get_type(term) with | `Function{ params, {`Return{...} == results}}, args -> -- 2.44.0