Skip to content

Rename Prim.Object to Prim.Record, fix #1768#2102

Merged
paf31 merged 2 commits into0.9from
1768
May 10, 2016
Merged

Rename Prim.Object to Prim.Record, fix #1768#2102
paf31 merged 2 commits into0.9from
1768

Conversation

@paf31
Copy link
Copy Markdown
Contributor

@paf31 paf31 commented May 8, 2016

No description provided.

@paf31 paf31 added this to the 0.9.0 milestone May 8, 2016
tyRecord = primTy "Record"

-- |
-- Check whether a type is an object
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

a record

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed, thanks.

@coveralls
Copy link
Copy Markdown

Coverage Status

Changes Unknown when pulling 83d8e06 on 1768 into * on 0.9*.

@garyb
Copy link
Copy Markdown
Member

garyb commented May 10, 2016

🚢

@paf31 paf31 merged commit e11cff5 into 0.9 May 10, 2016
@paf31 paf31 deleted the 1768 branch May 10, 2016 16:39
archaeron pushed a commit to archaeron/purescript that referenced this pull request Apr 6, 2017
* Rename Prim.Object to Prim.Record, fix purescript#1768

* Fix some comments
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.

4 participants