From: Fabien Fleutot <metalua@gmail.com>
Date: Tue, 3 Feb 2009 20:05:51 +0000 (+0100)
Subject: fixed types extension
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=088607f9220ec68db8bb1631fb2c72d0cb2076c1;p=metalua.git

fixed types extension
---

diff --git a/src/lib/metalua/extension/types.mlua b/src/lib/metalua/extension/types.mlua
index 1d39565..bbcd53a 100644
--- a/src/lib/metalua/extension/types.mlua
+++ b/src/lib/metalua/extension/types.mlua
@@ -91,7 +91,7 @@
 --    having the biggest index.
 --
 --  * [scopes] is a stack of id name ==> type name scopes, one per
---    currently acive variables scope.
+--    currently active variables scope.
 --
 -- What's performed by the walker:
 --
@@ -112,6 +112,7 @@
 --------------------------------------------------------------------------------
 
 -- TODO: unify scopes handling with free variables detector
+-- FIXME: scopes are currently incorrect anyway, only functions currently define a scope.
 
 require "metalua.walk"
 
@@ -348,4 +349,4 @@ mlp.stat:add{ "newtype", mlp.expr, "=", mlp.expr, builder = newtype_builder }
 --------------------------------------------------------------------------
 --mlp.expr.infix:add{ "::", prec=100, builder = |a, _, b| insert_test(a,b) }
 
-+{ require (-{ `String{ package.metalua_extension_prefix .. 'types-runtime' } }) }
+return +{ require (-{ `String{ package.metalua_extension_prefix .. 'types-runtime' } }) }