Giters

joneshf / purescript-option

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PureScript 0.15 support

ntwilson opened this issue · comments

commented

Would you accept a PR for changes to support PureScript v0.15? I think the biggest change is swapping out RLProxy for just Proxy (and I would think making Proxy used concretely everywhere instead of a type parameter now that it is the canonical proxy type)

commented

Sorry about the very delayed response. I haven't actually seen what changed in 0.15.x, but I think what you propose sounds good. Lemme take a minute to get up to speed first on how things work here again (haven't looked at this package in over a year).

commented

The error I'm seeing is

Error found:
in module Option
at .spago/option/8506cbf1fd5d5465a9dc990dfe6f2960ae51c1ab/src/Option.purs:155:1 - 155:46 (line 155, column 1 - line 155, column 46)

  Module Type.Data.RowList was not found.
  Make sure the source file exists, and that it has been provided as an input to the compiler.


See https://github.com/purescript/documentation/blob/master/errors/ModuleNotFound.md for more information,
or to contribute content related to this error.

Type.Data.RowList appears to have gone away.

The same error message came up in foreign-generic, too.