Imperial-MEng/WACC_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: make functions non-semantic types #13

Merged
gk1623 merged 2 commits from remove-func-type into master 2025-02-07 14:12:59 +00:00
Conversation 3 Commits 2 Files Changed 5
+90 -92
gk1623 commented 2025-02-07 12:20:36 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source
No description provided.
gk1623 commented 2025-02-07 12:26:12 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

added 1 commit

  • 258b1ceb - refactor: fail on `?` snd or fst type-check result

Compare with previous version

added 1 commit <ul><li>258b1ceb - refactor: fail on `?` snd or fst type-check result</li></ul> [Compare with previous version](/lab2425_spring/WACC_37/-/merge_requests/13/diffs?diff_id=148550&start_sha=cf195ec1b8b2d60e8361168fa16631827a6eed12)
gk1623 commented 2025-02-07 13:54:44 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

added 16 commits

  • 258b1ceb...0f87725f - 14 commits from branch master
  • f143f685 - refactor: make functions non-semantic types
  • 4e10fb3f - refactor: fail on `?` snd or fst type-check result

Compare with previous version

added 16 commits <ul><li>258b1ceb...0f87725f - 14 commits from branch <code>master</code></li><li>f143f685 - refactor: make functions non-semantic types</li><li>4e10fb3f - refactor: fail on `?` snd or fst type-check result</li></ul> [Compare with previous version](/lab2425_spring/WACC_37/-/merge_requests/13/diffs?diff_id=148728&start_sha=258b1ceb3f38510259d768ccfb35e241ab91cfbc)
gk1623 commented 2025-02-07 14:12:58 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in commit c547a2a37f

mentioned in commit c547a2a37fc8af807d433f902957c5260cb607bd
gk1623 (Migrated from gitlab.doc.ic.ac.uk) merged commit c547a2a37f into master 2025-02-07 14:12:59 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
cyclane (Gleb Koval)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/WACC_37#13