inline-rust icon indicating copy to clipboard operation
inline-rust copied to clipboard
verified publisher icon harpocrates

Look through type synonyms

Open harpocrates opened this issue 7 years ago • 0 comments

Both when creating contexts and when looking up Rust types from Haskell types, we should expand out Haskell type synonyms. The arguments against doing this are:

  • we have to redo some work GHC's typechecker is doing
  • there is asymmetry: the Rust side doesn't support type synonyms

harpocrates avatar Mar 18 '18 21:03 harpocrates