Update infra/softposit.rkt to also use platform-language

pavpanchekha · pavpanchekha · commit 275334b660b2 · 2025-08-10T12:48:58.000-06:00
diff --git a/infra/softposit.rkt b/infra/softposit.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "../src/platform.rkt"
+#lang s-exp "../src/syntax/platform-language.rkt"
 
 ;;; Softposit platform, using David Thien's softposit-rkt package for
 ;;; bindings. Provides operations like real->posit16 or +.p16.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#lang s-exp "../src/platform.rkt"`
	`1`	`+#lang s-exp "../src/syntax/platform-language.rkt"`
`2`	`2`
`3`	`3`	`;;; Softposit platform, using David Thien's softposit-rkt package for`
`4`	`4`	`;;; bindings. Provides operations like real->posit16 or +.p16.`