Commits · quick-look · Alejandro Serrano Mena / GHC · GitLab

Snippets Groups Projects

Nov 01, 2019
- Fix warnings for validate · c829d0a1
  Alejandro Serrano Mena authored 5 years ago
  
  c829d0a1
Oct 31, 2019
- More on deep-inst/skol · b2b4a441
  Alejandro Serrano Mena authored 5 years ago
  
  b2b4a441
- Make it compile again · af2884ce
  Alejandro Serrano Mena authored 5 years ago
  
  af2884ce
Oct 30, 2019
- Keep working on no-deep-instantiation · 7331f539
  Alejandro Serrano Mena authored 5 years ago
  
  7331f539
- First attempt at no-deep-skolemization or instantiation · 62ca5aa6
  Alejandro Serrano Mena authored 5 years ago
  
  62ca5aa6
- Remove linting temporarily · 1d338236
  Alejandro Serrano Mena authored 5 years ago
  
  1d338236
- Refactoring and suggestions by @rae · 224e0093
  Alejandro Serrano Mena authored 5 years ago
  
  224e0093
- Allow impred instantiation in checkExpectedKind · e7d8af57
  Alejandro Serrano Mena authored 5 years ago
  
  e7d8af57
- correctly identify types to be filled in quick look · e295a5a0
  Alejandro Serrano Mena authored 5 years ago
  
  e295a5a0
- zonk everything after quick looking, fix checking for polytype in `uQuickLookTryFillPoly` · 898db0f1
  Alejandro Serrano Mena authored 5 years ago
  
  898db0f1
- Quick look on section and explicit tuples and lists · f07f843e
  Alejandro Serrano Mena authored 5 years ago
  
  f07f843e
- Fix check of arrows in tcInstantiateFun · ba4d4190
  Alejandro Serrano Mena authored 5 years ago
  
  ba4d4190
- Zonk types before quick looking at them · 5896f35c
  Alejandro Serrano Mena authored 5 years ago
  
  5896f35c
- Make the implementation reflect the new changes to the formalization · e5a8910e
  Alejandro Serrano Mena authored 5 years ago
  
  e5a8910e
- Allow impredicative instantiation during debugging · d20fc315
  Alejandro Serrano Mena authored 5 years ago
  
  d20fc315
- Remove special case forall a. a for tc_sub_type_ds · 17a8be48
  Alejandro Serrano Mena authored 5 years ago
  
  17a8be48
- Fix infinite loop in tcQuickLoopSubtype · a2fad936
  Alejandro Serrano Mena authored 5 years ago
  
  a2fad936
- Use partial unification for quick look · 9c1a7ced
  Alejandro Serrano Mena authored 5 years ago
  
  9c1a7ced
- Fix error message generation without -XImpredicativeTypes · 6c19588b
  Alejandro Serrano Mena authored 5 years ago
  
  6c19588b
- Be a bit more cautious about unification, and add special forall a. a rule · 9e094ec3
  Alejandro Serrano Mena authored 5 years ago
  
  9e094ec3
- Decide whether to instantiate in quick look · 60d1e21f
  Alejandro Serrano Mena authored 5 years ago
  
  60d1e21f
- Quick look (s1 -> s2) <=g alpha now makes progress · 0d87b594
  Alejandro Serrano Mena authored 5 years ago
  
  0d87b594
- Use guarded subsumption during tcSubType · 0139ec03
  Alejandro Serrano Mena authored 5 years ago
  
  0139ec03
- Revert "Fix quick look for polymorphic return types" · 72afe9f8
  Alejandro Serrano Mena authored 5 years ago
  
  This reverts commit f85f1276.
  72afe9f8
- Fix quick look for polymorphic return types · c4c348fd
  Alejandro Serrano Mena authored 5 years ago
  
  c4c348fd
- Make use of annotations in quick look · 53da0cb0
  Alejandro Serrano Mena authored 5 years ago
  
  53da0cb0
- Fix ordering in application of wrappers · 4d16bfc7
  Alejandro Serrano Mena authored 5 years ago
  
  4d16bfc7
- - Refactor quick looking into a single function · d6138beb
  Alejandro Serrano Mena authored 5 years ago
  
  d6138beb
- Remove ability to perform impredicative instantiation outside "quick look · 5db89ba1
  Alejandro Serrano Mena authored 5 years ago
  
  5db89ba1
- Refactor tcArgs and tcQuickLook · ee8d55c7
  Alejandro Serrano Mena authored 5 years ago
  
  ee8d55c7
- Perform "quick look" on usages of ($) · 93c73e6b
  Alejandro Serrano Mena authored 5 years ago
  
  93c73e6b
- Add a bit of tracing · 676f3818
  Alejandro Serrano Mena authored 5 years ago
  
  676f3818
- Implement quick look on result type · c0b6ca3b
  Alejandro Serrano Mena authored 5 years ago
  
  c0b6ca3b
- Use guardedness in function type subsumption · e1088945
  Alejandro Serrano Mena authored 5 years ago
  
  e1088945
- Zonk before going into an argument · 38a2585a
  Alejandro Serrano Mena authored 5 years ago
  
  38a2585a
- Apply generated substitution · 0aa30c84
  Alejandro Serrano Mena authored 5 years ago
  
  0aa30c84
- Discard constraints obtained by quick look · 9d504af8
  Alejandro Serrano Mena authored 5 years ago
  
  9d504af8
- Try to fix the TypeApplications problem · 40182a97
  Alejandro Serrano Mena authored 5 years ago
  
  40182a97
- Try to fix bug in type application · 38a8b611
  Alejandro Serrano Mena authored 5 years ago
  
  38a8b611
- Roll back substitution restrictions · 902772f3
  Alejandro Serrano Mena authored 5 years ago
  
  902772f3