Skip to content

Typecheck main in PSCi#2163

Merged
paf31 merged 1 commit into0.9from
typecheck-psci
May 28, 2016
Merged

Typecheck main in PSCi#2163
paf31 merged 1 commit into0.9from
typecheck-psci

Conversation

@paf31
Copy link
Copy Markdown
Contributor

@paf31 paf31 commented May 25, 2016

I noticed Partial functions would run incorrectly in PSCi since we didn't typecheck main. Now that we generalize constraints, we need to add a signature.

@paf31 paf31 added this to the 0.9.1 milestone May 25, 2016
@hdgarrood
Copy link
Copy Markdown
Contributor

Will this throw an error unless you add in an unsafePartial? I think it might be nice to just evaluate expressions with Partial constraints automatically, without needing an unsafePartial. Not sure how difficult that is from an implementation perspective.

@paf31
Copy link
Copy Markdown
Contributor Author

paf31 commented May 25, 2016

It does, yes. I figured that was probably the best default behavior, since you can always use unsafePartial in the REPL.

@paf31
Copy link
Copy Markdown
Contributor Author

paf31 commented May 28, 2016

@hdgarrood So what do you think then?

@hdgarrood
Copy link
Copy Markdown
Contributor

My gut says we should just let people evaluate partial expressions without requiring unsafePartial, but I think this is fine for now; we can try it and see what happens. It's not a big deal.

@paf31
Copy link
Copy Markdown
Contributor Author

paf31 commented May 28, 2016

Alright, sounds good. We can create an issue to track it, but I'll merge this for now, so that we can get a release out.

@paf31 paf31 merged commit 2bafbae into 0.9 May 28, 2016
@paf31 paf31 deleted the typecheck-psci branch May 28, 2016 20:23
archaeron pushed a commit to archaeron/purescript that referenced this pull request Apr 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants