language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 14:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge pull request #2052 from rtfeldman/i/1931-2

Browse source 
Some improvements to error messages regarding unbound type variables
This commit is contained in:
Richard Feldman 2021-11-26 21:17:37 -05:00 • committed by GitHub
commit d39ecfd12d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 532 additions and 144 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/solve/src/solve.rs
View file

@ -11,8 +11,7 @@ use roc_types::subs::{
};
use roc_types::types::Type::{self, *};
use roc_types::types::{gather_fields_unsorted_iter, Alias, Category, ErrorType, PatternCategory};
use roc_unify::unify::unify;
use roc_unify::unify::Unified::*;
use roc_unify::unify::{unify, Unified::*};
use std::collections::hash_map::Entry;
// Type checking system adapted from Elm by Evan Czaplicki, BSD-3-Clause Licensed