on e2fc4da help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsFix record constructor for extension Expression.hsmuch cleaned API in my opinion, plus a much simpler example Literal.hsAdd Strings as a primitive in the compiler Pattern.hsStop using `error` when constraining patterns and when instantiating source types