CakeML / CakeML/cakeml

Fix compiler/backend/San/SanScript.sml

Open
#1,104 0 comments 0 reactions 1 assignee Claimed by @mktnk3 View on GitHub
bug
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

At the moment, this file seems to have a type error. This should probably be fixed, followed by adding `compiler/backend/San` to `build-sequence` so future regressions can be detected.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.