utils: remove uTypedAlloc/Calloc
[platform/upstream/libxkbcommon.git] / src / xkbcomp / keytypes.c
index 65ee19e..945d46c 100644 (file)
@@ -1,39 +1,35 @@
 /************************************************************
- Copyright (c) 1994 by Silicon Graphics Computer Systems, Inc.
-
- Permission to use, copy, modify, and distribute this
- software and its documentation for any purpose and without
- fee is hereby granted, provided that the above copyright
- notice appear in all copies and that both that copyright
- notice and this permission notice appear in supporting
- documentation, and that the name of Silicon Graphics not be 
- used in advertising or publicity pertaining to distribution 
- of the software without specific prior written permission.
- Silicon Graphics makes no representation about the suitability 
- of this software for any purpose. It is provided "as is"
- without any express or implied warranty.
- SILICON GRAPHICS DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS 
- SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY 
- AND FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL SILICON
- GRAPHICS BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL 
- DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, 
- DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE 
- OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION  WITH
- THE USE OR PERFORMANCE OF THIS SOFTWARE.
-
Copyright (c) 1994 by Silicon Graphics Computer Systems, Inc.
+ *
Permission to use, copy, modify, and distribute this
software and its documentation for any purpose and without
fee is hereby granted, provided that the above copyright
notice appear in all copies and that both that copyright
notice and this permission notice appear in supporting
+ * documentation, and that the name of Silicon Graphics not be
+ * used in advertising or publicity pertaining to distribution
of the software without specific prior written permission.
+ * Silicon Graphics makes no representation about the suitability
of this software for any purpose. It is provided "as is"
without any express or implied warranty.
+ *
+ * SILICON GRAPHICS DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
+ * SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
AND FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL SILICON
+ * GRAPHICS BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL
+ * DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE,
+ * DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION  WITH
THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ *
  ********************************************************/
 
-#include "xkbcomp.h"
-#include "tokens.h"
-#include "expr.h"
+#include "xkbcomp-priv.h"
+#include "parseutils.h"
 #include "vmod.h"
-#include "action.h"
-#include "misc.h"
 
