fixed bug after rebase: hope it doesn't cause problems
This commit is contained in:
parent
de81928ea9
commit
b6e423a6e3
|
@ -9,6 +9,7 @@ type error =
|
|||
| NotYetImplemented
|
||||
| Unreachable
|
||||
| DistributionVerticalShiftIsInvalid
|
||||
| ArgumentError(string)
|
||||
| Other(string)
|
||||
|
||||
module Operation = {
|
||||
|
|
|
@ -1,15 +1,6 @@
|
|||
type genericDist = DistributionTypes.genericDist
|
||||
@genType
|
||||
<<<<<<< HEAD
|
||||
type error =
|
||||
| NotYetImplemented
|
||||
| Unreachable
|
||||
| DistributionVerticalShiftIsInvalid
|
||||
| ArgumentError(string)
|
||||
| Other(string)
|
||||
=======
|
||||
type error = DistributionTypes.error
|
||||
>>>>>>> eff1810 ((rebase): (rebase): **refactor**: rm duplicated `genericDist` and `error` declarations)
|
||||
|
||||
@genType
|
||||
module Error = {
|
||||
|
|
Loading…
Reference in New Issue
Block a user