Dialect of ML in Common Lisp
Coalton is a dialect of ML embedded in Common Lisp. It emphasizes practicality and interoperability with Lisp, and is intended to be a DSL that allows one to gradually make their programs safer.
| Linter | Message | Location |
|---|---|---|
| input-labels Identify input labels that do not match package names | label 'sbcl-fiasco' does not match package name 'cl-fiasco' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-trivial-garbage' does not match package name 'cl-trivial-garbage' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-named-readtables' does not match package name 'cl-named-readtables' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-fset' does not match package name 'cl-fset' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-float-features' does not match package name 'cl-float-features' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-eclector' does not match package name 'cl-eclector' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-concrete-syntax-tree' does not match package name 'cl-concrete-syntax-tree' | |
| input-labels Identify input labels that do not match package names | label 'sbcl-alexandria' does not match package name 'cl-alexandria' |