Zilin Chen
Zilin Chen
well, that'd get fixed once you enforce the !-ed thing to be used in the rhs I guess.
It generates them to the default store, with a hash for each time it's run. But I still haven't worked out how to tell it to install to a specific...
**Comment by [lim060](https://github.csiro.au/lim060)** _Sat Jul 4 02:49:32 2015_ ---- Possible solutions: 1. Use the `map` type which encodes partiality. `None`s will pop up everywhere, so this implies messy changes to...
The fix b48becd is not quite right. We need to have `TVar (Fin v) Banged Unboxed` instead of separate `TVarBang` and `TVarUnboxed` in the core language, as `a#! /= a!`...
`#a` is bad in general, as there's no way that we can determine the kind of it. E.g., if `a : E`, then `#a` can be either `DSE` (if `a`...
**Comment by [ahixon](https://github.csiro.au/ahixon)** _Thu Apr 16 13:44:32 2015_ ---- Added hard links as of 710b18e5ad9ce0705f949554e99f160b80911667 (on ext2-link branch)
> **1.** and **2.** should be straightforward. **3.** However will require the compiler to return a different error code per phase (or parse the stdout), which is more involved I'm...
Depends on the fix to #306 . Right now because we haven't quite decided yet how to deal with `!`-ed and `#`-ed type vars, we don't have a syntax in...
Can you elaborate why it fails with a capital letter?
Agreed. That's why I didn't tag it a bug. Some heuristics can be used to solve some obvious cases, but I'd leave it as future work.