Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
cloogle.org
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Cloogle
cloogle.org
Commits
2b42fddd
Commit
2b42fddd
authored
Dec 06, 2017
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Fix syntax of & slight changes to previous 2 commits
parent
51048c97
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
6 additions
and
6 deletions
+6
-6
backend/Builtins.icl
backend/Builtins.icl
+6
-6
No files found.
backend/Builtins.icl
View file @
2b42fddd
...
...
@@ -464,15 +464,15 @@ bs_module = (["module", "definition", "implementation", "system", "definition mo
]
})
bs_
pattern_newtype
=
([
"=:
"
],
bs_
newtype
=
([
"=:"
,
"newtype
"
],
{
syntax_title
=
"Newtype definition (experimental)"
,
syntax_code
=
[
":: ... =: ..."
]
,
syntax_description
=
"A newtype is a type synonym at run
time but treated as a real type at compile
time.
\n
"
+
"This allows the creation of
instances and speeds the program up
."
,
syntax_code
=
[
":: ... =: ...
...
"
]
,
syntax_description
=
"A newtype is a type synonym at run
-time but treated as a real type at compile-
time.
\n
"
+
"This allows the creation of
separate instances without overhead
."
,
syntax_doc_locations
=
[]
,
syntax_examples
=
[
EX
"TypeDef"
":: T =: T Int"
[
EX
"TypeDef"
":: T a =: T a"
[
EX
"TypeDef"
":: T =: T Int"
,
EX
"TypeDef"
":: T a =: T a"
]
})
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment