iacore

Also added `unsafe-no-st` for consistent API.

1. Create the following file as `0/test.kk` (relative to working directory) ``` effect halt {} ``` 2. Run `koka 0/test.kk` ``` > koka 0/test.kk compile: 0/test.kk loading: std/core loading: std/core/types...

The API documentation is outdated. For example, `exn` isn't the same as in source code: https://koka-lang.github.io/koka/doc/std_core.html#type_space_exn Also, it would be nice if we can download the prebuilt documentation for offline...

Default arguments, maybe<a> & optional<a>

3

Currently, `optional` is treated as compiler magic. This will work: ``` struct duck baby: maybe ``` but this will not: ``` struct duck baby: optional ``` *** Default value Example:...

Better tooltip

4

1. tooltip showed out of window 2. tooltip clipped by code Problem 1 can be fixed by using `title` attribute like `` since the tooltip is not clickable anyway. If...

Javascript backend emitted code that access global variable

6

If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example...

There are only two topics currently, but why not dream big? This PR also remfinal newline when printing usage.

putStr in javascript backend has extra newline

3

# Steps to Reproduce Compile this with `idris2 --cg javascript test.idr` ``` main : IO () main = do putStrLn "1" putStrLn "2" ``` # Expected Behavior ``` 1 2...