Comments (2)
coalton-codegen-types is identical to coalton-codegen except the special variable that controls whether Lisp type declarations are emitted is set to T.
The lisp type decls are usually way too noisy, hence off by default.
from coalton.
With what inputs are you looking for what outputs? I.e. what does the information you're keen to see look like? and when or where are you keen to see it?
from coalton.
Related Issues (20)
- Unit is a lot of typing, how to define a macro in coalton that expands U into Unit HOT 3
- `for` loop evaluation in a `coalton` macro body typechecks when `coalton-codegen` does not. HOT 1
- How to declare a variable of a self-defined-list HOT 2
- Coatlon native tests should expand into both `coalton` and into `coalton toplevel`
- Accessors on functions generate a bad error message
- isqrt overflows HOT 1
- Bug: External iterators in nested `for` loops HOT 7
- Call-coalton-function bug/awkwardness HOT 7
- Complex trigonometric functions don't match SBCL
- Add lisp interop to reference page
- Make tan function match sbcl
- print package name of symbols in "unknown method" errors
- subclass constraints and fundeps not checking right?
- Another installation issue with Eclector HOT 5
- `A token consisting solely of multiple dots is illegal.` when `*print-length*` is a small integer
- fix Allegro in CI HOT 1
- document (repr :enum) in lisp interop doc
- add Allegro 11 to CI for testing HOT 2
- Coalton Citation File HOT 1
- Big-Float: `impl-mpfr` instances of `to-fraction` and `into fraction` should use the same method HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coalton.