Skip to content

Commit

Permalink
Moved WriteNewLine to being Pure rather than Internal
Browse files Browse the repository at this point in the history
  • Loading branch information
Tom01098 committed Mar 26, 2019
1 parent 0afa879 commit 38bba5f
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 7 deletions.
3 changes: 3 additions & 0 deletions Jelly/Jelly.Core/Jelly.Core.csproj
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,9 @@
</PropertyGroup>

<ItemGroup>
<None Update="StandardLibrary\Pure\WriteNewLine.jelly">
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
</None>
<None Update="StandardLibrary\Pure\IsInt.jelly">
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
</None>
Expand Down
7 changes: 0 additions & 7 deletions Jelly/Jelly.Core/StandardLibrary/Internal/InternalLibrary.cs
Original file line number Diff line number Diff line change
Expand Up @@ -18,13 +18,6 @@ public static double WriteLine(double value)
return double.NaN;
}

[InternalFunction]
public static double WriteNewLine()
{
Console.WriteLine();
return double.NaN;
}

[InternalFunction]
public static double WriteChar(double value)
{
Expand Down
4 changes: 4 additions & 0 deletions Jelly/Jelly.Core/StandardLibrary/Pure/WriteNewLine.jelly
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
@ Write a newline character to the console
WriteNewLine<>
WriteChar<10>
end

0 comments on commit 38bba5f

Please sign in to comment.