Commitac4be6c

committed

Check isUnitParMeasure

1 parente59af15 commitac4be6cCopy full SHA for ac4be6c

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -716,7 +716,7 @@ let isAppTy g ty = ty \|> stripTyEqns g \|> (function TType_app _ -> true \| _ ->`
`716`	`716`	`letdestAppTy g ty= ty\|> stripTyEqns g\|>(function TType_app(tcref,tinst)-> tcref,tinst\|_-> failwith"destAppTy")`
`717`	`717`	`lettcrefOfAppTy g ty= ty\|> stripTyEqns g\|>(function TType_app(tcref,_)-> tcref\|_-> failwith"tcrefOfAppTy")`
`718`	`718`	`lettryDestAppTy g ty= ty\|> stripTyEqns g\|>(function TType_app(tcref,_)-> Some tcref\|_-> None)`
`719`		`-lettryAnyParTy g ty= ty\|> stripTyEqns g\|>(function TType_var v-> Some v\| TType_measure unt-> Some(destUnitParMeasure g unt)\|_-> None)`
	`719`	`+lettryAnyParTy g ty= ty\|> stripTyEqns g\|>(function TType_var v-> Some v\| TType_measure untwhen isUnitParMeasure g unt-> Some(destUnitParMeasure g unt)\|_-> None)`
`720`	`720`	`let(\|AppTy\|_\|)g ty= ty\|> stripTyEqns g\|>(function TType_app(tcref,tinst)-> Some(tcref,tinst)\|_-> None)`
`721`	`721`	`let(\|RefTupleTy\|_\|)g ty= ty\|> stripTyEqns g\|>(function TType_tuple(tupInfo,tys)whennot(evalTupInfoIsStruct tupInfo)-> Some tys\|_-> None)`
`722`	`722`	`let(\|FunTy\|_\|)g ty= ty\|> stripTyEqns g\|>(function TType_fun(dty, rty)-> Some(dty, rty)\|_-> None)`

Comments

(0)