Skip to content

Infrastructure for the hard-coded prim module#1093

Merged
mergify[bot] merged 3 commits intomasterfrom
joachim/empty-prim
Jan 10, 2020
Merged

Infrastructure for the hard-coded prim module#1093
mergify[bot] merged 3 commits intomasterfrom
joachim/empty-prim

Conversation

@nomeata
Copy link
Contributor

@nomeata nomeata commented Jan 10, 2020

this make import "mo:prim" import the module in the prim_module
string in prelude.ml. This is currently empty; the code is added in
PR #1088.

this make `import "mo:prim"` import the module in the `prim_module`
string in `prelude.ml`. This is currently empty; the code is added in
PR #1088.
@nomeata nomeata mentioned this pull request Jan 10, 2020
@nomeata nomeata requested review from ggreif and kritzcreek January 10, 2020 14:47
@nomeata nomeata added automerge-squash When ready, merge (using squash) and removed auto-merge-squash labels Jan 10, 2020
Co-Authored-By: Gabor Greif <gabor@dfinity.org>
Copy link
Contributor

@ggreif ggreif left a comment

Choose a reason for hiding this comment

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

Cool.

@mergify mergify bot merged commit b6ac995 into master Jan 10, 2020
@mergify mergify bot deleted the joachim/empty-prim branch January 10, 2020 14:58
@mergify mergify bot removed the automerge-squash When ready, merge (using squash) label Jan 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants