Skip to content

Feature: constructor_code and src/gui.jl of own types - #8

Merged
StackEnjoyer merged 4 commits into
mainfrom
feature/own-types-into-main
Nov 13, 2026
Merged

StackEnjoyer merged 4 commits into
mainfrom
feature/own-types-into-main

Conversation

@StackEnjoyer

@StackEnjoyer StackEnjoyer commented Nov 13, 2026 •

Copy link
Copy Markdown
Owner

Features

  • constructor_code(obj): constructor of an own type, used to save its shape changes
  • src/gui.jl: the window's part of a project, never included by load_project

Doc changes

  • Agent skill: section "Own code", API.md and FORMAT.md updated; API page of the docs

Internal changes

Closes #9

uitt_hu and others added 4 commits November 12, 2026 00:04
…ode of the constructor of an object without its pose (nothing without a method), by which the window saves changes of the shape of an own type to its line; src/gui.jl is the window's part (card_rows of own types): load_project never includes it, its packages are not under [packages], it counts for the stamp; the AGENTS.md template, the skill and the docs say so

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ref for a moment: the rename of refs/heads/<branch>.lock is refused ("access denied") while another computer reads the ref, and the lock of another save is waited for; the parent is the head at each try

Found by two machines saving versions one after the other on a network drive: the second version was lost with a GitError of the operating system.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Feature: own types of a project tell their constructor, src/gui.jl is the window's
…re/agent-environment after #4 had gone into main, so main lacked constructor_code; the conflicts with the systems of #5 keep both (exports, includes, tests, the sections of the skill)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@StackEnjoyer StackEnjoyer changed the title Feature: own types of a project in main (#6) Feature: constructor_code and src/gui.jl of own types Nov 13, 2026
@codecov

codecov Bot commented Nov 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@StackEnjoyer
StackEnjoyer marked this pull request as ready for review November 13, 2026 11:24
@StackEnjoyer
StackEnjoyer merged commit e6e732b into main Nov 13, 2026
6 checks passed
@StackEnjoyer
StackEnjoyer deleted the feature/own-types-into-main branch November 13, 2026 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature: own types of a project save changes of their shape

1 participant