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
C
clean-test-properties
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
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
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
clean-and-itasks
clean-test-properties
Commits
60d53df2
Verified
Commit
60d53df2
authored
Aug 29, 2018
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Update to all the breaking changes
parent
5a261505
Pipeline
#13595
passed with stage
in 59 seconds
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
9 additions
and
7 deletions
+9
-7
.gitmodules
.gitmodules
+0
-0
Makefile
Makefile
+1
-1
testproperties.icl
testproperties.icl
+8
-6
No files found.
.gitmodules
deleted
100644 → 0
View file @
5a261505
Makefile
View file @
60d53df2
...
...
@@ -12,7 +12,7 @@ $(addsuffix .prj,$(BIN)): %.prj: %.prj.default
cp
$^
$@
clean-compiler
:
svn checkout
-r
30
22
https://svn.cs.ru.nl/repos/clean-compiler/branches/itask/ clean-compiler
svn checkout
-r
30
43
https://svn.cs.ru.nl/repos/clean-compiler/branches/itask/ clean-compiler
$(MAKE)
-j
-C
clean-compiler/main/Unix
$(MAKE)
-j
-C
clean-compiler/backendC/CleanCompilerSources
-f
Makefile.linux64
ln
-s
../../backendC/CleanCompilerSources/backend.a clean-compiler/backend/Clean
\
System
\
Files/backend_library
...
...
testproperties.icl
View file @
60d53df2
...
...
@@ -214,15 +214,15 @@ handleModule opts fp w
// Find properties
#!
(
comments
,
w
)
=
scanComments
fp
w
#!
(
dcl
,
w
)
=
readModule
fp
w
#!
(
mod
id
,
dcldefs
,
documentation
)
=
case
dcl
of
#!
(
mod
,
dcldefs
,
documentation
)
=
case
dcl
of
Error
_
->
(
abort
"failed to parse module
\n
"
,
[],
emptyCollectedComments
)
Ok
(
dcl
,_)
->
(
dcl
.
mod_ident
,
dcl
.
mod_defs
,
case
comments
of
Ok
(
dcl
,_)
->
(
dcl
,
dcl
.
mod_defs
,
case
comments
of
Error
_
->
emptyCollectedComments
Ok
comments
->
collectComments
comments
dcl
)
#
moddoc
=
case
parseDoc
<$>
getComment
mod
id
documentation
of
#
moddoc
=
case
parseDoc
<$>
getComment
mod
documentation
of
Just
(
Right
(
doc
,_))
->
Just
doc
_
->
Nothing
#
modname
=
mod
id
.
id_name
#
modname
=
mod
.
mod_ident
.
id_name
#
output_modname
=
opts
.
output_prefix
+++
"."
+++
modname
#
output_filename
=
opts
.
output_directory
</>
replaceSubString
"."
{
pathSeparator
}
output_modname
+++
".icl"
#
(
nprops
,
coverage
,
props
)
=
generatePropertyModule
...
...
@@ -231,8 +231,10 @@ handleModule opts fp w
opts
.
test_options
moddoc
[(
id
.
id_name
,
doc
)
\\
id
<-
[
id
\\
PD_Function
pos
id
_
_
_
_
<-
dcldefs
]
++
[
id
\\
PD_TypeSpec
pos
id
_
_
_
<-
dcldefs
],
Just
docstring
<-
[
getComment
id
documentation
],
(
pd
,
id
)
<-
[(
pd
,
id
)
\\
pd
=:(
PD_Function
pos
id
_
_
_
_)
<-
dcldefs
]
++
[(
pd
,
id
)
\\
pd
=:(
PD_TypeSpec
pos
id
_
_
_)
<-
dcldefs
],
Just
docstring
<-
[
getComment
pd
documentation
],
Right
(
doc
,_)
<-
[
parseDoc
docstring
]]
// Write properties
|
nprops
==
0
=
w
...
...
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