GitHub · Where software is built

This repository was archived by the owner on Oct 18, 2021. It is now read-only.

Labels Milestones

Confusing error location on <code>type syn <- foo [bar]</code>

#302

· s5bug opened

on Sep 1, 2021

Exporting a Lua-array

#301

· s5bug opened

on Aug 30, 2021

Exporting a function with multiple arguments

#300

· s5bug opened

on Aug 30, 2021

Returning a top-level export instead of as part of a table

#299

· s5bug opened

on Aug 30, 2021

Instances cannot be found when records are directly involved

TC: Type Classes

#293

· viluon opened

on Feb 25, 2021

Optimiser η-contraction makes mutual recursion too strict

#286

· plt-amy opened

on May 21, 2020

Very big code results in too many locals

#285

· plt-amy opened

on May 19, 2020

Integral mod

Standard Library

#282

· Lignum opened

on May 1, 2020

Type checker can't infer impredicative instantations from matches

#281

· plt-amy opened

on Apr 28, 2020

High memory utilization on 1.0.0.0 (d6b1bcb1)

#274

· Lupus opened

on Feb 15, 2020

Update documentation

#268

· chrisnevers opened

on Jan 31, 2020

Type family reduction errors

TC: Type Functions

#259

· SquidDev opened

on Jan 2, 2020