Clean up code #163

New issue

Closed

opened 2025-01-23 09:39:36 -08:00 by aniva · 1 comment

aniva commented 2025-01-23 09:39:36 -08:00

Owner

Copy link

• Use repeat in the main loop instead of tailrec: https://lean-lang.org/functional_programming_in_lean/monad-transformers/conveniences.html

• Clean up unused variable warnings

- Use `repeat` in the main loop instead of tailrec: https://lean-lang.org/functional_programming_in_lean/monad-transformers/conveniences.html - Clean up unused variable warnings

aniva added the

category

optimization

priority

low

labels 2025-01-23 09:39:36 -08:00

aniva self-assigned this 2025-01-23 09:39:36 -08:00

aniva added this to the v0.2.25 milestone 2025-01-24 19:00:27 -08:00

aniva added

category

chore

and removed

category

optimization

labels 2025-01-24 19:13:07 -08:00

aniva added a new dependency 2025-01-26 22:04:46 -08:00

#164 chore: Code cleanup

aniva commented 2025-01-26 22:04:51 -08:00

Author

Owner

Copy link

Done #164

Done #164

aniva closed this issue 2025-01-26 22:04:51 -08:00

Sign in to join this conversation.

No Branch/Tag specified

Branches Tags

dev

chore/cleanup

goal/subsume

repl/test

repl/exec

frontend/tomograph

main

v0.3.7

v0.3.6

v0.3.5

v0.3.4

v0.3.3

v0.3.2

v0.3.1

v0.3.0

v0.2.25

v0.2.24

v0.2.23

v0.2.22

v0.2.21

v0.2.20

v0.2.19

v0.2.19-alpha

v0.2.18

v0.2.14

v0.2.13

v0.2.12

v0.2.11

v0.2.10

v0.2.10-alpha

v0.2.9

v0.2.8

v0.2.7

v0.2.6

v0.2.5

0.2.3

0.1

Labels

Clear labels   

category

bug

Bugs, Test failures, Build failures

  

category

chore

Code cleanup

  

category

doc

Documentation

  

category

feature

New features and enhancements

  

category

optimization

Performance improvements

  

category

organization

Versioning and structure

  

part/Delation

Kernel to search view

  

part/Elab

Parsing and elaboration

  

part/Environment

Environments, Library, Catalog

  

part/FFI

Library and FFI

  

part/Frontend

Driving the Lean compiler

  

part/Goal

Goal evolution, proof terms, tactics

  

part/REPL

For text based interaction

  

part/Serial

Serialization, IO

  

priority

high

  

priority

irrelevant

Issues that will not be fixed or are intended features

  

priority

low

For things that don't impede release schedule

  

priority

medium

  

priority

pending-measurement

For nebulous problems

No labels

category

bug

category

chore

category

doc

category

feature

category

optimization

category

organization

part/Delation

part/Elab

part/Environment

part/FFI

part/Frontend

part/Goal

part/REPL

part/Serial

priority

high

priority

irrelevant

priority

low

priority

medium

priority

pending-measurement

Milestone

Clear milestone

No items

No milestone

v0.2.25

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

aniva

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Depends on

#164 chore: Code cleanup

aniva/Pantograph

Reference: aniva/Pantograph#163

No description provided.