now the meta id of the meta variables is accessible via the PGF API

src/runtime/haskell/PGF.hs

@@ -47,7 +47,7 @@ module PGF(
            mkStr,    unStr,
            mkInt,    unInt,
            mkDouble, unDouble,
-           mkMeta,   isMeta,
+           mkMeta,   unMeta,
 
            -- * Operations
            -- ** Linearization

src/runtime/haskell/PGF/Expr.hs

@@ -5,7 +5,7 @@ module PGF.Expr(Tree, BindType(..), Expr(..), Literal(..), Patt(..), Equation(..
                 mkStr,    unStr,
                 mkInt,    unInt,
                 mkDouble, unDouble,
-                mkMeta,   isMeta,
+                mkMeta,   unMeta,
 
                 normalForm,
 
@@ -144,15 +144,15 @@ unDouble (EImplArg e)    = unDouble e
 unDouble _               = Nothing
 
 -- | Constructs an expression which is meta variable
-mkMeta :: Expr
+mkMeta :: Int -> Expr
-mkMeta = EMeta 0
+mkMeta i = EMeta i
 
 -- | Checks whether an expression is a meta variable
-isMeta :: Expr -> Bool
+unMeta :: Expr -> Maybe Int
-isMeta (EMeta _)     = True
+unMeta (EMeta i)     = Just i
-isMeta (ETyped e ty) = isMeta e
+unMeta (ETyped e ty) = unMeta e
-isMeta (EImplArg e)  = isMeta e
+unMeta (EImplArg e)  = unMeta e
-isMeta _             = False
+unMeta _             = Nothing
 
 -----------------------------------------------------
 -- Parsing