-typedef struct _PreserveInfo
-{
-    CommonInfo defs;
+typedef struct _PreserveInfo {
+    struct list entry;
     short matchingMapIndex;
     unsigned char indexMods;
     unsigned char preMods;
@@ -41,203 +37,160 @@ typedef struct _PreserveInfo
     unsigned short preVMods;
 } PreserveInfo;
 
-#define        _KT_Name        (1<<0)
-#define        _KT_Mask        (1<<1)
-#define        _KT_Map         (1<<2)
-#define        _KT_Preserve    (1<<3)
-#define        _KT_LevelNames  (1<<4)
+#define _KT_Name       (1 << 0)
+#define _KT_Mask       (1 << 1)
+#define _KT_Map        (1 << 2)
+#define _KT_Preserve   (1 << 3)
+#define _KT_LevelNames (1 << 4)
 
-typedef struct _KeyTypeInfo
-{
-    CommonInfo defs;
-    Display *dpy;
-    Atom name;
-    int fileID;
+typedef struct _KeyTypeInfo {
+    unsigned short defined;
+    unsigned file_id;
+    enum merge_mode merge;
+    struct list entry;
+
+    xkb_atom_t name;
     unsigned mask;
     unsigned vmask;
-    Bool groupInfo;
-    int numLevels;
-    int nEntries;
-    int szEntries;
-    XkbKTMapEntryPtr entries;
-    PreserveInfo *preserve;
-    int szNames;
-    Atom *lvlNames;
+    unsigned numLevels;
+    darray(struct xkb_kt_map_entry) entries;
+    struct list preserves;
+    darray(xkb_atom_t) lvlNames;
 } KeyTypeInfo;
 
-typedef struct _KeyTypesInfo
-{
-    Display *dpy;
+typedef struct _KeyTypesInfo {
     char *name;
     int errorCount;
-    int fileID;
+    unsigned file_id;
     unsigned stdPresent;
-    int nTypes;
-    KeyTypeInfo *types;
+    unsigned nTypes;
+    struct list types;
     KeyTypeInfo dflt;
     VModInfo vmods;
-} KeyTypesInfo;
 
-Atom tok_ONE_LEVEL;
-Atom tok_TWO_LEVEL;
-Atom tok_ALPHABETIC;
-Atom tok_KEYPAD;
+    xkb_atom_t tok_ONE_LEVEL;
+    xkb_atom_t tok_TWO_LEVEL;
+    xkb_atom_t tok_ALPHABETIC;
+    xkb_atom_t tok_KEYPAD;
+} KeyTypesInfo;
 
 /***====================================================================***/
 
-#define        ReportTypeShouldBeArray(t,f) \
-       ReportShouldBeArray("key type",(f),TypeTxt(t))
-#define        ReportTypeBadType(t,f,w) \
-       ReportBadType("key type",(f),TypeTxt(t),(w))
+static inline const char *
+MapEntryTxt(struct xkb_keymap *keymap, struct xkb_kt_map_entry *entry)
+{
+    return XkbcVModMaskText(keymap, entry->mods.real_mods, entry->mods.vmods);
+}
+
+static inline const char *
+PreserveIndexTxt(struct xkb_keymap *keymap, PreserveInfo *pi)
+{
+    return XkbcVModMaskText(keymap, pi->indexMods, pi->indexVMods);
+}
 
-/***====================================================================***/
+static inline const char *
+PreserveTxt(struct xkb_keymap *keymap, PreserveInfo *pi)
+{
+    return XkbcVModMaskText(keymap, pi->preMods, pi->preVMods);
+}
+
+static inline const char *
+TypeTxt(struct xkb_keymap *keymap, KeyTypeInfo *type)
+{
+    return xkb_atom_text(keymap->ctx, type->name);
+}
+
+static inline const char *
+TypeMaskTxt(struct xkb_keymap *keymap, KeyTypeInfo *type)
+{
+    return XkbcVModMaskText(keymap, type->mask, type->vmask);
+}
 
-extern Bool AddMapEntry(XkbDescPtr /* xkb */ ,
-                        KeyTypeInfo * /* type */ ,
-                        XkbKTMapEntryPtr /* new */ ,
-                        Bool /* clobber */ ,
-                        Bool    /* report */
-    );
-
-extern Bool AddPreserve(XkbDescPtr /* xkb */ ,
-                        KeyTypeInfo * /* type */ ,
-                        PreserveInfo * /* new */ ,
-                        Bool /* clobber */ ,
-                        Bool    /* report */
-    );
-
-extern Bool AddLevelName(KeyTypeInfo * /* type */ ,
-                         unsigned /* level */ ,
-                         Atom /* name */ ,
-                         Bool /* clobber */ ,
-                         Bool   /* report */
-    );
-
-#define        MapEntryTxt(t,x,e)      \
-    XkbVModMaskText((t)->dpy,(x),(e)->mods.real_mods,(e)->mods.vmods,XkbMessage)
-#define        PreserveIndexTxt(t,x,p) \
-       XkbVModMaskText((t)->dpy,(x),(p)->indexMods,(p)->indexVMods,XkbMessage)
-#define        PreserveTxt(t,x,p)      \
-       XkbVModMaskText((t)->dpy,(x),(p)->preMods,(p)->preVMods,XkbMessage)
-#define        TypeTxt(t)      XkbAtomText((t)->dpy,(t)->name,XkbMessage)
-#define        TypeMaskTxt(t,x)        \
-       XkbVModMaskText((t)->dpy,(x),(t)->mask,(t)->vmask,XkbMessage)
+static inline bool
+ReportTypeShouldBeArray(struct xkb_keymap *keymap, KeyTypeInfo *type,
+                        const char *field)
+{
+    return ReportShouldBeArray("key type", field, TypeTxt(keymap, type));
+}
+
+static inline bool
+ReportTypeBadType(struct xkb_keymap *keymap, KeyTypeInfo *type,
+                  const char *field, const char *wanted)
+{
+    return ReportBadType("key type", field, TypeTxt(keymap, type), wanted);
+}
 
 /***====================================================================***/
 
 static void
-InitKeyTypesInfo(KeyTypesInfo * info, XkbDescPtr xkb, KeyTypesInfo * from)
+InitKeyTypesInfo(KeyTypesInfo *info, struct xkb_keymap *keymap,
+                 KeyTypesInfo *from, unsigned file_id)
 {
-    tok_ONE_LEVEL = XkbInternAtom(NULL, "ONE_LEVEL", False);
-    tok_TWO_LEVEL = XkbInternAtom(NULL, "TWO_LEVEL", False);
-    tok_ALPHABETIC = XkbInternAtom(NULL, "ALPHABETIC", False);
-    tok_KEYPAD = XkbInternAtom(NULL, "KEYPAD", False);
-    info->dpy = NULL;
-    info->name = uStringDup("default");
+    PreserveInfo *old, *new;
+
+    info->tok_ONE_LEVEL = xkb_atom_intern(keymap->ctx, "ONE_LEVEL");
+    info->tok_TWO_LEVEL = xkb_atom_intern(keymap->ctx, "TWO_LEVEL");
+    info->tok_ALPHABETIC = xkb_atom_intern(keymap->ctx, "ALPHABETIC");
+    info->tok_KEYPAD = xkb_atom_intern(keymap->ctx, "KEYPAD");
+    info->name = strdup("default");
     info->errorCount = 0;
     info->stdPresent = 0;
     info->nTypes = 0;
-    info->types = NULL;
-    info->dflt.defs.defined = 0;
-    info->dflt.defs.fileID = 0;
-    info->dflt.defs.merge = MergeOverride;
-    info->dflt.defs.next = NULL;
-    info->dflt.name = None;
+    list_init(&info->types);
+    info->file_id = file_id;
+    info->dflt.defined = 0;
+    info->dflt.file_id = file_id;
+    info->dflt.merge = MERGE_OVERRIDE;
+    info->dflt.name = XKB_ATOM_NONE;
     info->dflt.mask = 0;
     info->dflt.vmask = 0;
-    info->dflt.groupInfo = False;
     info->dflt.numLevels = 1;
-    info->dflt.nEntries = info->dflt.szEntries = 0;
-    info->dflt.entries = NULL;
-    info->dflt.szNames = 0;
-    info->dflt.lvlNames = NULL;
-    info->dflt.preserve = NULL;
-    InitVModInfo(&info->vmods, xkb);
-    if (from != NULL)
-    {
-        info->dpy = from->dpy;
-        info->dflt = from->dflt;
-        if (from->dflt.entries)
-        {
-            info->dflt.entries = uTypedCalloc(from->dflt.szEntries,
-                                              XkbKTMapEntryRec);
-            if (info->dflt.entries)
-            {
-                unsigned sz = from->dflt.nEntries * sizeof(XkbKTMapEntryRec);
-                memcpy(info->dflt.entries, from->dflt.entries, sz);
-            }
-        }
-        if (from->dflt.lvlNames)
-        {
-            info->dflt.lvlNames = uTypedCalloc(from->dflt.szNames, Atom);
-            if (info->dflt.lvlNames)
-            {
-                register unsigned sz = from->dflt.szNames * sizeof(Atom);
-                memcpy(info->dflt.lvlNames, from->dflt.lvlNames, sz);
-            }
-        }
-        if (from->dflt.preserve)
-        {
-            PreserveInfo *old, *new, *last;
-            last = NULL;
-            old = from->dflt.preserve;
-            for (; old; old = (PreserveInfo *) old->defs.next)
-            {
-                new = uTypedAlloc(PreserveInfo);
-                if (!new)
-                    return;
-                *new = *old;
-                new->defs.next = NULL;
-                if (last)
-                    last->defs.next = (CommonInfo *) new;
-                else
-                    info->dflt.preserve = new;
-                last = new;
-            }
-        }
+    darray_init(info->dflt.entries);
+    darray_init(info->dflt.lvlNames);
+    list_init(&info->dflt.preserves);
+    InitVModInfo(&info->vmods, keymap);
+
+    if (!from)
+        return;
+
+    info->dflt = from->dflt;
+
+    darray_copy(info->dflt.entries, from->dflt.entries);
+    darray_copy(info->dflt.lvlNames, from->dflt.lvlNames);
+
+    list_init(&info->dflt.preserves);
+    list_foreach(old, &from->dflt.preserves, entry) {
+        new = malloc(sizeof(*new));
+        if (!new)
+            return;
+
+        *new = *old;
+        list_append(&new->entry, &info->dflt.preserves);
     }
-    return;
 }
 
 static void
 FreeKeyTypeInfo(KeyTypeInfo * type)
 {
-    if (type->entries != NULL)
-    {
-        uFree(type->entries);
-        type->entries = NULL;
-    }
-    if (type->lvlNames != NULL)
-    {
-        uFree(type->lvlNames);
-        type->lvlNames = NULL;
-    }
-    if (type->preserve != NULL)
-    {
-        ClearCommonInfo(&type->preserve->defs);
-        type->preserve = NULL;
-    }
-    return;
+    PreserveInfo *pi, *next_pi;
+    darray_free(type->entries);
+    darray_free(type->lvlNames);
+    list_foreach_safe(pi, next_pi, &type->preserves, entry)
+        free(pi);
+    list_init(&type->preserves);
 }
 
 static void
 FreeKeyTypesInfo(KeyTypesInfo * info)
 {
-    info->dpy = NULL;
-    if (info->name)
-        uFree(info->name);
+    KeyTypeInfo *type, *next_type;
+    free(info->name);
     info->name = NULL;
-    if (info->types)
-    {
-        register KeyTypeInfo *type;
-        for (type = info->types; type; type = (KeyTypeInfo *) type->defs.next)
-        {
-            FreeKeyTypeInfo(type);
-        }
-        info->types = (KeyTypeInfo *) ClearCommonInfo(&info->types->defs);
+    list_foreach_safe(type, next_type, &info->types, entry) {
+        FreeKeyTypeInfo(type);
+        free(type);
     }
     FreeKeyTypeInfo(&info->dflt);
-    return;
 }
 
 static KeyTypeInfo *
@@ -245,16 +198,15 @@ NextKeyType(KeyTypesInfo * info)
 {
     KeyTypeInfo *type;
 
-    type = uTypedAlloc(KeyTypeInfo);
-    if (type != NULL)
-    {
-        bzero(type, sizeof(KeyTypeInfo));
-        type->defs.fileID = info->fileID;
-        type->dpy = info->dpy;
-        info->types = (KeyTypeInfo *) AddCommonInfo(&info->types->defs,
-                                                    (CommonInfo *) type);
-        info->nTypes++;
-    }
+    type = calloc(1, sizeof(*type));
+    if (!type)
+        return NULL;
+
+    list_init(&type->preserves);
+    type->file_id = info->file_id;
+
+    list_append(&type->entry, &info->types);
+    info->nTypes++;
     return type;
 }
 
@@ -263,51 +215,47 @@ FindMatchingKeyType(KeyTypesInfo * info, KeyTypeInfo * new)
 {
     KeyTypeInfo *old;
 
-    for (old = info->types; old; old = (KeyTypeInfo *) old->defs.next)
-    {
+    list_foreach(old, &info->types, entry)
         if (old->name == new->name)
             return old;
-    }
+
     return NULL;
 }
 
-static Bool
+static bool
 ReportTypeBadWidth(const char *type, int has, int needs)
 {
-    ERROR3("Key type \"%s\" has %d levels, must have %d\n", type, has, needs);
+    ERROR("Key type \"%s\" has %d levels, must have %d\n", type, has, needs);
     ACTION("Illegal type definition ignored\n");
-    return False;
+    return false;
 }
 
-static Bool
-AddKeyType(XkbDescPtr xkb, KeyTypesInfo * info, KeyTypeInfo * new)
+static bool
+AddKeyType(struct xkb_keymap *keymap, KeyTypesInfo *info, KeyTypeInfo *new)
 {
     KeyTypeInfo *old;
+    struct list type_entry, preserves_entry;
 
-    if (new->name == tok_ONE_LEVEL)
-    {
+    if (new->name == info->tok_ONE_LEVEL) {
         if (new->numLevels > 1)
             return ReportTypeBadWidth("ONE_LEVEL", new->numLevels, 1);
         info->stdPresent |= XkbOneLevelMask;
     }
-    else if (new->name == tok_TWO_LEVEL)
-    {
+    else if (new->name == info->tok_TWO_LEVEL) {
         if (new->numLevels > 2)
             return ReportTypeBadWidth("TWO_LEVEL", new->numLevels, 2);
         else if (new->numLevels < 2)
             new->numLevels = 2;
         info->stdPresent |= XkbTwoLevelMask;
     }
-    else if (new->name == tok_ALPHABETIC)
-    {
+    else if (new->name == info->tok_ALPHABETIC) {
         if (new->numLevels > 2)
             return ReportTypeBadWidth("ALPHABETIC", new->numLevels, 2);
         else if (new->numLevels < 2)
             new->numLevels = 2;
         info->stdPresent |= XkbAlphabeticMask;
     }
-    else if (new->name == tok_KEYPAD)
-    {
+    else if (new->name == info->tok_KEYPAD) {
         if (new->numLevels > 2)
             return ReportTypeBadWidth("KEYPAD", new->numLevels, 2);
         else if (new->numLevels < 2)
@@ -316,295 +264,209 @@ AddKeyType(XkbDescPtr xkb, KeyTypesInfo * info, KeyTypeInfo * new)
     }
 
     old = FindMatchingKeyType(info, new);
-    if (old != NULL)
-    {
-        Bool report;
-        if ((new->defs.merge == MergeReplace)
-            || (new->defs.merge == MergeOverride))
-        {
-            KeyTypeInfo *next = (KeyTypeInfo *) old->defs.next;
-            if (((old->defs.fileID == new->defs.fileID)
-                 && (warningLevel > 0)) || (warningLevel > 9))
-            {
-                WARN1("Multiple definitions of the %s key type\n",
-                      XkbAtomGetString(NULL, new->name));
+    if (old) {
+        if (new->merge == MERGE_REPLACE || new->merge == MERGE_OVERRIDE) {
+            if ((old->file_id == new->file_id && warningLevel > 0) ||
+                warningLevel > 9) {
+                WARN("Multiple definitions of the %s key type\n",
+                     xkb_atom_text(keymap->ctx, new->name));
                 ACTION("Earlier definition ignored\n");
             }
+
+            type_entry = old->entry;
             FreeKeyTypeInfo(old);
             *old = *new;
-            new->szEntries = new->nEntries = 0;
-            new->entries = NULL;
-            new->preserve = NULL;
-            new->lvlNames = NULL;
-            old->defs.next = &next->defs;
-            return True;
+            old->entry = type_entry;
+            darray_init(new->entries);
+            darray_init(new->lvlNames);
+            list_init(&new->preserves);
+            return true;
         }
-        report = (old->defs.fileID == new->defs.fileID) && (warningLevel > 0);
-        if (report)
-        {
-            WARN1("Multiple definitions of the %s key type\n",
-                  XkbAtomGetString(NULL, new->name));
+
+        if (old->file_id == new->file_id && warningLevel > 0) {
+            WARN("Multiple definitions of the %s key type\n",
+                 xkb_atom_text(keymap->ctx, new->name));
             ACTION("Later definition ignored\n");
         }
+
         FreeKeyTypeInfo(new);
-        return True;
+        return true;
     }
+
     old = NextKeyType(info);
     if (old == NULL)
-        return False;
+        return false;
+    list_replace(&new->preserves, &old->preserves);
+    type_entry = old->entry;
+    preserves_entry = old->preserves;
     *old = *new;
-    old->defs.next = NULL;
-    new->nEntries = new->szEntries = 0;
-    new->entries = NULL;
-    new->szNames = 0;
-    new->lvlNames = NULL;
-    new->preserve = NULL;
-    return True;
+    old->preserves = preserves_entry;
+    old->entry = type_entry;
+    darray_init(new->entries);
+    darray_init(new->lvlNames);
+    list_init(&new->preserves);
+    return true;
 }
 
 /***====================================================================***/
 
 static void
-MergeIncludedKeyTypes(KeyTypesInfo * into,
-                      KeyTypesInfo * from, unsigned merge, XkbDescPtr xkb)
+MergeIncludedKeyTypes(KeyTypesInfo *into, KeyTypesInfo *from,
+                      enum merge_mode merge, struct xkb_keymap *keymap)
 {
-    KeyTypeInfo *type;
+    KeyTypeInfo *type, *next_type;
 
-    if (from->errorCount > 0)
-    {
+    if (from->errorCount > 0) {
         into->errorCount += from->errorCount;
         return;
     }
-    if (into->name == NULL)
-    {
+
+    if (into->name == NULL) {
         into->name = from->name;
         from->name = NULL;
     }
-    for (type = from->types; type; type = (KeyTypeInfo *) type->defs.next)
-    {
-        if (merge != MergeDefault)
-            type->defs.merge = merge;
-        if (!AddKeyType(xkb, into, type))
+
+    list_foreach_safe(type, next_type, &from->types, entry) {
+        type->merge = (merge == MERGE_DEFAULT ? type->merge : merge);
+        if (!AddKeyType(keymap, into, type))
             into->errorCount++;
     }
+
     into->stdPresent |= from->stdPresent;
-    return;
 }
 
-typedef void (*FileHandler) (XkbFile * /* file */ ,
-                             XkbDescPtr /* xkb */ ,
-                             unsigned /* merge */ ,
-                             KeyTypesInfo *     /* included */
-    );
+static void
+HandleKeyTypesFile(XkbFile *file, struct xkb_keymap *keymap,
+                   enum merge_mode merge,
+                   KeyTypesInfo *info);
 
-static Bool
-HandleIncludeKeyTypes(IncludeStmt * stmt,
-                      XkbDescPtr xkb, KeyTypesInfo * info, FileHandler hndlr)
+static bool
+HandleIncludeKeyTypes(IncludeStmt *stmt, struct xkb_keymap *keymap,
+                      KeyTypesInfo *info)
 {
-    unsigned newMerge;
+    enum merge_mode merge = MERGE_DEFAULT;
     XkbFile *rtrn;
-    KeyTypesInfo included;
-    Bool haveSelf;
+    KeyTypesInfo included, next_incl;
 
-    haveSelf = False;
-    if ((stmt->file == NULL) && (stmt->map == NULL))
-    {
-        haveSelf = True;
-        included = *info;
-        bzero(info, sizeof(KeyTypesInfo));
-    }
-    else if (ProcessIncludeFile(stmt, XkmTypesIndex, &rtrn, &newMerge))
-    {
-        InitKeyTypesInfo(&included, xkb, info);
-        included.fileID = included.dflt.defs.fileID = rtrn->id;
-        included.dflt.defs.merge = newMerge;
-
-        (*hndlr) (rtrn, xkb, newMerge, &included);
-        if (stmt->stmt != NULL)
-        {
-            if (included.name != NULL)
-                uFree(included.name);
-            included.name = stmt->stmt;
-            stmt->stmt = NULL;
-        }
+    InitKeyTypesInfo(&included, keymap, info, info->file_id);
+    if (stmt->stmt) {
+        free(included.name);
+        included.name = stmt->stmt;
+        stmt->stmt = NULL;
     }
-    else
-    {
-        info->errorCount += 10;
-        return False;
-    }
-    if ((stmt->next != NULL) && (included.errorCount < 1))
-    {
-        IncludeStmt *next;
-        unsigned op;
-        KeyTypesInfo next_incl;
-
-        for (next = stmt->next; next != NULL; next = next->next)
-        {
-            if ((next->file == NULL) && (next->map == NULL))
-            {
-                haveSelf = True;
-                MergeIncludedKeyTypes(&included, info, next->merge, xkb);
-                FreeKeyTypesInfo(info);
-            }
-            else if (ProcessIncludeFile(next, XkmTypesIndex, &rtrn, &op))
-            {
-                InitKeyTypesInfo(&next_incl, xkb, &included);
-                next_incl.fileID = next_incl.dflt.defs.fileID = rtrn->id;
-                next_incl.dflt.defs.merge = op;
-                (*hndlr) (rtrn, xkb, op, &next_incl);
-                MergeIncludedKeyTypes(&included, &next_incl, op, xkb);
-                FreeKeyTypesInfo(&next_incl);
-            }
-            else
-            {
-                info->errorCount += 10;
-                return False;
-            }
+
+    for (; stmt; stmt = stmt->next) {
+        if (!ProcessIncludeFile(keymap->ctx, stmt, FILE_TYPE_TYPES,
+                                &rtrn, &merge)) {
+            info->errorCount += 10;
+            FreeKeyTypesInfo(&included);
+            return false;
         }
+
+        InitKeyTypesInfo(&next_incl, keymap, &included, rtrn->id);
+        next_incl.dflt.merge = merge;
+
+        HandleKeyTypesFile(rtrn, keymap, merge, &next_incl);
+
+        MergeIncludedKeyTypes(&included, &next_incl, merge, keymap);
+
+        FreeKeyTypesInfo(&next_incl);
+        FreeXKBFile(rtrn);
     }
-    if (haveSelf)
-        *info = included;
-    else
-    {
-        MergeIncludedKeyTypes(info, &included, newMerge, xkb);
-        FreeKeyTypesInfo(&included);
-    }
+
+    MergeIncludedKeyTypes(info, &included, merge, keymap);
+    FreeKeyTypesInfo(&included);
+
     return (info->errorCount == 0);
 }
 
 /***====================================================================***/
 
-static XkbKTMapEntryPtr
+static struct xkb_kt_map_entry *
 FindMatchingMapEntry(KeyTypeInfo * type, unsigned mask, unsigned vmask)
 {
-    register int i;
-    XkbKTMapEntryPtr entry;
+    struct xkb_kt_map_entry *entry;
+
+    darray_foreach(entry, type->entries)
+    if (entry->mods.real_mods == mask && entry->mods.vmods == vmask)
+        return entry;
 
-    for (i = 0, entry = type->entries; i < type->nEntries; i++, entry++)
-    {
-        if ((entry->mods.real_mods == mask) && (entry->mods.vmods == vmask))
-            return entry;
-    }
     return NULL;
 }
 
 static void
 DeleteLevel1MapEntries(KeyTypeInfo * type)
 {
-    register int i, n;
-
-    for (i = 0; i < type->nEntries; i++)
-    {
-        if (type->entries[i].level == 0)
-        {
-            for (n = i; n < type->nEntries - 1; n++)
-            {
-                type->entries[n] = type->entries[n + 1];
-            }
-            type->nEntries--;
+    unsigned int i, n;
+
+    /* TODO: Be just a bit more clever here. */
+    for (i = 0; i < darray_size(type->entries); i++) {
+        if (darray_item(type->entries, i).level == 0) {
+            for (n = i; n < darray_size(type->entries) - 1; n++)
+                darray_item(type->entries, n) =
+                    darray_item(type->entries, n + 1);
+            (void) darray_pop(type->entries);
         }
     }
-    return;
 }
 
-/**
- * Return a pointer to the next free XkbKTMapEntry, reallocating space if
- * necessary.
- */
-static XkbKTMapEntryPtr
-NextMapEntry(KeyTypeInfo * type)
+static struct xkb_kt_map_entry *
+NextMapEntry(struct xkb_keymap *keymap, KeyTypeInfo * type)
 {
-    if (type->entries == NULL)
-    {
-        type->entries = uTypedCalloc(2, XkbKTMapEntryRec);
-        if (type->entries == NULL)
-        {
-            ERROR1("Couldn't allocate map entries for %s\n", TypeTxt(type));
-            ACTION("Map entries lost\n");
-            return NULL;
-        }
-        type->szEntries = 2;
-        type->nEntries = 0;
-    }
-    else if (type->nEntries >= type->szEntries)
-    {
-        type->szEntries *= 2;
-        type->entries = uTypedRecalloc(type->entries,
-                                       type->nEntries, type->szEntries,
-                                       XkbKTMapEntryRec);
-        if (type->entries == NULL)
-        {
-            ERROR1("Couldn't reallocate map entries for %s\n", TypeTxt(type));
-            ACTION("Map entries lost\n");
-            return NULL;
-        }
-    }
-    return &type->entries[type->nEntries++];
+    darray_resize0(type->entries, darray_size(type->entries) + 1);
+    return &darray_item(type->entries, darray_size(type->entries) - 1);
 }
 
-Bool
-AddPreserve(XkbDescPtr xkb,
-            KeyTypeInfo * type, PreserveInfo * new, Bool clobber, Bool report)
+static bool
+AddPreserve(struct xkb_keymap *keymap, KeyTypeInfo *type,
+            PreserveInfo *new, bool clobber, bool report)
 {
     PreserveInfo *old;
 
-    old = type->preserve;
-    while (old != NULL)
-    {
-        if ((old->indexMods != new->indexMods) ||
-            (old->indexVMods != new->indexVMods))
-        {
-            old = (PreserveInfo *) old->defs.next;
+    list_foreach(old, &type->preserves, entry) {
+        if (old->indexMods != new->indexMods ||
+            old->indexVMods != new->indexVMods)
             continue;
-        }
-        if ((old->preMods == new->preMods)
-            && (old->preVMods == new->preVMods))
-        {
-            if (warningLevel > 9)
-            {
-                WARN2("Identical definitions for preserve[%s] in %s\n",
-                      PreserveIndexTxt(type, xkb, old), TypeTxt(type));
+
+        if (old->preMods == new->preMods && old->preVMods == new->preVMods) {
+            if (warningLevel > 9) {
+                WARN("Identical definitions for preserve[%s] in %s\n",
+                     PreserveIndexTxt(keymap, old), TypeTxt(keymap, type));
                 ACTION("Ignored\n");
             }
-            return True;
+            return true;
         }
-        if (report && (warningLevel > 0))
-        {
-            char *str;
-            WARN2("Multiple definitions for preserve[%s] in %s\n",
-                  PreserveIndexTxt(type, xkb, old), TypeTxt(type));
 
-            if (clobber)
-                str = PreserveTxt(type, xkb, new);
-            else
-                str = PreserveTxt(type, xkb, old);
-            ACTION1("Using %s, ", str);
-            if (clobber)
-                str = PreserveTxt(type, xkb, old);
-            else
-                str = PreserveTxt(type, xkb, new);
-            INFO1("ignoring %s\n", str);
+        if (report && warningLevel > 0) {
+            const char *str;
+            WARN("Multiple definitions for preserve[%s] in %s\n",
+                 PreserveIndexTxt(keymap, old), TypeTxt(keymap, type));
+            str = PreserveTxt(keymap, clobber ? new : old);
+            ACTION("Using %s, ", str);
+            str = PreserveTxt(keymap, clobber ? old : new);
+            INFO("ignoring %s\n", str);
         }
-        if (clobber)
-        {
+
+        if (clobber) {
             old->preMods = new->preMods;
             old->preVMods = new->preVMods;
         }
-        return True;
+
+        return true;
     }
-    old = uTypedAlloc(PreserveInfo);
-    if (!old)
-    {
-        WSGO1("Couldn't allocate preserve in %s\n", TypeTxt(type));
-        ACTION1("Preserve[%s] lost\n", PreserveIndexTxt(type, xkb, old));
-        return False;
+
+    old = malloc(sizeof(*old));
+    if (!old) {
+        WSGO("Couldn't allocate preserve in %s\n", TypeTxt(keymap, type));
+        ACTION("Preserve[%s] lost\n", PreserveIndexTxt(keymap, new));
+        return false;
     }
+
     *old = *new;
     old->matchingMapIndex = -1;
-    type->preserve =
-        (PreserveInfo *) AddCommonInfo(&type->preserve->defs, &old->defs);
-    return True;
+    list_append(&old->entry, &type->preserves);
+
+    return true;
 }
 
 /**
@@ -613,260 +475,200 @@ AddPreserve(XkbDescPtr xkb,
  * entry is created.
  *
  * @param clobber Overwrite existing entry.
- * @param report True if a warning is to be printed on.
+ * @param report true if a warning is to be printed on.
  */
-Bool
-AddMapEntry(XkbDescPtr xkb,
-            KeyTypeInfo * type,
-            XkbKTMapEntryPtr new, Bool clobber, Bool report)
+static bool
+AddMapEntry(struct xkb_keymap *keymap, KeyTypeInfo *type,
+            struct xkb_kt_map_entry *new, bool clobber, bool report)
 {
-    XkbKTMapEntryPtr old;
+    struct xkb_kt_map_entry * old;
 
     if ((old =
-         FindMatchingMapEntry(type, new->mods.real_mods, new->mods.vmods)))
-    {
-        if (report && (old->level != new->level))
-        {
+             FindMatchingMapEntry(type, new->mods.real_mods,
+                                  new->mods.vmods))) {
+        if (report && (old->level != new->level)) {
             unsigned use, ignore;
-            if (clobber)
-            {
+            if (clobber) {
                 use = new->level + 1;
                 ignore = old->level + 1;
             }
-            else
-            {
+            else {
                 use = old->level + 1;
                 ignore = new->level + 1;
             }
-            WARN2("Multiple map entries for %s in %s\n",
-                  MapEntryTxt(type, xkb, new), TypeTxt(type));
-            ACTION2("Using %d, ignoring %d\n", use, ignore);
+            WARN("Multiple map entries for %s in %s\n",
+                 MapEntryTxt(keymap, new), TypeTxt(keymap, type));
+            ACTION("Using %d, ignoring %d\n", use, ignore);
         }
-        else if (warningLevel > 9)
-        {
-            WARN3("Multiple occurences of map[%s]= %d in %s\n",
-                  MapEntryTxt(type, xkb, new), new->level + 1, TypeTxt(type));
+        else if (warningLevel > 9) {
+            WARN("Multiple occurences of map[%s]= %d in %s\n",
+                 MapEntryTxt(keymap, new), new->level + 1,
+                 TypeTxt(keymap, type));
             ACTION("Ignored\n");
-            return True;
+            return true;
         }
         if (clobber)
             old->level = new->level;
-        return True;
+        return true;
     }
-    if ((old = NextMapEntry(type)) == NULL)
-        return False;           /* allocation failure, already reported */
+    if ((old = NextMapEntry(keymap, type)) == NULL)
+        return false;           /* allocation failure, already reported */
     if (new->level >= type->numLevels)
         type->numLevels = new->level + 1;
-    if (new->mods.vmods == 0)
-        old->active = True;
-    else
-        old->active = False;
     old->mods.mask = new->mods.real_mods;
     old->mods.real_mods = new->mods.real_mods;
     old->mods.vmods = new->mods.vmods;
     old->level = new->level;
-    return True;
+    return true;
 }
 
-static LookupEntry lnames[] = {
-    {"level1", 1},
-    {"level2", 2},
-    {"level3", 3},
-    {"level4", 4},
-    {"level5", 5},
-    {"level6", 6},
-    {"level7", 7},
-    {"level8", 8},
-    {NULL, 0}
-};
-
-static Bool
-SetMapEntry(KeyTypeInfo * type,
-            XkbDescPtr xkb, ExprDef * arrayNdx, ExprDef * value)
+static bool
+SetMapEntry(KeyTypeInfo *type, struct xkb_keymap *keymap, ExprDef *arrayNdx,
+            ExprDef *value)
 {
     ExprResult rtrn;
-    XkbKTMapEntryRec entry;
+    struct xkb_kt_map_entry entry;
 
     if (arrayNdx == NULL)
-        return ReportTypeShouldBeArray(type, "map entry");
-    if (!ExprResolveModMask(arrayNdx, &rtrn, LookupVModMask, (XPointer) xkb))
-        return ReportTypeBadType(type, "map entry", "modifier mask");
+        return ReportTypeShouldBeArray(keymap, type, "map entry");
+    if (!ExprResolveVModMask(arrayNdx, &rtrn, keymap))
+        return ReportTypeBadType(keymap, type, "map entry", "modifier mask");
     entry.mods.real_mods = rtrn.uval & 0xff;      /* modifiers < 512 */
     entry.mods.vmods = (rtrn.uval >> 8) & 0xffff; /* modifiers > 512 */
     if ((entry.mods.real_mods & (~type->mask)) ||
-        ((entry.mods.vmods & (~type->vmask)) != 0))
-    {
-        if (warningLevel > 0)
-        {
-            WARN1("Map entry for unused modifiers in %s\n", TypeTxt(type));
-            ACTION1("Using %s instead of ",
-                    XkbVModMaskText(type->dpy, xkb,
+        ((entry.mods.vmods & (~type->vmask)) != 0)) {
+        if (warningLevel > 0) {
+            WARN("Map entry for unused modifiers in %s\n",
+                 TypeTxt(keymap, type));
+            ACTION("Using %s instead of ",
+                   XkbcVModMaskText(keymap,
                                     entry.mods.real_mods & type->mask,
-                                    entry.mods.vmods & type->vmask,
-                                    XkbMessage));
-            INFO1("%s\n", MapEntryTxt(type, xkb, &entry));
+                                    entry.mods.vmods & type->vmask));
+            INFO("%s\n", MapEntryTxt(keymap, &entry));
         }
         entry.mods.real_mods &= type->mask;
         entry.mods.vmods &= type->vmask;
     }
-    if (!ExprResolveInteger(value, &rtrn, SimpleLookup, (XPointer) lnames))
-    {
+    if (!ExprResolveLevel(keymap->ctx, value, &rtrn)) {
         ERROR("Level specifications in a key type must be integer\n");
         ACTION("Ignoring malformed level specification\n");
-        return False;
-    }
-    if ((rtrn.ival < 1) || (rtrn.ival > XkbMaxShiftLevel + 1))
-    {
-        ERROR3("Shift level %d out of range (1..%d) in key type %s\n",
-               XkbMaxShiftLevel + 1, rtrn.ival, TypeTxt(type));
-        ACTION1("Ignoring illegal definition of map[%s]\n",
-                MapEntryTxt(type, xkb, &entry));
-        return False;
+        return false;
     }
     entry.level = rtrn.ival - 1;
-    return AddMapEntry(xkb, type, &entry, True, True);
+    return AddMapEntry(keymap, type, &entry, true, true);
 }
 
-static Bool
-SetPreserve(KeyTypeInfo * type,
-            XkbDescPtr xkb, ExprDef * arrayNdx, ExprDef * value)
+static bool
+SetPreserve(KeyTypeInfo *type, struct xkb_keymap *keymap,
+            ExprDef *arrayNdx, ExprDef *value)
 {
     ExprResult rtrn;
     PreserveInfo new;
 
     if (arrayNdx == NULL)
-        return ReportTypeShouldBeArray(type, "preserve entry");
-    if (!ExprResolveModMask(arrayNdx, &rtrn, LookupVModMask, (XPointer) xkb))
-        return ReportTypeBadType(type, "preserve entry", "modifier mask");
-    new.defs = type->defs;
-    new.defs.next = NULL;
+        return ReportTypeShouldBeArray(keymap, type, "preserve entry");
+    if (!ExprResolveVModMask(arrayNdx, &rtrn, keymap))
+        return ReportTypeBadType(keymap, type, "preserve entry",
+                                 "modifier mask");
     new.indexMods = rtrn.uval & 0xff;
     new.indexVMods = (rtrn.uval >> 8) & 0xffff;
-    if ((new.indexMods & (~type->mask)) || (new.indexVMods & (~type->vmask)))
-    {
-        if (warningLevel > 0)
-        {
-            WARN1("Preserve for modifiers not used by the %s type\n",
-                  TypeTxt(type));
-            ACTION1("Index %s converted to ",
-                    PreserveIndexTxt(type, xkb, &new));
+    if ((new.indexMods & (~type->mask)) ||
+        (new.indexVMods & (~type->vmask))) {
+        if (warningLevel > 0) {
+            WARN("Preserve for modifiers not used by the %s type\n",
+                 TypeTxt(keymap, type));
+            ACTION("Index %s converted to ", PreserveIndexTxt(keymap, &new));
         }
         new.indexMods &= type->mask;
         new.indexVMods &= type->vmask;
         if (warningLevel > 0)
-            INFO1("%s\n", PreserveIndexTxt(type, xkb, &new));
+            INFO("%s\n", PreserveIndexTxt(keymap, &new));
     }
-    if (!ExprResolveModMask(value, &rtrn, LookupVModMask, (XPointer) xkb))
-    {
+    if (!ExprResolveVModMask(value, &rtrn, keymap)) {
         ERROR("Preserve value in a key type is not a modifier mask\n");
-        ACTION2("Ignoring preserve[%s] in type %s\n",
-                PreserveIndexTxt(type, xkb, &new), TypeTxt(type));
-        return False;
+        ACTION("Ignoring preserve[%s] in type %s\n",
+               PreserveIndexTxt(keymap, &new), TypeTxt(keymap, type));
+        return false;
     }
     new.preMods = rtrn.uval & 0xff;
     new.preVMods = (rtrn.uval >> 16) & 0xffff;
     if ((new.preMods & (~new.indexMods))
-        || (new.preVMods && (~new.indexVMods)))
-    {
-        if (warningLevel > 0)
-        {
-            WARN2("Illegal value for preserve[%s] in type %s\n",
-                  PreserveTxt(type, xkb, &new), TypeTxt(type));
-            ACTION1("Converted %s to ", PreserveIndexTxt(type, xkb, &new));
+        || (new.preVMods & (~new.indexVMods))) {
+        if (warningLevel > 0) {
+            WARN("Illegal value for preserve[%s] in type %s\n",
+                 PreserveTxt(keymap, &new), TypeTxt(keymap, type));
+            ACTION("Converted %s to ", PreserveIndexTxt(keymap, &new));
         }
         new.preMods &= new.indexMods;
         new.preVMods &= new.indexVMods;
-        if (warningLevel > 0)
-        {
-            INFO1("%s\n", PreserveIndexTxt(type, xkb, &new));
+        if (warningLevel > 0) {
+            INFO("%s\n", PreserveIndexTxt(keymap, &new));
         }
     }
-    return AddPreserve(xkb, type, &new, True, True);
+    return AddPreserve(keymap, type, &new, true, true);
 }
 
 /***====================================================================***/
 
-Bool
-AddLevelName(KeyTypeInfo * type,
-             unsigned level, Atom name, Bool clobber, Bool report)
+static bool
+AddLevelName(struct xkb_keymap *keymap, KeyTypeInfo *type,
+             unsigned level, xkb_atom_t name, bool clobber)
 {
-    if ((type->lvlNames == NULL) || (type->szNames <= level))
-    {
-        type->lvlNames =
-            uTypedRecalloc(type->lvlNames, type->szNames, level + 1, Atom);
-        if (type->lvlNames == NULL)
-        {
-            ERROR1("Couldn't allocate level names for type %s\n",
-                   TypeTxt(type));
-            ACTION("Level names lost\n");
-            type->szNames = 0;
-            return False;
-        }
-        type->szNames = level + 1;
-    }
-    else if (type->lvlNames[level] == name)
-    {
-        if (warningLevel > 9)
-        {
-            WARN2("Duplicate names for level %d of key type %s\n",
-                  level + 1, TypeTxt(type));
+    if (level >= darray_size(type->lvlNames))
+        darray_resize0(type->lvlNames, level + 1);
+
+    if (darray_item(type->lvlNames, level) == name) {
+        if (warningLevel > 9) {
+            WARN("Duplicate names for level %d of key type %s\n",
+                 level + 1, TypeTxt(keymap, type));
             ACTION("Ignored\n");
         }
-        return True;
+        return true;
     }
-    else if (type->lvlNames[level] != None)
-    {
-        if (warningLevel > 0)
-        {
-            char *old, *new;
-            old = XkbAtomText(type->dpy, type->lvlNames[level], XkbMessage);
-            new = XkbAtomText(type->dpy, name, XkbMessage);
-            WARN2("Multiple names for level %d of key type %s\n",
-                  level + 1, TypeTxt(type));
+    else if (darray_item(type->lvlNames, level) != XKB_ATOM_NONE) {
+        if (warningLevel > 0) {
+            const char *old, *new;
+            old = xkb_atom_text(keymap->ctx,
+                                darray_item(type->lvlNames, level));
+            new = xkb_atom_text(keymap->ctx, name);
+            WARN("Multiple names for level %d of key type %s\n",
+                 level + 1, TypeTxt(keymap, type));
             if (clobber)
-                ACTION2("Using %s, ignoring %s\n", new, old);
+                ACTION("Using %s, ignoring %s\n", new, old);
             else
-                ACTION2("Using %s, ignoring %s\n", old, new);
+                ACTION("Using %s, ignoring %s\n", old, new);
         }
+
         if (!clobber)
-            return True;
+            return true;
     }
-    if (level >= type->numLevels)
-        type->numLevels = level + 1;
-    type->lvlNames[level] = name;
-    return True;
+
+    darray_item(type->lvlNames, level) = name;
+    return true;
 }
 
-static Bool
-SetLevelName(KeyTypeInfo * type, ExprDef * arrayNdx, ExprDef * value)
+static bool
+SetLevelName(KeyTypeInfo *type, struct xkb_keymap *keymap, ExprDef *arrayNdx,
+             ExprDef *value)
 {
     ExprResult rtrn;
     unsigned level;
+    xkb_atom_t level_name;
 
     if (arrayNdx == NULL)
-        return ReportTypeShouldBeArray(type, "level name");
-    if (!ExprResolveInteger(arrayNdx, &rtrn, SimpleLookup, (XPointer) lnames))
-        return ReportTypeBadType(type, "level name", "integer");
-    if ((rtrn.ival < 1) || (rtrn.ival > XkbMaxShiftLevel + 1))
-    {
-        ERROR3("Level name %d out of range (1..%d) in key type %s\n",
-               rtrn.ival,
-               XkbMaxShiftLevel + 1,
-               XkbAtomText(type->dpy, type->name, XkbMessage));
-        ACTION("Ignoring illegal level name definition\n");
-        return False;
-    }
+        return ReportTypeShouldBeArray(keymap, type, "level name");
+    if (!ExprResolveLevel(keymap->ctx, arrayNdx, &rtrn))
+        return ReportTypeBadType(keymap, type, "level name", "integer");
     level = rtrn.ival - 1;
-    if (!ExprResolveString(value, &rtrn, NULL, NULL))
-    {
-        ERROR2("Non-string name for level %d in key type %s\n", level + 1,
-               XkbAtomText(type->dpy, type->name, XkbMessage));
+    if (!ExprResolveString(keymap->ctx, value, &rtrn)) {
+        ERROR("Non-string name for level %d in key type %s\n", level + 1,
+              xkb_atom_text(keymap->ctx, type->name));
         ACTION("Ignoring illegal level name definition\n");
-        return False;
+        return false;
     }
-    return
-        AddLevelName(type, level, XkbInternAtom(NULL, rtrn.str, False), True,
-                     True);
+    level_name = xkb_atom_intern(keymap->ctx, rtrn.str);
+    free(rtrn.str);
+    return AddLevelName(keymap, type, level, level_name, true);
 }
 
 /***====================================================================***/
@@ -876,110 +678,99 @@ SetLevelName(KeyTypeInfo * type, ExprDef * arrayNdx, ExprDef * value)
  *
  * @param field The field to parse (e.g. modifiers, map, level_name)
  */
-static Bool
-SetKeyTypeField(KeyTypeInfo * type,
-                XkbDescPtr xkb,
-                char *field,
-                ExprDef * arrayNdx, ExprDef * value, KeyTypesInfo * info)
+static bool
+SetKeyTypeField(KeyTypeInfo *type, struct xkb_keymap *keymap,
+                char *field, ExprDef *arrayNdx, ExprDef *value,
+                KeyTypesInfo *info)
 {
     ExprResult tmp;
 
-    if (uStrCaseCmp(field, "modifiers") == 0)
-    {
+    if (strcasecmp(field, "modifiers") == 0) {
         unsigned mods, vmods;
-        if (arrayNdx != NULL)
-        {
+        if (arrayNdx != NULL) {
             WARN("The modifiers field of a key type is not an array\n");
             ACTION("Illegal array subscript ignored\n");
         }
         /* get modifier mask for current type */
-        if (!ExprResolveModMask(value, &tmp, LookupVModMask, (XPointer) xkb))
-        {
+        if (!ExprResolveVModMask(value, &tmp, keymap)) {
             ERROR("Key type mask field must be a modifier mask\n");
             ACTION("Key type definition ignored\n");
-            return False;
+            return false;
         }
         mods = tmp.uval & 0xff; /* core mods */
         vmods = (tmp.uval >> 8) & 0xffff; /* xkb virtual mods */
-        if (type->defs.defined & _KT_Mask)
-        {
-            WARN1("Multiple modifier mask definitions for key type %s\n",
-                  XkbAtomText(type->dpy, type->name, XkbMessage));
-            ACTION1("Using %s, ", TypeMaskTxt(type, xkb));
-            INFO1("ignoring %s\n", XkbVModMaskText(type->dpy, xkb, mods,
-                                                   vmods, XkbMessage));
-            return False;
+        if (type->defined & _KT_Mask) {
+            WARN("Multiple modifier mask definitions for key type %s\n",
+                 xkb_atom_text(keymap->ctx, type->name));
+            ACTION("Using %s, ", TypeMaskTxt(keymap, type));
+            INFO("ignoring %s\n", XkbcVModMaskText(keymap, mods, vmods));
+            return false;
         }
         type->mask = mods;
         type->vmask = vmods;
-        type->defs.defined |= _KT_Mask;
-        return True;
+        type->defined |= _KT_Mask;
+        return true;
     }
-    else if (uStrCaseCmp(field, "map") == 0)
-    {
-        type->defs.defined |= _KT_Map;
-        return SetMapEntry(type, xkb, arrayNdx, value);
+    else if (strcasecmp(field, "map") == 0) {
+        type->defined |= _KT_Map;
+        return SetMapEntry(type, keymap, arrayNdx, value);
     }
-    else if (uStrCaseCmp(field, "preserve") == 0)
-    {
-        type->defs.defined |= _KT_Preserve;
-        return SetPreserve(type, xkb, arrayNdx, value);
+    else if (strcasecmp(field, "preserve") == 0) {
+        type->defined |= _KT_Preserve;
+        return SetPreserve(type, keymap, arrayNdx, value);
     }
-    else if ((uStrCaseCmp(field, "levelname") == 0) ||
-             (uStrCaseCmp(field, "level_name") == 0))
-    {
-        type->defs.defined |= _KT_LevelNames;
-        return SetLevelName(type, arrayNdx, value);
+    else if ((strcasecmp(field, "levelname") == 0) ||
+             (strcasecmp(field, "level_name") == 0)) {
+        type->defined |= _KT_LevelNames;
+        return SetLevelName(type, keymap, arrayNdx, value);
     }
-    ERROR2("Unknown field %s in key type %s\n", field, TypeTxt(type));
+    ERROR("Unknown field %s in key type %s\n", field, TypeTxt(keymap, type));
     ACTION("Definition ignored\n");
-    return False;
+    return false;
 }
 
-static Bool
-HandleKeyTypeVar(VarDef * stmt, XkbDescPtr xkb, KeyTypesInfo * info)
+static bool
+HandleKeyTypeVar(VarDef *stmt, struct xkb_keymap *keymap, KeyTypesInfo *info)
 {
     ExprResult elem, field;
     ExprDef *arrayNdx;
 
-    if (!ExprResolveLhs(stmt->name, &elem, &field, &arrayNdx))
-        return False;           /* internal error, already reported */
-    if (elem.str && (uStrCaseCmp(elem.str, "type") == 0))
-        return SetKeyTypeField(&info->dflt, xkb, field.str, arrayNdx,
+    if (!ExprResolveLhs(keymap, stmt->name, &elem, &field, &arrayNdx))
+        return false;           /* internal error, already reported */
+    if (elem.str && (strcasecmp(elem.str, "type") == 0))
+        return SetKeyTypeField(&info->dflt, keymap, field.str, arrayNdx,
                                stmt->value, info);
-    if (elem.str != NULL)
-    {
-        ERROR1("Default for unknown element %s\n", uStringText(elem.str));
-        ACTION1("Value for field %s ignored\n", uStringText(field.str));
+    if (elem.str != NULL) {
+        ERROR("Default for unknown element %s\n", uStringText(elem.str));
+        ACTION("Value for field %s ignored\n", uStringText(field.str));
     }
-    else if (field.str != NULL)
-    {
-        ERROR1("Default defined for unknown field %s\n",
-               uStringText(field.str));
+    else if (field.str != NULL) {
+        ERROR("Default defined for unknown field %s\n",
+              uStringText(field.str));
         ACTION("Ignored\n");
     }
-    return False;
+    return false;
 }
 
 static int
-HandleKeyTypeBody(VarDef * def,
-                  XkbDescPtr xkb, KeyTypeInfo * type, KeyTypesInfo * info)
+HandleKeyTypeBody(VarDef *def, struct xkb_keymap *keymap,
+                  KeyTypeInfo *type, KeyTypesInfo *info)
 {
     int ok = 1;
     ExprResult tmp, field;
     ExprDef *arrayNdx;
 
-    for (; def != NULL; def = (VarDef *) def->common.next)
-    {
-        if ((def->name) && (def->name->type == ExprFieldRef))
-        {
-            ok = HandleKeyTypeVar(def, xkb, info);
+    for (; def != NULL; def = (VarDef *) def->common.next) {
+        if ((def->name) && (def->name->type == ExprFieldRef)) {
+            ok = HandleKeyTypeVar(def, keymap, info);
             continue;
         }
-        ok = ExprResolveLhs(def->name, &tmp, &field, &arrayNdx);
-        if (ok)
-            ok = SetKeyTypeField(type, xkb, field.str, arrayNdx, def->value,
-                                 info);
+        ok = ExprResolveLhs(keymap, def->name, &tmp, &field, &arrayNdx);
+        if (ok) {
+            ok = SetKeyTypeField(type, keymap, field.str, arrayNdx,
+                                 def->value, info);
+            free(field.str);
+        }
     }
     return ok;
 }
@@ -989,113 +780,97 @@ HandleKeyTypeBody(VarDef * def,
  *
  */
 static int
-HandleKeyTypeDef(KeyTypeDef * def,
-                 XkbDescPtr xkb, unsigned merge, KeyTypesInfo * info)
+HandleKeyTypeDef(KeyTypeDef *def, struct xkb_keymap *keymap,
+                 enum merge_mode merge, KeyTypesInfo *info)
 {
-    register int i;
+    unsigned int i;
     KeyTypeInfo type;
+    struct xkb_kt_map_entry *entry;
+    PreserveInfo *pi, *pi_next;
 
-    if (def->merge != MergeDefault)
+    if (def->merge != MERGE_DEFAULT)
         merge = def->merge;
 
-    type.defs.defined = 0;
-    type.defs.fileID = info->fileID;
-    type.defs.merge = merge;
-    type.defs.next = NULL;
-    type.dpy = info->dpy;
+    type.defined = 0;
+    type.file_id = info->file_id;
+    type.merge = merge;
     type.name = def->name;
     type.mask = info->dflt.mask;
     type.vmask = info->dflt.vmask;
-    type.groupInfo = info->dflt.groupInfo;
     type.numLevels = 1;
-    type.nEntries = type.szEntries = 0;
-    type.entries = NULL;
-    type.szNames = 0;
-    type.lvlNames = NULL;
-    type.preserve = NULL;
+    darray_init(type.entries);
+    darray_init(type.lvlNames);
+    list_init(&type.preserves);
 
     /* Parse the actual content. */
-    if (!HandleKeyTypeBody(def->body, xkb, &type, info))
-    {
+    if (!HandleKeyTypeBody(def->body, keymap, &type, info)) {
         info->errorCount++;
-        return False;
+        return false;
     }
 
     /* now copy any appropriate map, preserve or level names from the */
     /* default type */
-    for (i = 0; i < info->dflt.nEntries; i++)
-    {
-        XkbKTMapEntryPtr dflt;
-        dflt = &info->dflt.entries[i];
-        if (((dflt->mods.real_mods & type.mask) == dflt->mods.real_mods) &&
-            ((dflt->mods.vmods & type.vmask) == dflt->mods.vmods))
-        {
-            AddMapEntry(xkb, &type, dflt, False, False);
-        }
+    darray_foreach(entry, info->dflt.entries) {
+        if ((entry->mods.real_mods & type.mask) == entry->mods.real_mods &&
+            (entry->mods.vmods & type.vmask) == entry->mods.vmods)
+            AddMapEntry(keymap, &type, entry, false, false);
     }
-    if (info->dflt.preserve)
-    {
-        PreserveInfo *dflt = info->dflt.preserve;
-        while (dflt)
-        {
-            if (((dflt->indexMods & type.mask) == dflt->indexMods) &&
-                ((dflt->indexVMods & type.vmask) == dflt->indexVMods))
-            {
-                AddPreserve(xkb, &type, dflt, False, False);
-            }
-            dflt = (PreserveInfo *) dflt->defs.next;
-        }
+
+    list_foreach_safe(pi, pi_next, &info->dflt.preserves, entry) {
+        if ((pi->indexMods & type.mask) == pi->indexMods &&
+            (pi->indexVMods & type.vmask) == pi->indexVMods)
+            AddPreserve(keymap, &type, pi, false, false);
     }
-    for (i = 0; i < info->dflt.szNames; i++)
-    {
-        if ((i < type.numLevels) && (info->dflt.lvlNames[i] != None))
-        {
-            AddLevelName(&type, i, info->dflt.lvlNames[i], False, False);
+
+    for (i = 0; i < darray_size(info->dflt.lvlNames); i++) {
+        if (i < type.numLevels &&
+            darray_item(info->dflt.lvlNames, i) != XKB_ATOM_NONE) {
+            AddLevelName(keymap, &type, i,
+                         darray_item(info->dflt.lvlNames, i), false);
         }
     }
+
     /* Now add the new keytype to the info struct */
-    if (!AddKeyType(xkb, info, &type))
-    {
+    if (!AddKeyType(keymap, info, &type)) {
         info->errorCount++;
-        return False;
+        return false;
     }
-    return True;
+    return true;
 }
 
 /**
  * Process an xkb_types section.
  *
  * @param file The parsed xkb_types section.
- * @param merge Merge Strategy (e.g. MergeOverride)
+ * @param merge Merge Strategy (e.g. MERGE_OVERRIDE)
  * @param info Pointer to memory where the outcome will be stored.
  */
 static void
-HandleKeyTypesFile(XkbFile * file,
-                   XkbDescPtr xkb, unsigned merge, KeyTypesInfo * info)
+HandleKeyTypesFile(XkbFile *file, struct xkb_keymap *keymap,
+                   enum merge_mode merge, KeyTypesInfo *info)
 {
     ParseCommon *stmt;
 
-    info->name = uStringDup(file->name);
+    free(info->name);
+    info->name = uDupString(file->name);
     stmt = file->defs;
     while (stmt)
     {
-        switch (stmt->stmtType)
-        {
+        switch (stmt->stmtType) {
         case StmtInclude:
-            if (!HandleIncludeKeyTypes((IncludeStmt *) stmt, xkb, info,
-                                       HandleKeyTypesFile))
+            if (!HandleIncludeKeyTypes((IncludeStmt *) stmt, keymap, info))
                 info->errorCount++;
             break;
         case StmtKeyTypeDef: /* e.g. type "ONE_LEVEL" */
-            if (!HandleKeyTypeDef((KeyTypeDef *) stmt, xkb, merge, info))
+            if (!HandleKeyTypeDef((KeyTypeDef *) stmt, keymap, merge, info))
                 info->errorCount++;
             break;
         case StmtVarDef:
-            if (!HandleKeyTypeVar((VarDef *) stmt, xkb, info))
+            if (!HandleKeyTypeVar((VarDef *) stmt, keymap, info))
                 info->errorCount++;
             break;
         case StmtVModDef: /* virtual_modifiers NumLock, ... */
-            if (!HandleVModDef((VModDef *) stmt, merge, &info->vmods))
+            if (!HandleVModDef((VModDef *) stmt, keymap, merge, &info->vmods))
                 info->errorCount++;
             break;
         case StmtKeyAliasDef:
@@ -1114,66 +889,83 @@ HandleKeyTypesFile(XkbFile * file,
             info->errorCount++;
             break;
         default:
-            WSGO1("Unexpected statement type %d in HandleKeyTypesFile\n",
-                  stmt->stmtType);
+            WSGO("Unexpected statement type %d in HandleKeyTypesFile\n",
+                 stmt->stmtType);
             break;
         }
         stmt = stmt->next;
-        if (info->errorCount > 10)
-        {
+        if (info->errorCount > 10) {
 #ifdef NOISY
             ERROR("Too many errors\n");
 #endif
-            ACTION1("Abandoning keytypes file \"%s\"\n", file->topName);
+            ACTION("Abandoning keytypes file \"%s\"\n", file->topName);
             break;
         }
     }
-    return;
 }
 
-static Bool
-CopyDefToKeyType(XkbDescPtr xkb, XkbKeyTypePtr type, KeyTypeInfo * def)
+static bool
+ComputeEffectiveMap(struct xkb_keymap *keymap, struct xkb_key_type *type)
+{
+    uint32_t tmp;
+    struct xkb_kt_map_entry *entry = NULL;
+
+    if (type->mods.vmods != 0) {
+        tmp = VModsToReal(keymap, type->mods.vmods);
+        type->mods.mask = tmp | type->mods.real_mods;
+        darray_foreach(entry, type->map) {
+            tmp = 0;
+            if (entry->mods.vmods != 0) {
+                tmp = VModsToReal(keymap, entry->mods.vmods);
+                if (tmp == 0)
+                    continue;
+            }
+            entry->mods.mask =
+                (entry->mods.real_mods | tmp) & type->mods.mask;
+        }
+    }
+    else
+        type->mods.mask = type->mods.real_mods;
+
+    return true;
+}
+
+static bool
+CopyDefToKeyType(struct xkb_keymap *keymap, struct xkb_key_type *type,
+                 KeyTypeInfo *def)
 {
-    register int i;
+    unsigned int i;
     PreserveInfo *pre;
 
-    for (pre = def->preserve; pre != NULL;
-         pre = (PreserveInfo *) pre->defs.next)
-    {
-        XkbKTMapEntryPtr match;
-        XkbKTMapEntryRec tmp;
+    list_foreach(pre, &def->preserves, entry) {
+        struct xkb_kt_map_entry * match;
+        struct xkb_kt_map_entry tmp;
         tmp.mods.real_mods = pre->indexMods;
         tmp.mods.vmods = pre->indexVMods;
         tmp.level = 0;
-        AddMapEntry(xkb, def, &tmp, False, False);
+        AddMapEntry(keymap, def, &tmp, false, false);
         match = FindMatchingMapEntry(def, pre->indexMods, pre->indexVMods);
-        if (!match)
-        {
+        if (!match) {
             WSGO("Couldn't find matching entry for preserve\n");
             ACTION("Aborting\n");
-            return False;
+            return false;
         }
-        pre->matchingMapIndex = match - def->entries;
+        pre->matchingMapIndex = match - &darray_item(def->entries, 0);
     }
     type->mods.real_mods = def->mask;
     type->mods.vmods = def->vmask;
     type->num_levels = def->numLevels;
-    type->map_count = def->nEntries;
-    type->map = def->entries;
-    if (def->preserve)
-    {
-        type->preserve = uTypedCalloc(type->map_count, XkbModsRec);
-        if (!type->preserve)
-        {
+    memcpy(&type->map, &def->entries, sizeof(def->entries));
+    if (!list_empty(&def->preserves)) {
+        type->preserve = calloc(darray_size(type->map),
+                                sizeof(*type->preserve));
+        if (!type->preserve) {
             WARN("Couldn't allocate preserve array in CopyDefToKeyType\n");
-            ACTION1("Preserve setting for type %s lost\n",
-                    XkbAtomText(def->dpy, def->name, XkbMessage));
+            ACTION("Preserve setting for type %s lost\n",
+                   xkb_atom_text(keymap->ctx, def->name));
         }
-        else
-        {
-            pre = def->preserve;
-            for (; pre != NULL; pre = (PreserveInfo *) pre->defs.next)
-            {
+        else {
+            list_foreach(pre, &def->preserves, entry) {
                 int ndx = pre->matchingMapIndex;
                 type->preserve[ndx].mask = pre->preMods;
                 type->preserve[ndx].real_mods = pre->preMods;
@@ -1183,109 +975,232 @@ CopyDefToKeyType(XkbDescPtr xkb, XkbKeyTypePtr type, KeyTypeInfo * def)
     }
     else
         type->preserve = NULL;
-    type->name = (Atom) def->name;
-    if (def->szNames > 0)
-    {
-        type->level_names = uTypedCalloc(def->numLevels, Atom);
+    type->name = xkb_atom_strdup(keymap->ctx, def->name);
+
+    if (!darray_empty(def->lvlNames)) {
+        type->level_names = calloc(darray_size(def->lvlNames),
+                                   sizeof(*type->level_names));
 
         /* assert def->szNames<=def->numLevels */
-        for (i = 0; i < def->szNames; i++)
-        {
-            type->level_names[i] = (Atom) def->lvlNames[i];
-        }
+        for (i = 0; i < darray_size(def->lvlNames); i++)
+            type->level_names[i] =
+                xkb_atom_strdup(keymap->ctx, darray_item(def->lvlNames, i));
     }
-    else
-    {
+    else {
         type->level_names = NULL;
     }
 
-    def->nEntries = def->szEntries = 0;
-    def->entries = NULL;
-    return XkbComputeEffectiveMap(xkb, type, NULL);
+    darray_init(def->entries);
+    return ComputeEffectiveMap(keymap, type);
 }
 
-Bool
-CompileKeyTypes(XkbFile *file, XkbcDescPtr xkb, unsigned merge)
-{
-    KeyTypesInfo info;
+static struct xkb_kt_map_entry map2Level[] = {
+    {
+        .level = ShiftMask,
+        .mods = { .mask = 1, .vmods = ShiftMask, .real_mods = 0 }
+    }
+};
+
+static struct xkb_kt_map_entry mapAlpha[] = {
+    {
+        .level = ShiftMask,
+        .mods = { .mask = 1, .vmods = ShiftMask, .real_mods = 0 }
+    },
+    {
+        .level = LockMask,
+        .mods = { .mask = 0, .vmods = LockMask, .real_mods = 0 }
+    }
+};
 
-    InitKeyTypesInfo(&info, xkb, NULL);
-    info.fileID = file->id;
-    HandleKeyTypesFile(file, xkb, merge, &info);
+static struct xkb_mods preAlpha[] = {
+    { .mask = 0, .vmods = 0, .real_mods = 0 },
+    { .mask = LockMask, .vmods = LockMask, .real_mods = 0 }
+};
 
-    if (info.errorCount == 0)
+static struct xkb_kt_map_entry mapKeypad[] = {
     {
-        register int i;
-        register KeyTypeInfo *def;
-        register XkbKeyTypePtr type, next;
-
-        if (info.name != NULL)
-        {
-            if (XkbAllocNames(xkb, XkbTypesNameMask, 0, 0) == Success)
-                xkb->names->types = XkbInternAtom(xkb->dpy, info.name, False);
-            else
-            {
-                WSGO("Couldn't allocate space for types name\n");
-                ACTION2("Name \"%s\" (from %s) NOT assigned\n",
-                        scanFile, info.name);
-            }
-        }
-        i = info.nTypes;
-        if ((info.stdPresent & XkbOneLevelMask) == 0)
-            i++;
-        if ((info.stdPresent & XkbTwoLevelMask) == 0)
-            i++;
-        if ((info.stdPresent & XkbKeypadMask) == 0)
-            i++;
-        if ((info.stdPresent & XkbAlphabeticMask) == 0)
-            i++;
-        if (XkbAllocClientMap(xkb, XkbKeyTypesMask, i) != Success)
-        {
-            WSGO("Couldn't allocate client map\n");
-            ACTION("Exiting\n");
-            return False;
-        }
-        xkb->map->num_types = i;
-        if (XkbAllRequiredTypes & (~info.stdPresent))
-        {
-            unsigned missing, keypadVMod;
-
-            missing = XkbAllRequiredTypes & (~info.stdPresent);
-            keypadVMod = FindKeypadVMod(xkb);
-            if (XkbInitCanonicalKeyTypes(xkb, missing, keypadVMod) != Success)
-            {
-                WSGO("Couldn't initialize canonical key types\n");
-                ACTION("Exiting\n");
-                return False;
-            }
-            if (missing & XkbOneLevelMask)
-                xkb->map->types[XkbOneLevelIndex].name = tok_ONE_LEVEL;
-            if (missing & XkbTwoLevelMask)
-                xkb->map->types[XkbTwoLevelIndex].name = tok_TWO_LEVEL;
-            if (missing & XkbAlphabeticMask)
-                xkb->map->types[XkbAlphabeticIndex].name = tok_ALPHABETIC;
-            if (missing & XkbKeypadMask)
-                xkb->map->types[XkbKeypadIndex].name = tok_KEYPAD;
+        .level = ShiftMask,
+        .mods = { .mask = 1, .vmods = ShiftMask, .real_mods = 0 }
+    },
+    {
+        .level = 0,
+        .mods = { .mask = 1, .vmods = 0, .real_mods = 0 }
+    }
+};
+
+static const struct xkb_key_type canonicalTypes[XkbNumRequiredTypes] = {
+    {
+        .mods = { .mask = 0, .vmods = 0, .real_mods = 0 },
+        .num_levels = 1,
+        .preserve = NULL,
+        .name = NULL,
+        .level_names = NULL
+    },
+    {
+        .mods = { .mask = ShiftMask, .vmods = ShiftMask, .real_mods = 0 },
+        .num_levels = 2,
+        .map = darray_lit(map2Level),
+        .preserve = NULL,
+        .name = NULL,
+        .level_names = NULL
+    },
+    {
+        .mods = {
+            .mask = ShiftMask | LockMask,
+            .vmods = ShiftMask | LockMask,
+            .real_mods = 0
+        },
+        .num_levels = 2,
+        .map = darray_lit(mapAlpha),
+        .preserve = preAlpha,
+        .name = NULL,
+        .level_names = NULL
+    },
+    {
+        .mods = { .mask = ShiftMask, .vmods = ShiftMask, .real_mods = 0 },
+        .num_levels = 2,
+        .map = darray_lit(mapKeypad),
+        .preserve = NULL,
+        .name = NULL,
+        .level_names = NULL
+    }
+};
+
+static int
+InitCanonicalKeyTypes(struct xkb_keymap *keymap, unsigned which,
+                      int keypadVMod)
+{
+    const struct xkb_key_type *from;
+    int rtrn;
+
+    darray_growalloc(keymap->types, XkbNumRequiredTypes);
+
+    if ((which & XkbAllRequiredTypes) == 0)
+        return Success;
+
+    rtrn = Success;
+    from = canonicalTypes;
+
+    if (which & XkbOneLevelMask)
+        rtrn = XkbcCopyKeyType(&from[XkbOneLevelIndex],
+                               &darray_item(keymap->types, XkbOneLevelIndex));
+
+    if ((which & XkbTwoLevelMask) && rtrn == Success)
+        rtrn = XkbcCopyKeyType(&from[XkbTwoLevelIndex],
+                               &darray_item(keymap->types, XkbTwoLevelIndex));
+
+    if ((which & XkbAlphabeticMask) && rtrn == Success)
+        rtrn = XkbcCopyKeyType(&from[XkbAlphabeticIndex],
+                               &darray_item(keymap->types, XkbAlphabeticIndex));
+
+    if ((which & XkbKeypadMask) && rtrn == Success) {
+        struct xkb_key_type *type;
+
+        rtrn = XkbcCopyKeyType(&from[XkbKeypadIndex],
+                               &darray_item(keymap->types, XkbKeypadIndex));
+        type = &darray_item(keymap->types, XkbKeypadIndex);
+
+        if (keypadVMod >= 0 && keypadVMod < XkbNumVirtualMods &&
+            rtrn == Success) {
+            struct xkb_kt_map_entry *entry;
+            type->mods.vmods = (1 << keypadVMod);
+
+            entry = &darray_item(type->map, 0);
+            entry->mods.mask = ShiftMask;
+            entry->mods.real_mods = ShiftMask;
+            entry->mods.vmods = 0;
+            entry->level = 1;
+
+            entry = &darray_item(type->map, 1);
+            entry->mods.mask = 0;
+            entry->mods.real_mods = 0;
+            entry->mods.vmods = (1 << keypadVMod);
+            entry->level = 1;
         }
-        next = &xkb->map->types[XkbLastRequiredType + 1];
-        for (i = 0, def = info.types; i < info.nTypes; i++)
-        {
-            if (def->name == tok_ONE_LEVEL)
-                type = &xkb->map->types[XkbOneLevelIndex];
-            else if (def->name == tok_TWO_LEVEL)
-                type = &xkb->map->types[XkbTwoLevelIndex];
-            else if (def->name == tok_ALPHABETIC)
-                type = &xkb->map->types[XkbAlphabeticIndex];
-            else if (def->name == tok_KEYPAD)
-                type = &xkb->map->types[XkbKeypadIndex];
-            else
-                type = next++;
-            DeleteLevel1MapEntries(def);
-            if (!CopyDefToKeyType(xkb, type, def))
-                return False;
-            def = (KeyTypeInfo *) def->defs.next;
+    }
+
+    return Success;
+}
+
+bool
+CompileKeyTypes(XkbFile *file, struct xkb_keymap *keymap,
+                enum merge_mode merge)
+{
+    unsigned int i;
+    struct xkb_key_type *type, *next;
+    KeyTypesInfo info;
+    KeyTypeInfo *def;
+
+    InitKeyTypesInfo(&info, keymap, NULL, file->id);
+
+    HandleKeyTypesFile(file, keymap, merge, &info);
+
+    if (info.errorCount != 0)
+        goto err_info;
+
+    if (info.name)
+        keymap->types_section_name = strdup(info.name);
+
+    i = info.nTypes;
+    if ((info.stdPresent & XkbOneLevelMask) == 0)
+        i++;
+    if ((info.stdPresent & XkbTwoLevelMask) == 0)
+        i++;
+    if ((info.stdPresent & XkbKeypadMask) == 0)
+        i++;
+    if ((info.stdPresent & XkbAlphabeticMask) == 0)
+        i++;
+
+    darray_resize0(keymap->types, i);
+
+    if (XkbAllRequiredTypes & (~info.stdPresent)) {
+        unsigned missing, keypadVMod;
+
+        missing = XkbAllRequiredTypes & (~info.stdPresent);
+        keypadVMod = FindKeypadVMod(keymap);
+
+        if (InitCanonicalKeyTypes(keymap, missing, keypadVMod) != Success) {
+            WSGO("Couldn't initialize canonical key types\n");
+            goto err_info;
         }
-        return True;
+
+        if (missing & XkbOneLevelMask)
+            darray_item(keymap->types, XkbOneLevelIndex).name =
+                xkb_atom_strdup(keymap->ctx, info.tok_ONE_LEVEL);
+        if (missing & XkbTwoLevelMask)
+            darray_item(keymap->types, XkbTwoLevelIndex).name =
+                xkb_atom_strdup(keymap->ctx, info.tok_TWO_LEVEL);
+        if (missing & XkbAlphabeticMask)
+            darray_item(keymap->types, XkbAlphabeticIndex).name =
+                xkb_atom_strdup(keymap->ctx, info.tok_ALPHABETIC);
+        if (missing & XkbKeypadMask)
+            darray_item(keymap->types, XkbKeypadIndex).name =
+                xkb_atom_strdup(keymap->ctx, info.tok_KEYPAD);
     }
-    return False;
+
+    next = &darray_item(keymap->types, XkbLastRequiredType + 1);
+    list_foreach(def, &info.types, entry) {
+        if (def->name == info.tok_ONE_LEVEL)
+            type = &darray_item(keymap->types, XkbOneLevelIndex);
+        else if (def->name == info.tok_TWO_LEVEL)
+            type = &darray_item(keymap->types, XkbTwoLevelIndex);
+        else if (def->name == info.tok_ALPHABETIC)
+            type = &darray_item(keymap->types, XkbAlphabeticIndex);
+        else if (def->name == info.tok_KEYPAD)
+            type = &darray_item(keymap->types, XkbKeypadIndex);
+        else
+            type = next++;
+
+        DeleteLevel1MapEntries(def);
+
+        if (!CopyDefToKeyType(keymap, type, def))
+            goto err_info;
+    }
+
+    FreeKeyTypesInfo(&info);
+    return true;
+
+err_info:
+    FreeKeyTypesInfo(&info);
+    return false;
 }