From d2c9814b0d2250cad317b75b9926fb57a81a969d Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Wed, 1 Jun 2016 09:43:31 +0100
Subject: [PATCH] gaptypes.g exports locations of DeclareOperation calls
---
gap/gaptypes.g | 1 +
1 file changed, 1 insertion(+)
diff --git a/gap/gaptypes.g b/gap/gaptypes.g
index 01977dd..68080a7 100644
--- a/gap/gaptypes.g
+++ b/gap/gaptypes.g
@@ -126,6 +126,7 @@ GAPTypesInfo := function()
lres := rec();
lres.type := "GAP_Operation";
lres.name := NAME_FUNC(OPERATIONS[2*i - 1]);
+ lres.locations := OPERATIONS_LOCATIONS[2*i];
lres.filters := FiltersForOperation(OPERATIONS[2*i - 1]);
lres.filters := List(lres.filters, x->List(x,y -> List(y,NAME_FUNC)));
--
GitLab