Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

HPCGAP: Using Immutable on a mutable atomic component object returns a mutable result #3596

Open
stevelinton opened this issue Jul 30, 2019 · 0 comments
Labels
kind: bug: unexpected error Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them kind: bug Issues describing general bugs, and PRs fixing them topic: HPC-GAP Issues and PRs related to HPC-GAP topic: kernel

Comments

@stevelinton
Copy link
Contributor

I'm trying to construct a test for #3592 which will pass in the HPCGAP travis tests.
Deleting some irrelevant stuff, I get:

Observed behaviour

gap> foo := rec();;
gap> fam := NewFamily("FruitFamily");
<Family: "FruitFamily">
gap> Objectify(NewType(fam, IsMutable and IsAttributeStoringRep), foo);
<object>
gap> foo := Immutable(foo);
<object>
gap> IsMutable(foo);
true

Expected behaviour

Final line should be false

Copy and paste GAP banner (to tell us about your setup)

┌───────┐   HPC-GAP 4.10dev-2201-g52907f5 of today
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: x86_64-apple-darwin18.5.0-hpcgap64-kv7
             Maximum concurrent threads: 4
 Configuration:  gmp 6.1.2, Boehm GC

#W <<< This is an alpha release.      >>>
#W <<< Do not use for important work. >>>

 Loading the library and packages ...
Syntax warning: Unbound global variable in /Users/sal/GIT/gap/pkg/atlasrep/gap/utils.gi:44
        pos:= POSITION_FIRST_COMPONENT_SORTED( WidthUnicodeTable, ints[j] );
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 Packages:   AClib 1.3.1, Alnuth 3.1.0, AtlasRep 1.5.1, AutoDoc 2019.07.03, AutPGrp 1.10, CRISP 1.4.4, Cryst 4.1.18, CrystCat 1.1.8, CTblLib 1.2.2, FactInt 1.6.2, FGA 1.4.0, 
             GAPDoc 1.6.2, IRREDSOL 1.4, LAGUNA 3.9.2, Polenta 1.3.8, Polycyclic 2.14, PrimGrp 3.3.2, RadiRoot 2.8, ResClasses 4.7.1, SmallGrp 1.3, Sophus 1.24, SpinSym 1.5, 
             TomLib 1.2.7, TransGrp 2.0.4, utils 0.61
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
@stevelinton stevelinton added topic: HPC-GAP Issues and PRs related to HPC-GAP kind: bug: unexpected error Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them topic: kernel labels Jul 30, 2019
@fingolfin fingolfin changed the title Using Immutable on a mutable atomic component object returns a mutable result HPCGAP: Using Immutable on a mutable atomic component object returns a mutable result Aug 19, 2019
@fingolfin fingolfin added the kind: bug Issues describing general bugs, and PRs fixing them label Aug 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: bug: unexpected error Issues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them kind: bug Issues describing general bugs, and PRs fixing them topic: HPC-GAP Issues and PRs related to HPC-GAP topic: kernel
Projects
None yet
Development

No branches or pull requests

2 participants