Skip to content

Instantly share code, notes, and snippets.

@forki

forki/CompileOps.fs

Created November 28, 2016 13:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save forki/6686be74a444fba75634d92fef26ad27 to your computer and use it in GitHub Desktop.
Save forki/6686be74a444fba75634d92fef26ad27 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
CompileOps.fs
| ConstraintSolverTypesNotInEqualityRelation(denv,t1,t2,m,m2,contextInfo) ->
let t1, t2, _cxs = NicePrint.minimalStringsOfTwoTypes denv t1 t2
match contextInfo with
| ContextInfo.ElseBranchResult range when range = m ->
os.Append(FSComp.SR.elseBranchHasWrongType(t1,t2)) |> ignore
| _ -> os.Append(ConstraintSolverTypesNotInEqualityRelation2E().Format t1 t2) |> ignore
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment