Skip to content

Commit

Permalink
up
Browse files Browse the repository at this point in the history
  • Loading branch information
xieyuheng committed Aug 2, 2023
1 parent b3610ab commit af16c08
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 6 deletions.
10 changes: 5 additions & 5 deletions docs/tests/DiffList.inet
Original file line number Diff line number Diff line change
Expand Up @@ -42,18 +42,18 @@ defnode diff_append
return: DiffList('a)
end

defrule diff diff_append
(diff)-front diff return-(diff_append)
(diff_append)-rest diff_open back-(diff)
end

defnode diff_open
target!: DiffList('a)
list: List('a)
------
return: List('a)
end

defrule diff diff_append
(diff)-front diff return-(diff_append)
(diff_append)-rest diff_open back-(diff)
end

defrule diff diff_open
(diff)-back return-(diff_open)
(diff)-front list-(diff_open)
Expand Down
1 change: 0 additions & 1 deletion src/lang/cut/cut.ts
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,6 @@ export function cut(
)

ctx.signedTypes.push(currentSignedType)

return
}

Expand Down

0 comments on commit af16c08

Please sign in to comment.